This paper extends previous work on propagating qualitative uncertainty in networks in which a general approach to qualitative propagation was discussed. The work presented here includes results that make it possible to perform evidential and intercausal reasoning, in addition to the predictive reasoning already covered, in networks quantiied with probability, possibility and Dempster-Shafer be...

In this paper we consider the basic semantics of stable and partial stable models for disjunctive deductive databases (with default negation), cf. [9,16]. It is well–known that there are disjunctive deductive databases where no stable or partial stable models exist, and these databases are called inconsistent w.r.t. the basic semantics. We define a consistent variant of each class of models, wh...

An evidential reasoning mechanism based on the Dempster-Shafer theory of evidence is introduced. Its performance in real-world image analysis is compared with other mechanisms based on the Bayesian formalism and a simple weight combination method.