Horn clause contraction functions

DOI10.1613/JAIR.4031MaRDI QIDQ2865010zbMATH OpenOpenAlexWikidataFDO

Authors James Delgrande, Renata Wassermann

Publication date 28 November 2013

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.4031

zbMATH Keywords

belief changeHorn belief set contractionHorn knowledge bases

Mathematics Subject Classification ID

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

Recommendations

• Horn contraction via epistemic entrenchment
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• Theory contraction and base contraction unified
• Entrenchment-based Horn contraction
• Belief revision in Horn theories

Cited in

(15)

• Partial meet pseudo-contractions
• Inter-definability of Horn contraction and Horn revision
• Belief revision in Horn theories
• Characterizability in Horn belief revision
• Entrenchment-based Horn contraction
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• Belief update within propositional fragments
• Horn contraction via epistemic entrenchment
• Belief merging within fragments of propositional logic
• Merging in the Horn fragment
• The ghosts of forgotten things: a study on size after forgetting
• Main issues in belief revision, belief merging and information fusion
• Common equivalence and size of forgetting from Horn formulae
• Belief Horn merging operators: characterization results and implementations
• One head is better than two: a polynomial restriction for propositional definite Horn forgetting

This page was built for publication: Horn clause contraction functions

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