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.
| Original language | English |
|---|---|
| Title of host publication | Knowledge Representation for Agents and Multi-Agent Systems |
| Editors | John-Jules Ch. Meyer, Jan Broersen |
| Publisher | Springer |
| Pages | 1-15 |
| Number of pages | 15 |
| Edition | 1 |
| ISBN (Electronic) | 978-3-642-05301-6 |
| ISBN (Print) | 978-3-642-05300-9 |
| DOIs | |
| Publication status | Published - 2009 |
| Externally published | Yes |
| Event | Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop - Sydney, Australia Duration: 17 Sept 2008 → 17 Sept 2008 Conference number: 1 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 5605 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop |
|---|---|
| Abbreviated title | KRAMAS 2008 |
| Country/Territory | Australia |
| City | Sydney |
| Period | 17/09/08 → 17/09/08 |