Extending Removed Sets Revision to partially preordered belief bases

DOI10.1016/j.ijar.2010.05.008zbMath1213.68610OpenAlexW1979413069MaRDI QIDQ622290

Mariette Sérayet, Pierre Drap, Odile Papini

Publication date: 31 January 2011

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://hal-amu.archives-ouvertes.fr/hal-01479553/file/srayet2011.pdf

zbMATH Keywords

revisionpartially preordered belief bases

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Uses Software

• clasp

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning with partially ordered information in a possibilistic logic framework
• Remedying inconsistent sets of premises
• Iterated belief revision, revised
• A theory of diagnosis from first principles
• Propositional knowledge base revision and minimal change
• On the logic of iterated belief revision
• On exact selection of minimally unsatisfiable subformulae
• A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
• Iterated revision and minimal change of conditional beliefs
• Logic programs with stable model semantics as a constraint programming paradigm
• On inference from inconsistent premisses
• Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs
• Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases

This page was built for publication: Extending Removed Sets Revision to partially preordered belief bases