Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
DOI:
https://doi.org/10.12775/LLP.2000.003Abstrakt
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.Bibliografia
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.
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Statystyki
Liczba wyświetleń i pobrań: 337
Liczba cytowań: 0