论文部分内容阅读
意图是Agent的一个关键的意识属性，在决定理性Agent的行为中起着重要作用。为了克服现有意图逻辑中存在的缺陷，建立了适用于意图的语义表示．讨论了理性Agent性态的形式化中对意图语义的要求以及现有意图逻辑中存在的问题．介绍了在前期工作——真假子集语义基础上开发的双子集语义改进模型及其在Agent意图形式化中的应用，并且证明通过对模型的代数结构施加一定的约束，能获得许多希望得到的性质．在二值逻辑中，真和假是同等重要的．当然，对一个命题，描述了真值也就知道了假值；但对于一类命题却不是这样，对假值的刻画与对