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

Two Blind Spots in Recent Logic-Based Agent Study Inferred from the Declaration of Logical Omniscience Problem

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

Through detail analysis and strict argumentation about two main premises based upon that scholars give the declaration of logical omniscience problem, it was found that the conclusion was made in fact according to two obscure ideas related with the approach to agent study based upon modal logic. From those it is pointed out that, if we admit logical reasoning is in fact an executing process of a studied agent or computer, and if we do not reduce an intentional system as a pure logical system, there surely will not be logical omniscience problem, which is an important conclusion for the vigorous study about agent based upon modal logic.