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 :
بازگشت