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

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

基于效用的Agent多动作选择承诺机制

研究以KARO为逻辑框架的多动作选择承诺,给出与其相关的效用函数计算方法。在引入模型状态迁移概念和相关函数、谓词后,对各种承诺建立和取消承诺的情况进行了形式化,详细给出了kripke型可能世界语义描述。丰富了KARO逻辑框架关于承诺的研究。使主体在合作时,可以充分考虑自己的情况,理性的作出选择,提高多主体间合作的协调性。