On the logic of acceptance and rejection

DOI10.1023/A:1005009115432MaRDI QIDQ1577347zbMATH OpenFDO

Authors Anna Gomolińska

Publication date 22 February 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1005009115432

zbMATH Keywords

autoepistemic logicnonmonotonic reasoningpossible-worlds semanticsreasoning under uncertainty

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Review text

Different extensions of classical logical formalisms have been proposed to model human thought. A very well-known nonmonotonic formalism is autoepistemic logic (AEL), introduced by \textit{R.~C. Moore} [Artif. Intell. 25, 75-94 (1985; Zbl 0569.68079)]. The present paper introduces the ``logic of acceptance and rejection (AEL2), extending Moore's AEL by the concept of uncertainty. This means that an agent may neither believe nor disbelieve a piece of information, or believe and disbelief it. For this aim, classical propositional logic is augmented by two operators \(B\) and \(D\) to express believe and disbelieve. Certain consequence operators are introduced and stability of theories is discussed. Also, similarly to Moore's AEL, AEL2 is shown to have a possible-worlds semantics. The article is a short presentation of results achieved in the author's Ph.~D.~thesis.

Recommendations

• Perspectival logic of acceptance and rejection
• Conditionals, Information, and Inference
• Rational acceptance and conjunctive/disjunctive absorption
• Rejection and truth-value gaps
• A new argument for distinguishing rejection and denial
• scientific article; zbMATH DE number 7599927
• Logics of rejection: Two systems of natural deduction
• A nonmonotonic modal formalization of the logic of acceptance and rejection
• The logic of acceptance: grounding institutions on agents' attitudes
• On negation rationality

Cited in

(7)

• On the logic of balance in social networks
• On the structure of rational acceptance: Comments on Hawthorne and Bovens
• scientific article; zbMATH DE number 994060 (Why is no real title available?)
• scientific article; zbMATH DE number 733397 (Why is no real title available?)
• Perspectival logic of acceptance and rejection
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• A nonmonotonic modal formalization of the logic of acceptance and rejection

This page was built for publication: On the logic of acceptance and rejection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1577347)