Synthese 173 (2) (2010)
|Abstract||There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, namely, on the ascription of beliefs and inference rules by the agents to each other. We present a formal model of a system of bounded reasoners which reason about each other’s beliefs, and investigate the problem of belief ascription in a resource-bounded setting. We show that for agents whose computational resources and memory are bounded, correct ascription of beliefs cannot be guaranteed, even in the limit. We propose a solution to the problem of correct belief ascription for feasible agents which involves ascribing reasoning strategies , or preferences on formulas, to other agents, and show that if a resource-bounded agent knows the reasoning strategy of another agent, then its ascription of beliefs to the other agent is correct in the limit.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Thomas Ågotnes & Dirk Walther (2009). A Logic of Strategic Ability Under Bounded Memory. Journal of Logic, Language and Information 18 (1).
Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott (1998). Using Abstract Resources to Control Reasoning. Journal of Logic, Language and Information 7 (1):77-101.
Mark Jago (2006). Resource-Bounded Belief Revision and Contraction. In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer.
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.
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.
Michael Fisher & Chiara Ghidini (2009). Exploring the Future with Resource-Bounded Agents. Journal of Logic, Language and Information 18 (1).
Renata Wassermann (1999). Resource Bounded Belief Revision. Erkenntnis 50 (2-3):429-446.
Natasha Alechina & Brian Logan (2009). A Logic of Situated Resource-Bounded Agents. Journal of Logic, Language and Information 18 (1).
Added to index2009-12-09
Total downloads12 ( #94,544 of 556,805 )
Recent downloads (6 months)0
How can I increase my downloads?