A nonmonotonic modal formalization of the logic of acceptance and rejection (Q677081)

The logic of acceptance and rejection (AEL2 for short) is a nonmonotonic formalism for modeling the reasoning of an ideal rational agent who makes decisions about pieces of information. AEL2 extends Moore's autoepistemic logic (AEL for short) to deal with uncertainty of the agent. Uncertainty is understood as inability to decide whether to accept or reject a given piece of information. Like in AEL, the state of knowledge of the agent is represented in the form of an extension of premises. In AEL2, however, accepted and rejected premises are separated and, consequently, extensions are pairs of sets of formulas accepted and rejected, respectively. As proved by G. Schwarz, AEL is a nonmonotonic version of the modal logic KD45. According to a related result for AEL2, given in the considered paper, AEL2 can also be seen as a certain nonmonotonic bi-modal formalism based on the logic KD45.