Learn More
Fuzziness is not a priori an obvious concept and demands some explanation. “Fuzziness” is what Black (NF 1937) calls “vagueness” when he distinguishes it from “generality” and from “ambiguity.” Generalizing refers to the application of a symbol to a multiplicity of objects in the field of reference, ambiguity to the association of a finite number of(More)
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 lower bound of a necessity or a possibility measure, according to the nature of the uncertainty. Two resolution rules are used for coping with the different situations, and the(More)
The theory of evidence proposed by G. Shafer is gaining more and more acceptance in the field of artificial intelligence, for the purpose of managing uncertainty in knowledge bases. One of the crucial problems is combining uncertain pieces of evidence stemming from several sources, whether rules or physical sensors. This paper examines the framework of(More)
The idea of ordering plays a basic role in commonsense reasoning for addressing three interrelated tasks: inconsistency handling, belief revision and plausible inference. We study the behavior of non-monotonic inferences induced by various methods for priority-based handling of inconsistent sets of classical formulas. One of them is based on a lexicographic(More)
In classical Constraint Satisfaction Problems (CSPs) knowledge is embedded in a set of hard constraints, each one restricting the possible values of a set of variables. However constraints in real world problems are seldom hard, and CSP's are often idealizations that do not account for the preference among feasible solutions. Moreover some constraints may(More)