Fixpoint Evaluation with Subsumption for Probabilistic Uncertainty

The deep complexity of uncertain data modelling has resisted to general solutions so far. Instead, a diversity of modelling approaches has been proposed over the years, but few systems actually have been built. The DUCK calculus is one recent ambitious rule-based attempt to model uncertainty on the grounds of established probability theory as typically used e.g. in medical diagnosis. This paper describes how deductive database technology can be exploited for prototyping of a system for uncertain reasoning.