---
title: "All They Know: A Study in Multi-Agent Autoepistemic Reasoning"
authors:
  - "Gerhard Lakemeyer"
doi: ""
url: "https://ijcai.org/proceedings/1993/53"
pdf: "https://ijcai.org/proceedings/1993/0053.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "376-380"
track: "Distributed AI"
keywords:
---

# All They Know: A Study in Multi-Agent Autoepistemic Reasoning

Gerhard Lakemeyer

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 376-380.

## Abstract

With few exceptions the study ofnonmonotonic reasoning has been confined to the singl~agent case. However, it has been recognized that intelligent agents often need to reason about other agents and their ability to reason nonmonotonically. In this paper we .present a formalization of multi-agent autoepisternic reasoning, which naturally extends earlier work by Levesque. In particular, we propose ann -agent modal belief logic, which allows us to express that a formula (or finite set of them) is all an agent knows, which may include beliefs about what other agents believe. The paper presents a formal semantics of the logic in the. possibleworld framework. We provide an axiomatization, which is complete for a large fragment of the logic and sufficient to characterize interesting forms of multi-agent autoepistemic reasoning. We also extend the stable set and stable expansion ideas of single-agent autoepistemic logic to the multi-agent cas e.