Natasha Alechina
Reasoning about other agents' beliefs under bounded resources
Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Rakib, Abdur
Authors
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 |
You might also like
Analysing the predictivity of features to characterise the search space
(2022)
Conference Proceeding
Memory-constrained context-aware reasoning
(2022)
Conference Proceeding
A probabilistic logic for resource-bounded multi-agent systems
(2019)
Presentation / Conference
Probabilistic resource-bounded alternating-time temporal logic
(2019)
Presentation / Conference