基于动态逻辑的多动作承诺机制

摘要：

研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理。为逻辑框架KARO中加入主体顺序执行动作时多动作承诺与取消承诺的处理机制，并给出了详细的Kripke型语义描述。在使用KARO解释多主体环境下主体思维与行为的研究中，多动作的承诺使得主体可以将主体间合作作为其规划的一部分。

关键词：主体、KARO逻辑框架、承诺、动态逻辑

所属期刊栏目：21

分类号：TP18;O142(自动化基础理论)

资助基金：国家部级科研项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：205-209