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

A Multi-Action Commitments Approach Based on Dynamic Logic

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

An approach to multi action commitments in KARO logical framework was made, and it was interpreted using Kripke style possible world semantics. In order to describe the process of multi action commitments and uncommitments, the concept of transition between model state pairs in action dynamic logic was introduced. The KARO was made be able to make and cancel commitments to multiple actions in a state of a particular model. The approach was interpreted in detail with Kripke style possible world semantics. The work described makes agents be able to take account of cooperation among them while planning.