逻辑全知佯谬

• 作者: 李金厚 蒋静坪
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 模态逻辑 agent研究 意识系统 逻辑全知问题 可能世界语义
• 年，卷（期）: 2005,（10）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 1496-1500
• 页数: 5页
• 分类号: TP18
• 字数: 6703字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2005.10.008

摘要

从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.在此基础上,通过严格的逻辑推理得出了与之不同的结论,那就是模态逻辑用于agent形式化研究并不会带来所谓的逻辑全知问题.得出这一不同结论的意义主要在于,它彻底排除了影响模态逻辑用于agent或多agent系统形式化研究的一个重大理论障碍.另外还得出,忽视将逻辑理论用于agent研究的实现意义、忽视意识系统和单纯逻辑系统之间的差异,以及忽视逻辑推理操作实现的过程意义,是上述不可靠结论的三个最主要的原因.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋静坪	浙江大学电气工程学院	168	3460	31.0	52.0
2	李金厚	浙江大学电气工程学院	4	5	1.0	2.0