Fuzzy answer set programming (FASP) is a generalization of answer set programming to continuous domains. As it can not readily take uncertainty into account, however, FASP is not suitable as a basis for approximate reasoning and cannot easily be used to derive conclusions from imprecise information. To cope with this, we propose an extension of FASP based on possibility theory. The resulting fr...

A causal diagnosis solution relying on experts’ knowledge concentrates on the different malfunctions that may disturb the data acquisition process and tells the engine test bench tuning engineer which malfunction has occurred or which malfunctions are most likely suspected. The use of fuzzy sets and possibility theory provides better feedback and knowledge representation. The general architectu...

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 possibility, in the sense of Zadeh's possibility theory. The proposed semantics is based on fuzzy sets of interpretations. It is tolerant to partial inconsistency. Satisfiability is extended from interpretations to fuzz...

In this paper, we study the notion of an ample or complete field, a special case of the well-known fields and σ-fields of sets. These collections of sets serve as candidates for the domains of possibility and necessity measures, and are therefore important for the further development of a general fuzzy set and possibility theory. The existence of a one-one relationship between ample fields and ...

This article deals with a method to describe and manage spatial knowledge. Each georeferenced data is considered as an information source, whose location and value are independently described. The method proposed in this paper uses the information sources to infer the value of any request zone . This method is able to treat imprecise or uncertain, qualitative and quantitative data. It can be ap...

The setting of formal concept analysis presupposes the existence of a relation between objects and properties. Knowing that an unspecified object has a given property induces a formal possibility distribution that models the set of objects known to possess this property. This view expressed in a recent work by the authors of the present paper, has led to introduce the set-valued counterpart to ...

Fuzzy rules have been advocated as a key tool for expressing pieces of knowledge in "fuzzy logic". However, there does not exist a unique kind of fuzzy rules, nor is there only one type of "fuzzy logic". This diversity has caused many a misunderstanding in the literature of fuzzy control. The paper is a survey of different possible semantics for a fuzzy rule and shows how they can be captured i...

The Fault Mode Effects and Criticality Analyses (FMECA), describe the impact of identified faults. They form an important category of knowledge gathered during the design phase of a satellite, and are used also for diagnosis activities. This paper proposes their extension, allowing a finer representation of the available knowledge, at approximately the same cost, through the introduction of an ...

We know more today about the second, or so-called 'modal', version of St. Anselm's ontological argument than we did when Charles Hartshorne and Norman Malcolm brought it to the attention of philosophers some years ago. But there is still much to be learned. Criticisms of the modal ontological argument focus on its premises, namely (i) the claim that perfection, or maximal greatness, implies nec...

This paper is an attempt at providing a fuzzy set-based approach to case-based decision. Case-based decision consists in selecting an action to be applied to a current problem on the basis of a set of cases storing the results of various actions applied to similar, previously encountered, problems. Recently, Gilboa and Schmeidler have presented an axiomatic justification of a counterpart of the...