Uncertain facts and inexact rules can be represented andprocessed in standard Prolog through meta-interpretation. Thisrequires the specification of appropriate parsers and beliefcalculi. We present a meta-interpreter that takes a rule-basedbelief calculus as an external variable. The...

One of the key challenges in designing expert systems is a credible representationof uncertainty and partial belief. During the past decade, a number ofrule-based belief languages were proposed and implemented in applied systems.Due to their quasi-probabilistic nature, the external validity of...