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

摘要：

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

关键词：模态逻辑、可能世界语义、逻辑全知问题、意识系统、基于agent的逻辑推理实现

所属期刊栏目：26

分类号：TP18(自动化基础理论)

资助基金：国防科技跨行业基金OOJ16.6.3.JW040

在线出版日期：2004-06-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：215-218