Remedying inconsistent sets of premises

Authors:
Philippe Besnard
Affiliations:
IRIT, CNRS, Université Paul Sabatier, Toulouse cedex, France
Venue:
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2005

Citing 3
Cited 0

On strongest neccessary and weakest sufficient conditions

Artificial Intelligence
A consistency-based approach for belief change

Artificial Intelligence
Propositional independence: formula-variable independence and forgetting

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Lang-Marquis framework for reasoning in the presence of inconsistencies, which is based on the so-called forget operation, is generalized here. Despite extending the original proposal, a simpler structure is used. A notion of equivalence is introduced which is proven to provide extensionality for the framework. Some other formal properties are also given which illustrate the versatility of the definitions.