6、进化展望：前瞻性代理系统建模

进化展望：前瞻性代理系统建模

1. 引言

前瞻性代理系统旨在让代理能够展望未来，从当前状态确定最佳的进化路径，并在不同的未来场景中做出选择。先验偏好用于生成关于可能未来状态的有趣或相关猜想，而后验偏好则使代理能够根据每个场景的想象后果进行实际选择。例如，ACORDA 就是一个实现了这些功能的前瞻性逻辑系统，它通过生成场景并根据绑架的直接副作用来选择场景。

然而，现有的偏好机制存在局限性，仅具有局部影响，无法满足进化中的前瞻性代理展望多步未来的需求。因此，我们引入了进化级偏好机制，结合历史信息以及对可能进化的定量和定性后验评估，帮助代理评估决策的进一步后果。

对于进化中的代理，其知识库需要不断适应外部环境的变化。代理在每个状态都有一组目标和欲望需要满足，并且需要能够更新自身的信息，包括新事件、新规则或改变偏好。为了实现这一点，我们提供了一种建模进化知识库的方法，考虑了环境、所有活动目标（欲望）的进化过程触发、上下文敏感偏好和完整性约束。

代理在做出决策后，会通过承诺采取的行动来实现进化。不同的决策承诺会以不同的方式影响未来的模拟，可分为硬承诺、持续承诺和临时承诺。此外，我们还特别考虑了所谓的不可避免的行动，即属于每个可能进化的行动。尽早对这些行动做出硬承诺，可以激活偏好，排除一些不太相关的替代进化路径。

2. 前瞻性逻辑编程

前瞻性逻辑编程使程序能够展望未来可能的状态，包括规则更新，并在这些状态中进行选择以满足目标。这种范式对于代理社区非常有益，它利用溯因逻辑编程的方法来预测代理的未来，合成、偏好和维护溯因假设。

2.1 语言

设 L 是一阶语言。L 中的域文字可以是域原子