AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Font Size: 
New Inference Relations from Maximal Consistent Subsets
Sébastien Konieczny, Pierre Marquis, Srdjan Vesic

Last modified: 2018-09-24


Given an inconsistent, flat belief base, we show how to draw non-trivial conclusions from it by selecting some of its maximal consistent subsets. This selection leads to inference relations with a stronger inferential power than the one based on all maximal consistent subsets, without questioning the fact that they are preferential relations (in the sense of KLM).

Full Text: PDF