摘要
从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.在此基础上,通过严格的逻辑推理得出了与之不同的结论,那就是模态逻辑用于agent形式化研究并不会带来所谓的逻辑全知问题.得出这一不同结论的意义主要在于,它彻底排除了影响模态逻辑用于agent或多agent系统形式化研究的一个重大理论障碍.另外还得出,忽视将逻辑理论用于agent研究的实现意义、忽视意识系统和单纯逻辑系统之间的差异,以及忽视逻辑推理操作实现的过程意义,是上述不可靠结论的三个最主要的原因.
According to the real meaning of applying epistemic or modal logic to theoretical study on agent or multi-agent system, through detailed and strict analysis of the two basic premises upon which scholars draw their assertion of logical omniscience problem, it was argued clearly that neither of their two premises can stand. In this sense, their conclusion is just drawn illogically. It is important to point out these premises do not solve the important problem that baffles application of modal logic to theoretical study on agent or multi-agent system. If the realized meaning of applying logic theory to agent study is not neglected, the sharp difference between intentional system and pure logic system is not neglected, and the process character of logic reasoning is not neglected, the above unsound conclusion cannot drawn.
出处
《浙江大学学报(工学版)》
EI
CAS
CSCD
北大核心
2005年第10期1496-1500,共5页
Journal of Zhejiang University:Engineering Science
基金
国家自然科学基金资助项目(60504012)