Reasoning about other agents' beliefs under bounded resources

Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Rakib, Abdur

Abstract

There exists a considerable body of work on epistemic logics for bounded reasoners where the bound can be time, memory, or the amount of information the reasoners can exchange. In much of this work the epistemic logic is used as a meta-logic to reason about beliefs of the bounded reasoners from an external perspective. In this paper, we present a formal model of a system of bounded reasoners which reason about each other's beliefs, and propose a sound and complete logic in which such reasoning can be expressed. Our formalisation highlights a problem of incorrect belief ascription in resource-bounded reasoning about beliefs, and we propose a possible solution to this problem, namely adding reasoning strategies to the logic. © 2009 Springer-Verlag Berlin Heidelberg.

• Presentation Conference Type: Conference Paper (published)
• Publication Date: Dec 14, 2009
• Deposit Date: Jun 16, 2017
• Journal: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
• Print ISSN: 0302-9743
• Publisher: Springer Verlag
• Peer Reviewed: Peer Reviewed
• Volume: 5605 LNAI
• Pages: 1-15
• Series Title: Lecture Notes in Computer Science
• DOI: https://doi.org/10.1007/978-3-642-05301-6_1
• Keywords: formalisms and logic, multi-agent system, resource-bounds
• Public URL: https://uwe-repository.worktribe.com/output/1009041
• Publisher URL: http://dx.doi.org/10.1007/978-3-642-05301-6_1
• Related Public URLs: https://link.springer.com/book/10.1007/978-3-642-05301-6
• Contract Date: Jun 16, 2017