Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL

Guido Vanackere



In this paper I generalize the new approach to nonmonotonic reasoning that was presented in [6]. This generalization results in the inconsistency-adaptive logic PRL (PR stands for preference-based reliability strategy). I give proof theory, semantics, mention interesting properties, and comment on the reconstruction and amelioration of other nonmonotonic logics and mechanisms.

Full Text:



Batens, Diderik: “Inconsistency-adaptive logics and nonmonotonic logics”, Logique et Analyse 145, March 1994, pp. 57–94.

Batens, Diderik: “Inconsistency-adaptive logics”, in Ewa Or lowska (ed.) Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Heidelberg, New-York, Physica Verlag, Springer, 1998, pp. 445-472.

Batens, Diderik: “Rich inconsistency-adaptive logics. The clash between heuristic efficiency and realistic reconstruction”, in Fran¸ cois Beets & Eric Gillet (eds.) Logique en perspective. Mélanges offert à Paul Gochet. Editions OUSIA 2000, pp. 513–543.

Brewka, G., J. Dix and K. Konolige, Nonmonotonic Reasoning. An Overview. CSLI Publications, Stanford California, 1997.

De Clercq, Kristof: “Two new strategies for inconsistency-adaptive logics” (to appear).

Vanackere, Guido, “HL2, an inconsistency-adaptive and inconsistency-resolving logic for general statements that might have exceptions”, Journal of Applied Non-Classical Logics 10, 2000, pp. 317–338.

Van Meirvenne, Joachim, “Indexed adaptive logics”, Logique et Analyse 145, March 1994, pp. 41–55.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism