Skip to main content

Research Repository

Advanced Search

Reasoning about other agents' beliefs under bounded resources

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

Authors

Natasha Alechina

Brian Logan

Hoang Nga Nguyen

Profile Image

Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security



Contributors

John-Jules Ch.Meyer
Editor

Jan Broersen
Editor

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.

Citation

Alechina, N., Logan, B., Nguyen, H. N., & Rakib, A. (2009). Reasoning about other agents' beliefs under bounded resources. Lecture Notes in Artificial Intelligence, 5605 LNAI, 1-15. https://doi.org/10.1007/978-3-642-05301-6_1

Journal Article Type Conference Paper
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
Electronic ISSN 1611-3349
Publisher Springer Verlag
Peer Reviewed Peer Reviewed
Volume 5605 LNAI
Pages 1-15
Series Title Lecture Notes in Computer Science
ISBN ;
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