Journal of Logic, Language and Information 7 (1):77-101 (1998)
|Abstract||Many formalisms for reasoning about knowing commit an agent to be logically omniscient. Logical omniscience is an unrealistic principle for us to use to build a real-world agent, since it commits the agent to knowing infinitely many things. A number of formalizations of knowledge have been developed that do not ascribe logical omniscience to agents. With few exceptions, these approaches are modifications of the possible-worlds semantics. In this paper we use a combination of several general techniques for building non-omniscient reasoners. First we provide for the explicit representation of notions such as problems, solutions, and problem solving activities, notions which are usually left implicit in the discussions of autonomous agents. A second technique is to take explicitly into account the notion of resource when we formalize reasoning principles. We use the notion of resource to describe interesting principles of reasoning that are used for ascribing knowledge to agents. For us, resources are abstract objects. We make extensive use of ordering and inaccessibility relations on resources, but we do not find it necessary to define a metric. Using principles about resources without using a metric is one of the strengths of our approach.We describe the architecture of a reasoner, built from a finite number of components, who solves a puzzle, involving reasoning about knowing, by explicitly using the notion of resource. Our approach allows the use of axioms about belief ordinarily used in problem solving – such as axiom K of modal logic – without being forced to attribute logical omniscience to any agent. In particular we address the issue of how we can use resource-unbounded (e.g., logically omniscient) reasoning to attribute knowledge to others without introducing contradictions. We do this by showing how omniscient reasoning can be introduced as a conservative extension over resource-bounded reasoning.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Antonio Moreno, Ulises Cortés & Ton Sales (2002). Subjective Situations and Logical Omniscience. Studia Logica 72 (1):7-29.
Mark Jago (2009). Epistemic Logic for Rule-Based Agents. Journal of Logic, Language and Information 18 (1).
Richmond H. Thomason, Progress Towards a Formal Theory of Practical Reasoning: Problems and Prospects.
Brian Logan, Mark Jago & Natasha Alechina (2006). Modelling Communicating Agents in Timed Reasoning Logics. In U. Endriss & M. Baldoni (eds.), Declarative Agent Languages and Technologies 4. Springer.
Dov Gabbay & John Woods (2008). Resource-Origins of Nonmonotonicity. Studia Logica 88 (1):85 - 112.
Nicholas Asher (1994). Problems with Persistence. Topoi 13 (1):37-49.
Natasha Alechina, Brian Logan, Hoang Nga Nguyen & Abdur Rakib (2009). Verifying Time, Memory and Communication Bounds in Systems of Reasoning Agents. Synthese 169 (2):385 - 403.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads2 ( #232,575 of 549,128 )
Recent downloads (6 months)0
How can I increase my downloads?