Trade-Offs between Inductive Power and Logical Omniscience in Modeling Context
- Cite this paper as:
- Costa H.A. (2001) Trade-Offs between Inductive Power and Logical Omniscience in Modeling Context. In: Akman V., Bouquet P., Thomason R., Young R. (eds) Modeling and Using Context. CONTEXT 2001. Lecture Notes in Computer Science, vol 2116. Springer, Berlin, Heidelberg
In a series of recent papers the economist Michael Bacharach  has pointed out that most approaches in knowledge representation suffer from two complementary defects. Typically they assume that agents know all the logical consequences of information encoded in a finite knowledge base (Cleverness) and only these consequences (Cloistered-ness). In this article we develop first-order and inductive extensions of Montague-Scott’s semantics in order to tackle both problems at once. Three desiderata are put forward for representing epistemic context: (1) expressive adequacy, (2) inductive power, (3) boundedness. An important part of our effort focuses on reconsidering the role of standard formalisms (both logical and probabilistic) in representing the information of bounded agents.
Unable to display preview. Download preview PDF.