David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 7 (1):77-101 (1998)
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||Reasoning resourcer FOL logical omniscience|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Antonio Moreno, Ulises Cortés & Ton Sales (2002). Subjective Situations and Logical Omniscience. Studia Logica 72 (1):7-29.
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.
Nicholas Asher (1994). Problems with Persistence. Topoi 13 (1):37-49.
Dov Gabbay & John Woods (2008). Resource-Origins of Nonmonotonicity. Studia Logica 88 (1):85 - 112.
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
Richmond H. Thomason, Progress Towards a Formal Theory of Practical Reasoning: Problems and Prospects.
Mark Jago (2009). Epistemic Logic for Rule-Based Agents. Journal of Logic, Language and Information 18 (1):131-158.
Natasha Alechina & Brian Logan (2010). Belief Ascription Under Bounded Resources. Synthese 173 (2):179 - 197.
Added to index2009-01-28
Total downloads13 ( #268,540 of 1,796,321 )
Recent downloads (6 months)4 ( #207,429 of 1,796,321 )
How can I increase my downloads?