Extending Removed Sets Revision to partially preordered belief bases

DOI10.1016/J.IJAR.2010.05.008zbMATH Open1213.68610OpenAlexW1979413069MaRDI QIDQ622290FDOQ622290

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

Recommendations

• Encoding the Revision of Partially Preordered Information in Answer Set Programming
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
• Logics in Artificial Intelligence
• Belief Base Change Operations for Answer Set Programming
• A general family of preferential belief removal operators

zbMATH Keywords

revisionpartially preordered belief bases

Mathematics Subject Classification ID

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

Cites Work

• On inference from inconsistent premisses
• Counterfactuals.
• Knowledge in flux. Modeling the dynamics of epistemic states
• A theory of diagnosis from first principles
• Logic programs with stable model semantics as a constraint programming paradigm
• Propositional knowledge base revision and minimal change
• Iterated belief revision, revised
• On the logic of iterated belief revision
• Iterated revision and minimal change of conditional beliefs
• Admissible and restrained revision
• Title not available (Why is that?)
• A synthetic view of belief revision with uncertain inputs in the framework of possibility theory
• Reasoning with partially ordered information in a possibilistic logic framework
• On exact selection of minimally unsatisfiable subformulae
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Remedying inconsistent sets of premises

Cited In (4)

• Encoding the Revision of Partially Preordered Information in Answer Set Programming
• A General Family of Preferential Belief Removal Operators
• Main issues in belief revision, belief merging and information fusion
• On the Dynamics of Total Preorders: Revising Abstract Interval Orders

Uses Software

• clasp

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

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