Autoepistemic Logic for Two Agents and its Application to Representation of Hierarchical Knowledge

Abstract

This paper proposes autoepistemic logic for two agents, which is a natural extension of Moore's autoepistemic logic. This logic formalizes beliefs which two ideally rational agents with mutual communications can infer by the extended introspection from their initial beliefs. In this paper, these beliefs are characterized by two concepts, stability and groundness. A relation between these beliefs and their initial beliefs is also investigated. Furthermore, this logic is applied to representation of hierarchical knowledge and to characterization of the reasoning based on such knowledge. This representation can be thought as a logical formalization of Minsky's frame model for knowledge representation.