Unterhuber, Matthias

eScholarship - University of California

UC MercedProceedings of the Annual Meeting of the Cognitive Science SocietyTitleAvoiding Logical Omniscience by Default - An Investigation into Autoepistemic Logic (Levesque, 1990)Permalinkhttps://escholarship.org/uc/item/5qx2t777JournalProceedings of the Annual Meeting of the Cognitive Science Society, 31(31)ISSN1069-7977AuthorUnterhuber, MatthiasPublication Date2009 Peer reviewedeScholarship.org Powered by the California Digital LibraryUniversity of CaliforniaAvoiding Logical Omniscience by Default - An Investigation intoAutoepistemic Logic (Levesque, 1990)Matthias UnterhuberUniversity of Düsseldorf and University of SalzburgAbstract: In cognitive science epistemic logic is often used to describe reasoning with knowledge. Standard systemsof epistemic logic suffer from the fact that they presuppose perfect and flawless reasoning (i.e. logical omniscience).Deviation from this ideal (e.g. logical ignorance) cannot be described by standard epistemic systems adequately. Themajority of approaches to this problem weakens the logical principles of standard epistemic logic. However, by doingthis we lose the systems capacity to describe agents positive reasoning capacities. A new way out of this predicamentis the use of default logic. Levesques (1990) All I Know Logic a non-standard default logic is specifically designedto model ignorance by agents. However, my discussion of defaults in this system shows: (1) Levesques system needsto be weakened to account for logical ignorance, or, alternatively, (2) we may avoid logical omniscience by describingthe logical principles as defaults in a non-monotonic conditional logic.3196

English

Avoiding Logical Omniscience by Default - An Investigation into Autoepistemic Logic (Levesque, 1990)

https://escholarship.org/uc/item/5qx2t777

Avoiding Logical Omniscience by Default - An Investigation into Autoepistemic Logic (Levesque, 1990)

Abstract

Similar works

Full text

Available Versions

eScholarship - University of California