Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches

DOI10.1080/11663081.1997.10510906zbMath0877.03017OpenAlexW2034537885MaRDI QIDQ3128369

Alvaro del Val

Publication date: 8 December 1997

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1997.10510906

zbMATH Keywords

coherencebelief revisionnonmonotonic inferenceAGMPoole system

Mathematics Subject Classification ID

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

Related Items (5)

Belief revision and computational argumentation: a critical comparison ⋮ Propositional belief base update and minimal change ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ Four ways in which theories of belief revision could benefit from theories of epistemic justification ⋮ The co-occurrence test for non-monotonic inference

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Temporal logics in AI: semantical and ontological considerations
• A logical framework for default reasoning
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Propositional knowledge base revision and minimal change
• Deriving properties of belief update from theories of action
• A rational reconstruction of nonmonotonic truth maintenance systems
• Theory contraction and base contraction unified
• On the logic of theory change: Partial meet contraction and revision functions
• Belief contraction in the context of the general theory of rational choice
• A Unified View of Belief Revision and Update
• Counterfactuals

This page was built for publication: Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches