论文信息 - Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL

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

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.

Guido Vanackere | Guido Vanackere

[1] Guido Vanackere,et al. HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions , 2000, J. Appl. Non Class. Logics.

[2] Diderik Batens. Inconsistency-Adaptive Logics , 1999 .

[3] Jürgen Dix,et al. Nonmonotonic Reasoning: An Overview , 1997, CSLI Lecture Notes.

[4] Kristof de Clercq,et al. Two new strategies for inconsistency-adaptive logics , 2004 .

[5] H. Rasiowa,et al. Logic at work : essays dedicated to the memory of Helena Rasiowa , 1999 .