Possibilistic ATMS are truth maintenance systems oriented towards hypothetical reasoning where both assumptions and justifications can bear an uncertainty weight. Uncertainty is represented in the framework of possibility theory. In possibilistic logic uncertain clauses are handled as such and then in possibilistic ATMS the management of uncertainty is not separated from the other classical cap...

Stalnaker introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept which captures the ‘epistemic possibility of knowledge’. In this paper we first provide the most general extensional semantics for this concept of ‘strong belief’, which validates the principles of Stalnaker’s epistemic-doxastic logic. We show that this general extensional se...

On the conception of metaphysical possibility that I prefer, a metaphysical possibility is simply a coherent way for the world to be. That is a substantial view. There are conceptions of metaphysical possibility on which not every coherent way for the world to be counts as a metaphysical possibility. To illustrate this point, consider a conception of metaphysical possibility based on a simplifi...

The main purpose of this paper is to present a possibility theory-based generalization of conventional interval propagation to coverage intervals. Indeed, the whole set of coverage intervals for all the probability levels stacked on top of one another constitutes a possibility distribution. Thus by slight modifications of Zadeh’s extension principle, we will prove that it is possible to compute...

In this paper, we extend the domains of affirmation and negation operators, and more important, of triangular (semi)norms and (semi)conorms from the unit interval to bounded partially ordered sets. The fundamental properties of the original operators are proven to be conserved under this extension. This clearly shows that they are essentially based upon order-theoretic notions. Consequently, a ...

Our paper deals with the necessary properties in Fuzzy Measures. Therefore, it belongs to Fuzzy Mathematical Analysis. The Possibility Theory was created by Zadeh in a paper of 1978. As general purpose, to obtain a way to model flexible restrictions constructed from vague pieces of information. If we study the counterparts of expectations (from Probability Theory) in Possibility Theory, we obta...

This paper proposes a discussion of inconsistency-tolerant consequence relations in prioritized knowledge bases. These inference techniques extend methods for reasoning from inconsistent, non-stratified, knowledge bases to the case where priorities between formulas are available. Priorities between formulas are handled in the framework of possibility theory and allow for the use of pieces of in...

This paper presents an approach for developing the explanation capabilities of rule-based expert systems managing imprecise and uncertain knowledge. The treatment of uncertainty takes place in the framework of possibility theory where the available information concerning the value of a logical or numerical variable is represented by a possibility distribution which restricts its more or less po...

Possibilistic logic is an important uncertainty reasoning mech anism based on Zadeh s possibility theory and classical logic The deduc tion rules of possibilistic logic have been obtained from classical resolu tion rule by attaching possibility or necessity weight to ordinary clauses However since not all possibility valued formulae can be converted into equivalent possibilistic clauses the res...

The probabilistic Noisy OR model has been widely used as a means of reducing the amount of probabilistic information that is needed to specify the interaction between groups of variables. Motivated by our work on the diagnosis of faults in satellite subsystems , which required a similar synthesis of partial possibilistic information on interactions , we consider a number of ways of gener-alisin...