Belief revision in Horn theories

DOI10.1016/J.ARTINT.2014.08.006MaRDI QIDQ2512985zbMATH OpenOpenAlexFDO

Authors James 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

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

Recommendations

• Horn clause contraction functions
• Characterizability in Horn belief revision
• scientific article; zbMATH DE number 108002
• Inter-definability of Horn contraction and Horn revision
• Compilability and compact representations of revision of Horn knowledge bases

Cites work

• scientific article; zbMATH DE number 1333622 (Why is no real title available?)
• scientific article; zbMATH DE number 1537944 (Why is no real title available?)
• Belief revision within fragments of propositional logic
• Compilability and compact representations of revision of Horn knowledge bases
• Entrenchment-based Horn contraction
• Handbook of knowledge representation.
• Horn clause contraction functions
• Horn contraction via epistemic entrenchment
• Inter-definability of Horn contraction and Horn revision
• Iterated revision and minimal change of conditional beliefs
• Knowledge compilation and theory approximation
• Knowledge in flux. Modeling the dynamics of epistemic states
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional knowledge base revision and minimal change
• Two modellings for theory change

Cited in

(18)

• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• Compilability and compact representations of revision of Horn knowledge bases
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• Merging in the Horn fragment
• Characterizability in Horn belief revision
• Horn clause contraction functions
• Contraction in propositional logic
• Preference-based belief revision for rule-based agents
• Main issues in belief revision, belief merging and information fusion
• An investigation of parametrized difference revision operators
• Toward credible belief base revision
• Inter-definability of Horn contraction and Horn revision
• Morphologic for knowledge dynamics: revision, fusion and abduction
• Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
• Strengthening parametrized-difference belief revision
• Belief merging within fragments of propositional logic
• An extension-based approach to belief revision in abstract argumentation
• Belief update within propositional fragments

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

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