Nonmonotonicity and the scope of reasoning

DOI10.1016/0004-3702(91)90068-UzbMath0753.03012MaRDI QIDQ1189875

David W. Etherington, Donald Perlis, Sarit Kraus

Publication date: 27 September 1992

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

autoepistemic logicdefault logiccircumscriptionnonmonotonic logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (9)

Justification and defeat ⋮ Disjunctive logic and semantics of disjunctive logic programs ⋮ Inductive learning and defeasible inference ⋮ History of circumscription ⋮ From statistical knowledge bases to degrees of belief ⋮ Dynamic reasoning with qualified syllogisms ⋮ Modal logic for modelling actions and agents ⋮ Plausible reasoning: a first-order approach ⋮ A general scheme for formalizing defaults using the predicate \(ab(I,S)\)

Cites Work

• Semantical considerations on nonmonotonic logic
• On the satisfiability of circumscription
• A logic to reason about likelihood
• Formalizing nonmonotonic reasoning systems
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Subjective probability: Criticisms, reflections, and problems
• Equality and Domain Closure in First-Order Databases
• Nonmonotonic Logic II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nonmonotonicity and the scope of reasoning