From ordering-based nonmonotonic reasoning to conditional logics

Authors:
Luis Fariñas del Cerro;Andreas Herzig;Jérôme Lang
Affiliations:
Univ. Paul Sabatier, Toulouse, France;Univ. Paul Sabatier, Toulouse, France;Univ. Paul Sabatier, Toulouse, France
Venue:
Artificial Intelligence
Year:
1994

Citing 0
Cited 5

Some contributions to nonmonotonic consequence

Journal of Computer Science and Technology
Graded Similarity-Based Semantics for Nonmonotonic Inferences

Annals of Mathematics and Artificial Intelligence
Ordinal and probabilistic representations of acceptance

Journal of Artificial Intelligence Research
Possibility and necessity functions over non-classical logic

UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
ABDUCTIVE CHANGE OPERATORS

Fundamenta Informaticae

Quantified Score

Hi-index	0.01

Visualization

Abstract

As Ga¨rdenfors and Makinson have recently shown, a nonmonotonic inference relation can be generated from a total pre-ordering on theset of formulas, or equivalently from an uncertainty valuation. We buildhere on these results; we include the pre-ordering in the language byintroducing a conditional operator, and we extend the generation of anonmonotonic inference relation by allowing the use of incompletelyspecified pre-orderings. This allows effective procedures for computingnonmonotonic inferences by translating nonmonotonic reasoning intodeduction in a conditional logic.—Authors' Abstract