Non-Monotonicity in the Waldzell Canon

A Waldzell Forum Essay [in preparation]

Last modified: Tue 3/11/97 2215 PST

Sources

• 3.2 Raisonnement non monotone
• The CIN Project
• http://www.itri.brighton.ac.uk/techreports/ITRI-95-15.abs
• Papers
• CIRL Overview -- Contexts
• Nonmonotonic Inferences in Neural Networks
• Minimal Knowledge States in Nonmonotonic Modal Logics
• On the Complexity of Reasoning with Negation As Failure
• On the Semantics of Epistemic Description Logics
• Epistemic ALC-Knowledge bases
• Non-first-order features in concept languages
• Ground nonmonotonic modal logics
• A Uniform Tableaux Method for Nonmonotonic Modal Logics
• Bibliography of Default Reasoning and Nonmonotonic Logics
• CIRL Overview -- Nonmonotonic Reasoning
• Concept representations and nonmonotonic inferences
• A preference semantics for ground nonmonotonic modal logics
• Ground Nonmonotonic Modal Logics for Knowledge Representation
• Applications of Circumscription to Formalizing Common Sense Knowledge
• Against Nonmonotonic Logic
• Circumscription: A Form of Nonmonotonic Reasoning
• IRIDIA Projects : Logics for Quantified Partial Belief
• Modifications to Circumscription for Commonsense Reasoning.
• Process and Policy: Resource-Bounded Non-Demonstrative Reasoning
• Finite Satisfiability and Implication in Concept Languages
• Non-Monotonic Reasoning and Non-Classical Logics
• Abstract Sebastiani et Straccia.
• Non-monotonic reasoning primer

Notes

Assertions may be incrementally incorporated into the Canon of the following kind:

(1) Bird OBJEVT-AFF Fly

(2) Bird SUPSUB-AFF Ostrich

(3) Ostrich OBJEVT-NEG Fly

In conventional logic, (1) & (2) entails that ostriches fly, while (2) & (3) entails that ostriches do not fly and therefore, in conventional logic, (1) & (2) & (3) cannot be true.

The kinds of entailments that follow intuitively from such assertions are termed non-monotonic, and a great deal of research in logic, artificial intelligence and cognitive science has been devoted to the development of schemes for dealing with non-monotonicity in models of human knowledge.