Entrenchment-based Horn contraction

DOI10.1613/JAIR.4430MaRDI QIDQ2922397zbMATH OpenOpenAlexWikidataFDO

Authors Zhiqiang Zhuang, Maurice Pagnucco

Publication date 10 October 2014

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.4430

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Horn contraction via epistemic entrenchment
• Horn clause contraction functions
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• Inter-definability of Horn contraction and Horn revision
• Contraction in propositional logic

Cited in

(10)

• An investigation of parametrized difference revision operators
• Inter-definability of Horn contraction and Horn revision
• Belief revision in Horn theories
• Horn clause contraction functions
• On the link between partial meet, kernel, and infra contraction and its application to Horn logic
• Belief update within propositional fragments
• A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic
• Horn contraction via epistemic entrenchment
• Main issues in belief revision, belief merging and information fusion
• Representation results for belief update in closed fragments of propositional logic

This page was built for publication: Entrenchment-based Horn contraction

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