45 research outputs found
Interval probability propagation
AbstractBelief networks are tried as a method for propagation of singleton interval probabilities. A convex polytope representation of the interval probabilities is shown to make the problem intractable even for small parameters. A solution to this is to use the interval bounds directly in computations of the propagation algorithm. The algorithm presented leads to approximative results but has the advantage of being polynomial in time. It is shown that the method gives fairly good results
PROLOG META-INTERPRETERS FOR RULE-BASED INFERENCE UNDER UNCERTAINTY
Uncertain facts and inexact rules can be represented and
processed in standard Prolog through meta-interpretation. This
requires the specification of appropriate parsers and belief
calculi. We present a meta-interpreter that takes a rule-based
belief calculus as an external variable. The certainty-factors
calculus and a heuristic Bayesian belief-update model are then
implemented as stand-alone Prolog predicates. These, in turn,
are bound to the meta-interpreter environment through second-order
programming. The resulting system is a powerful
experimental tool which enables inquiry into the impact of
various designs of belief calculi on the external validity of
expert systems. The paper also demonstrates the (well-known)
role of Prolog meta-interpreters in building expert system
shells.Information Systems Working Papers Serie
Introduction to the special issue “Beliefs in Groups” of Theory and Decision
International audienc
ARTIFICIAL INTELLIGENCE DIALECTS OF THE BAYESIAN BELIEF REVISION LANGUAGE
Rule-based expert systems must deal with uncertain data,
subjective expert opinions, and inaccurate decision rules. Computer scientists
and psychologists have proposed and implemented a number of belief languages widely used in applied systems, and their normative validity is clearly an important question, both on practical as well on theoretical grounds. Several well-know belief languages are reviewed, and both previous work and new insights into their Bayesian interpretations are presented. In
particular, the authors focus on three alternative belief-update models the
certainty factors calculus, Dempster-Shafer simple support functions, and
the descriptive contrast/inertia model. Important "dialectsâ of these
languages are shown to be isomorphic to each other and to a special case of
Bayesian inference. Parts of this analysis were carried out by other authors; these results were extended and consolidated using an analytic technique designed to study the kinship of belief languages in general.Information Systems Working Papers Serie