Non-monotonic reasoning typically deals with three kinds of knowledge. Facts are meant to describe immutable statements of the environment.

This formulation limits the revision problem to preference changes, notwithstanding the particular instance of the superiority relation. Definition 5 Given a ...

We prove that the problem of revising a non-monotonic theory by only changing the superiority relation is a NP-complete problem. 1 Introduction. Preferences are ...

Non-monotonic reasoning typically deals with three kinds of knowledge. Facts are meant to describe immutable statements of the environment.

We study the relationship between normal default theories and show the correspondence between models of extensions and optimal worlds. We give a preferential ...

Non-monotonic reasoning typically deals with three kinds of knowledge. Facts are meant to describe immutable statements of the environment.

Non-monotonic reasoning typically deals with three kinds of knowledge. Facts are meant to describe immutable statements of the environment.

The Hardness of Revising Defeasible Preferences. https://doi.org/10.1007/978-3-319-09870-8_12 · Full text. Journal: Rules on the Web.

Guido Governatori , Francesco Olivieri , Simone Scannapieco , Matteo Cristani: The Hardness of Revising Defeasible Preferences. RuleML 2014: 168-177.

The revision process beats the argument of beyond reasonable doubt. Initially, someone proves that a given conclusion does not follow from the rules. However, ...