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

Authors:
Anna Gomolińska
Affiliations:
Institute of Mathematics, University of Warsaw, Białystok Division, Białstok, Poland. anna.gom@math.uw.bialystok.pl
Venue:
Fundamenta Informaticae
Year:
1996

Citing 4
Cited 0

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Possible-world semantics for autoepistemic logic

Readings in nonmonotonic reasoning
A note on non-monotonic modal logic

Artificial Intelligence
Autoepistemic modal logics

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge

Quantified Score

Hi-index	0.00

Visualization

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.