Support logic programming

This article describes a support logic programming system which uses a theory of support pairs to model various forms of uncertainty. It should find application to designing expert systems and is of a query language type like Prolog. Uncertainty associated with facts and rules is represented by a pair of supports and uses ideas from Zadeh's fuzzy set theory and Shafer's evidence theory. A calculus is derived for such a system and various models of interpretation given. the article provides a form of knowledge representation and inference under uncertainty suitable for expert systems and a closed world assumption is not assumed. Facts not in the knowledge base are uncertain rather than assumed to be false.