Reasoning about other agents' beliefs under bounded resources

N. Alechina, B. Logan, H.N. Nguyen, A. Rakib

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

3 Citations (Scopus)

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 languageEnglish
Title of host publicationKnowledge Representation for Agents and Multi-Agent Systems
EditorsJohn-Jules Ch. Meyer, Jan Broersen
PublisherSpringer
Pages1-15
Number of pages15
Edition1
ISBN (Electronic)978-3-642-05301-6
ISBN (Print)978-3-642-05300-9
DOIs
Publication statusPublished - 2009
Externally publishedYes
EventKnowledge Representation for Agents and Multi-Agent Systems, First International Workshop - Sydney, Australia
Duration: 17 Sept 200817 Sept 2008
Conference number: 1

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume5605
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceKnowledge Representation for Agents and Multi-Agent Systems, First International Workshop
Abbreviated titleKRAMAS 2008
Country/TerritoryAustralia
CitySydney
Period17/09/0817/09/08

Fingerprint

Dive into the research topics of 'Reasoning about other agents' beliefs under bounded resources'. Together they form a unique fingerprint.

Cite this