觉知逻辑的个体信念更新

本文以包含觉知算子的信念态度逻辑为基础,研究该逻辑在增加个体信念更新算子后的扩充,在给出这一扩充的公理系统后,证明其对于包含觉知的多主体信念库语义模型的可靠性和完全性。进一步,我们还比较了信念态度逻辑的个体信念更新与命题觉知逻辑的个体信念更新这两种不同的动态过程,并且证明了这两种动态过程产生的模型具有互模拟关系。

Agent理论和技术在电子战中的应用

Agent是新兴的人工智能技术,具有许多特性。该文在设计开发雷达辐射源识别原型系统中,应用了Agent技术并着重实现了其自主性和自学习性等特性。认知过程中,知识和信念是有区别的,其特点是将知识库和信念库作为两个不同的库;通过人机交互、参数比较、加权评判及信念库和知识库的相互转换和更新,使系统能自我完善。通过在该辐射源识别原型系统中加入了智能体的知识,使电磁干扰系统具有一定的人工智能,从而对电磁环境的变化具有自适应能力。