On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

Article type: Research Article

Authors: Gomolińska, Anna

Affiliations: Institute of Mathematics, University of Warsaw, Białystok Division, Białstok, Poland. anna.gom@math.uw.bialystok.pl

Abstract: The logic of acceptance and rejection (AEL2) is a nonmonotonic formalism in the spirit of Moore's autoepistemic logic (AEL). AEL2 is to represent knowledge of an ideal rational agent who makes decisions about pieces of information. The case of uncertainty of the agent is considered as well. Therefore the agent's choices are: acceptance, rejection, and the lack of decision. AEL is treated as the nonmonotonic KD45 modal logic. AEL2 may be formalized in a similar way. In the paper the problem of an appropriate semantics for the modal formalization of AEL2 is discussed.

Keywords: autoepistemic logic, nonmonotonic modal logics

DOI: 10.3233/FI-1996-283407

Journal: Fundamenta Informaticae, vol. 28, no. 3-4, pp. 303-313, 1996