-
题名觉知逻辑的个体信念更新
被引量:1
- 1
-
-
作者
宋鹏飞
熊卫
-
机构
中山大学逻辑与认知研究所
中山大学哲学系
-
出处
《逻辑学研究》
CSSCI
2021年第5期1-22,共22页
-
文摘
本文以包含觉知算子的信念态度逻辑为基础,研究该逻辑在增加个体信念更新算子后的扩充,在给出这一扩充的公理系统后,证明其对于包含觉知的多主体信念库语义模型的可靠性和完全性。进一步,我们还比较了信念态度逻辑的个体信念更新与命题觉知逻辑的个体信念更新这两种不同的动态过程,并且证明了这两种动态过程产生的模型具有互模拟关系。
-
关键词
觉知
个体信念更新
信念库
互模拟
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名Agent理论和技术在电子战中的应用
被引量:2
- 2
-
-
作者
杨春华
涂正林
-
机构
中国船舶工业总公司扬州
-
出处
《现代雷达》
CSCD
北大核心
2005年第7期20-22,30,共4页
-
文摘
Agent是新兴的人工智能技术,具有许多特性。该文在设计开发雷达辐射源识别原型系统中,应用了Agent技术并着重实现了其自主性和自学习性等特性。认知过程中,知识和信念是有区别的,其特点是将知识库和信念库作为两个不同的库;通过人机交互、参数比较、加权评判及信念库和知识库的相互转换和更新,使系统能自我完善。通过在该辐射源识别原型系统中加入了智能体的知识,使电磁干扰系统具有一定的人工智能,从而对电磁环境的变化具有自适应能力。
-
关键词
AGENT理论
知识库
信念库
电子战
雷达辐射源识别
-
Keywords
theory of Agent
knowledge database
faith database
electronic battle
the distinguish of radar-signal
-
分类号
E91
[军事]
-