Algebraic Considerations of Autoepistemic Logic¹

Article type: Research Article

Authors: Rauszer, Cecylia M.

Affiliations: Institute of Mathematics, University of Warsaw, Banacha 2, 00 913 Warsaw, Poland

Note: [1] The paper was partially presented during the Fifth International Symposiun on Methodologies for Intelligent Systems (1990), Charlotte, USA.

Abstract: Stable autoepistemic sets are treated as S4 maximal theories. This approach allows to use the Lindenbaum algebra of modal logic as a tool in investigations of existence of a special kind of stable sets. Namely, for a given set A, the algebraic constructions of minimal stable sets based on A and moderately grounded expansions of A are shown.

DOI: 10.3233/FI-1992-17302

Journal: Fundamenta Informaticae, vol. 17, no. 3, pp. 175-186, 1992