Belief revision in Horn theories

DOI10.1016/j.artint.2014.08.006zbMath1322.68192OpenAlexW2156474728MaRDI QIDQ2512985

James P. Delgrande, Pavlos Peppas

Publication date: 2 February 2015

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

Full work available at URL: https://doi.org/10.1016/j.artint.2014.08.006

zbMATH Keywords

belief revisionknowledge representationHorn logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (13)

Belief Merging within Fragments of Propositional Logic ⋮ Merging in the Horn Fragment ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Contraction in propositional logic ⋮ Belief Update Within Propositional Fragments ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ Toward credible belief base revision ⋮ Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ⋮ An extension-based approach to belief revision in abstract argumentation ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ An investigation of parametrized difference revision operators ⋮ Unnamed Item ⋮ Characterizability in Horn Belief Revision

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief revision within fragments of propositional logic
• Two modellings for theory change
• Propositional knowledge base revision and minimal change
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of iterated belief revision
• Iterated revision and minimal change of conditional beliefs
• Inter-definability of Horn contraction and Horn revision
• Horn Clause Contraction Functions
• Entrenchment-Based Horn Contraction
• On the logic of theory change: Partial meet contraction and revision functions
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Knowledge compilation and theory approximation
• Horn Contraction via Epistemic Entrenchment
• Compilability and compact representations of revision of Horn knowledge bases

This page was built for publication: Belief revision in Horn theories