文件名称：从逻辑全知问题认定看当前基于逻辑的agent 研究的两个认识盲点 (2004年)
文件大小：51KB
文件格式：PDF
更新时间：2024-05-31 20:25:36
自然科学 论文
通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent 研究的两点模糊认识.在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在. 该结论无疑对当前基于模态逻辑的agent 形式化研究具有十分重要的意义.