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
Link To Document