A nonmonotonic modal formalization of the logic of acceptance and rejection (Q677081): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 01:56, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A nonmonotonic modal formalization of the logic of acceptance and rejection |
scientific article |
Statements
A nonmonotonic modal formalization of the logic of acceptance and rejection (English)
0 references
31 March 1997
0 references
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.
0 references
nonmonotonic logic
0 references
logic of acceptance and rejection
0 references
autoepistemic logic
0 references
uncertainty
0 references
modal logic
0 references