从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点

• 作者: 李金厚 蒋静坪
• 来源期刊: 北京科技大学学报
• 学科: 工学
• 关键词: 模态逻辑 可能世界语义 逻辑全知问题 意识系统 基于agent的逻辑推理实现
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 控制与决策
• 页码范围: 215-218
• 页数: 4页
• 分类号: TP18
• 字数: 4641字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-053X.2004.02.025

摘要

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识.在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在.该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义.

作者信息

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