Possibilistic DL-Lite is an extension of the DL-Lite framework to deal with uncertain pieces of information. In this paper, we deal with inconsistency in DL-Lite in case where the assertions are uncertain and encoded in a possibility theory framework. We investigate three inconsistency-tolerant reasoning methods for possibilistic DL-Lite knowledge bases which are based on the selection of one c...

A geometrical approach to validation of fuzzy temporal relations between fuzzy time primitives, based on the possibility and necessity measures are proposed. Fuzzy temporal relations between fuzzy time points and fuzzy time point and fuzzy time interval are considered. The same approach can be used for evaluation of relation between two fuzzy intervals. An example of validation of temporal rela...

The validity of the information stored in a database may be guaranteed or not, according to the family of items which is considered. The information available in the database may be complete or not, as well, for a given type of items. The paper discusses how these forms of uncertainty can be represented in the framework of possibility theory, and how queries to a database where information is n...

The square of opposition is a structure involving two involutive negations and relating quantified statements, invented in Aristotle time. Rediscovered in the second half of the XX century, and advocated as being of interest for understanding conceptual structures and solving problems in paraconsistent logics, the square of opposition has been recently completed into a cube, which corresponds t...

The notion of fuzzy sets has proven useful in the context of control theory, pattern recognition, and medical diagnosis. However, it has also spawned the view that classical probability theory is unable to deal with uncertainties in natural language and machine learning, so that alternatives to probability are needed. One such alternative is what is known as “possibility theory.” Such alternati...

Many works in the past showed that human judgments of uncertainty do not conform very well to Probability Theory. The present paper reports four experiments that were conducted in order to evaluate if human judgments of uncertainty conform better to Possibility Theory. At first, two experiments investigate the descriptive properties of some basic possibilistic measures. Then a new measurement a...

Saint Anselm of Canterbury offered several arguments for the existence of God. We examine the famous ontological argument in Proslogium ii. Many recent authors have interpreted this argument as a modal one.1 But we believe that Jonathan Barnes has argued persuasively that Anselm’s argument is not modal.2 Even if one were to construe the word ‘can’ in the definite description ‘that than which no...

This paper presents an argument to the effect that the relation of exact similarity with respect to properties that are supervenient cannot be transitive. The point of departure is that, while a difference in respect of supervenient properties entails a difference in respect of subvenient properties, exact similiarity in respect of supervenient properties is compatible with differences in respe...

Levelt (2002) challenges the theoretical motivation and the interpretation of the data reported in Alario, Costa, and Caramazza’s (2002) study on utterance planning during speech production. In this response we argue against these criticisms. First, we show that the hypotheses entertained in our research about the scope of phonological encoding are well motivated in the context of current theor...

The links between Shoham's preference logic and possibilistic logic, a numerical logic of uncertainty based on Zadeh's possibility measures, are investigated. Starting from a fuzzy set of preferential interpretations of a propositional theory, we prove that the notion of preferential entailment is closely related to a previously introduced notion of conditional possibility. Conditional possibil...