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

朱娟; 刘玉树

首页> 中文期刊> 《北京理工大学学报》 >基于动态逻辑的多动作承诺机制

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《北京理工大学学报》 |2001年第2期|205-209|共5页
作者
朱娟; 刘玉树;
展开▼
作者单位

北京理工大学计算机科学与工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;应用数理逻辑;
关键词
主体; KARO逻辑框架; 承诺; 动态逻辑; 多动作; 模型状态迁移;

相似文献

中文文献
外文文献
专利

1. 基于效用的Agent多动作选择承诺机制 [J] . 莫思敏 ,谭瑛 ,曾建潮 . 计算机工程与应用 . 2005,第024期
2. 基于动态时序描述逻辑的动作理论 [J] . 孙永新 ,赵希顺 . 计算机科学 . 2014,第009期
3. 基于动态描述逻辑DDL的动作理论 [J] . 常亮 ,陈立民 . 计算机科学 . 2011,第007期
4. 一种基于动态参数调整的强化学习动作选择机制 [J] . 胡晓辉 . 计算机工程与应用 . 2008,第028期
5. 基于龙芯2K1000 PCI Express链路重定向的FPGA逻辑资源动态加载配置机制设计 [J] . 付国楷 ,解永亮 ,房利国 . 通信技术 . 2021,第008期
6. 动态描述逻辑动作系统的Petri网自动生成方法 [C] . 马炳先 ,于代荣 ,陈宇 . 第十二届全国petri网理论与应用学术年会 . 2009
7. 基于动作的多智能体系统时态认知逻辑模型检测 [A] . 李勇 . 2016

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

摘要

著录项

相似文献

相关主题

期刊订阅