期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于中介逻辑的多模态逻辑系统
1
作者
施庆生
张东摩
《南京航空航天大学学报》
CAS
CSCD
1996年第1期1-7,共7页
多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介...
多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。
展开更多
关键词
中介
逻辑
多模态逻辑
时态
逻辑
正规系统
在线阅读
下载PDF
职称材料
结合逻辑和决策论方法的Agent模型研究
2
作者
凌兴宏
黄志球
+2 位作者
刘全
李凡长
崔志明
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2007年第6期805-809,共5页
分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之...
分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。
展开更多
关键词
AGENT模型
心智状态
量化
多模态逻辑
BDI模型
在线阅读
下载PDF
职称材料
题名
基于中介逻辑的多模态逻辑系统
1
作者
施庆生
张东摩
机构
南京航空航天大学计算机科学与工程系
出处
《南京航空航天大学学报》
CAS
CSCD
1996年第1期1-7,共7页
基金
国家高技术研究发展计划
国家基础研究"攀登计划"资助
文摘
多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。
关键词
中介
逻辑
多模态逻辑
时态
逻辑
正规系统
Keywords
medium logic
multi-modal logic
tense logic
normal system of medium multi-modallogic
medium tense logic
分类号
O141 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
结合逻辑和决策论方法的Agent模型研究
2
作者
凌兴宏
黄志球
刘全
李凡长
崔志明
机构
南京航空航天大学信息科学与技术学院
苏州大学计算机科学与技术学院
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2007年第6期805-809,共5页
基金
国家自然科学基金(60673092)资助项目
江苏省自然科学基金(BK050027)资助项目
江苏省高校自然科学研究基金(06KJB520104)资助项目
文摘
分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。
关键词
AGENT模型
心智状态
量化
多模态逻辑
BDI模型
Keywords
Agent model
mental states
quantified multi-modal logic
BDI model
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于中介逻辑的多模态逻辑系统
施庆生
张东摩
《南京航空航天大学学报》
CAS
CSCD
1996
0
在线阅读
下载PDF
职称材料
2
结合逻辑和决策论方法的Agent模型研究
凌兴宏
黄志球
刘全
李凡长
崔志明
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
