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

• 作者: 刘玉树 朱娟
• 来源期刊: 北京理工大学学报
• 学科: 工学
• 关键词: 主体 KARO逻辑框架 承诺 动态逻辑
• 年，卷（期）: 2001,（2）
• 所属期刊栏目: 信息科学与控制
• 页码范围: 205-209
• 页数: 5页
• 分类号: TP18|O142
• 字数: 3966字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0645.2001.02.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘玉树	北京理工大学计算机科学与工程系	150	2634	25.0	46.0
2	朱娟	北京理工大学计算机科学与工程系	7	45	4.0	6.0