Conditional objects as nonmonotonic consequence relationships - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Systems, Man, and Cybernetics: Systems Année : 1994

Conditional objects as nonmonotonic consequence relationships

Résumé

This paper investigates the relationship between conditional objects obtained as a qualitative counterpart to conditional probabilities, and nonmonotonic reasoning. Viewed as an inference rule expressing a contextual belief, the conditional object is shown to possess all properties of a well-behaved nonmonotonic consequence relation when a suitable choice of connectives and deduction operation is made. Using previous results from Adams' conditional probabilistic logic, a logic of conditional objects is proposed. Its axioms and inference rules are those of preferential reasoning logic of Lehmann and colleagues. But the semantics relies on a three-valued truth valuation first suggested by De Finetti. It is more elementary and intuitive than the preferential semantics of Lehmann and colleagues and does not require probabilistic semantics. The analysis of a notion of consistency of a set of conditional objects is studied in the light of such a three-valued semantics and higher level counterparts of deduction theorem, modus ponens, resolution and refutation are suggested. Limitations of this logic are discussed.
Fichier non déposé

Dates et versions

hal-04054182 , version 1 (31-03-2023)

Identifiants

Citer

Didier Dubois, Henri Prade. Conditional objects as nonmonotonic consequence relationships. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 1994, 24 (12), pp.1724--1740. ⟨10.1109/21.328930⟩. ⟨hal-04054182⟩
11 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More