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 knowledge basesHorn belief set contraction

Mathematics Subject Classification ID

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

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

(13)

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

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)