Delusions of Omniscience

Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the representation of belief. Both kinds of logic are omniscient in various ways. Weaddress these delusions of omniscience in this paper. Webegin by defining three kinds of omniscience- logical, deductive, and factual. Wewill then discuss someof the strategies which have been used to dispose of or deflate omniscience. Our main concern will be for the no worriesstrategies, and the other logics strategy. Wethen commenton the prospects for omnisciencefree logics.

• Type: Conference
• Year: 1998
• Where: FLAIRS
• Authors: Roderic A. Girle
• Keywords: Artificial Intelligence, Belief Revision, Doxastic Modal Logics, FLAIRS 1998, Logics