从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基 本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.在此基础上,通过严格的逻辑推理得出了与 之不同的结论,那就是模态逻辑用于agent形式化研究并不会带来所谓的逻辑全知问题.得出这一不同结论的意义主要在 于,它彻底排除了影响模态逻辑用于agent或多agent系统形式化研究的一个重大理论障碍.另外还得出,忽视将逻辑理 论用于agent研究的实现意义、忽视意识系统和单纯逻辑系统之间的差异,以及忽视逻辑推理操作实现的过程意义,是上 述不可靠结论的三个最主要的原因.
国家自然科学基金资助项目(60504012).
李金厚 蒋静坪. 逻辑全知佯谬[J]. J4, 2005, 39(10): 1496-1500.
LI Jin-Hou, JIANG Jing-Ping. . J4, 2005, 39(10): 1496-1500.
http://www.zjujournals.com/xueshu/eng/CN/ 或 http://www.zjujournals.com/xueshu/eng/CN/Y2005/V39/I10/1496
Cited