This paper is an investigation of the relationship between conditional objects obtained as a qualitative counterpart to conditional probabilities, and nonmonotonic reasoning. Roughly speaking, a conditional object can be seen as a generic rule which allows us to get a conclusion provided that the available information exactly corresponds to the "context" part of the conditional object. This giv...

We present probabilistic logic programming un­ der inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic de­ fault reasoning with conditional constraints. We analy...

We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with incomplete information like probabilities that are missing or only known to lie in some interval. However, probabilistic propositional logic as described e.g. by Halpern [9], has no way of expressing conditional indepe...

Moddeling human conditional reasoning of the type “if p then q” containing negations poses a challenge for connectionism. A network of spiking neurons (INFERNET) was used to model this type of conditional reasoning. This model also provides insights on certain human limitations. The model is compared to empirical data, and classical explanations. Statistical analysis shows that the model’s perf...