LI Jinhou, JIANG Jingping. Two Blind Spots in Recent Logic-Based Agent Study Inferred from the Declaration of Logical Omniscience Problem[J]. Chinese Journal of Engineering, 2004, 26(2): 215-218. DOI: 10.13374/j.issn1001-053x.2004.02.025
Citation: LI Jinhou, JIANG Jingping. Two Blind Spots in Recent Logic-Based Agent Study Inferred from the Declaration of Logical Omniscience Problem[J]. Chinese Journal of Engineering, 2004, 26(2): 215-218. DOI: 10.13374/j.issn1001-053x.2004.02.025

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

  • 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.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return