KARO逻辑框架相关论文
研究以KARO为逻辑框架的多动作选择承诺，给出与其相关的效用函数计算方法。在引入模型状态迁移概念和相关函数、谓词后，时各种承诺建......
研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多......
