5 citations · 7 across the 8 of their papers we have counts for
8 papers · 1 filter
Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights
Didier Dubois, Jerome Lang, Henri Prade
In this paper an approach to automated deduction under uncertainty,based on possibilistic logic, is proposed ; for that purpose we deal with clauses weighted by a degree which is a…
A Logic of Graded Possibility and Certainty Coping with Partial Inconsistency
Jerome Lang, Didier Dubois, Henri Prade
A semantics is given to possibilistic logic, a logic that handles weighted classical logic formulae, and where weights are interpreted as lower bounds on degrees of certainty or po…
Possibilistic decreasing persistence
Dimiter Driankov, Jerome Lang
A key issue in the handling of temporal data is the treatment of persistence; in most approaches it consists in inferring defeasible confusions by extrapolating from the actual kno…
Syntax-based Default Reasoning as Probabilistic Model-based Diagnosis
Jerome Lang
We view the syntax-based approaches to default reasoning as a model-based diagnosis problem, where each source giving a piece of information is considered as a component. It is for…
Penalty logic and its Link with Dempster-Shafer Theory
Florence Dupin de Saint-Cyr, Jerome Lang, Thomas Schiex
Penalty logic, introduced by Pinkas, associates to each formula of a knowledge base the price to pay if this formula is violated. Penalties may be used as a criterion for selecting…
Possibility and Necessity Functions over Non-classical Logics
Philippe Besnard, Jerome Lang
We propose an integration of possibility theory into non-classical logics. We obtain many formal results that generalize the case where possibility and necessity functions are base…