• DocumentCode
    3222129
  • Title

    Is logical omniscience problem there or not: a critical view

  • Author

    JInhou, LI ; Jingping, Jiang

  • Author_Institution
    Electr. Eng. Coll., Zhejiang Univ., Hangzhou, China
  • Volume
    3
  • fYear
    2004
  • fDate
    2-6 Nov. 2004
  • Firstpage
    2207
  • Abstract
    Logical omniscience is usually thought as a big problem faced by standard modal or epistemic logic study, or its application in areas like distributed artificial intelligence research. However, by arguing with the question how or under what senses it´s raised as a problem, we find this problem is just declared unclearly, or even improperly. That is, in some sense, it´s just a problem given by some scholars fundamental-confusedly and so invalidly. Hence, if there´s some problem there, it must be some problem else, but definitely not that logical omniscience problem, because there are no proper grounds for us to declare this problem upon.
  • Keywords
    artificial intelligence; philosophical aspects; software agents; distributed artificial intelligence; epistemic logic; logical omniscience problem; standard modal; Artificial intelligence; Concrete; Educational institutions; Intelligent agent; Logic; Ontologies; Solids;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Electronics Society, 2004. IECON 2004. 30th Annual Conference of IEEE
  • Print_ISBN
    0-7803-8730-9
  • Type

    conf

  • DOI
    10.1109/IECON.2004.1432141
  • Filename
    1432141