Implementation of and Experiments with a Variable Precision Logic Inference System

Peter Haddawy

A system capable of performing approximate inferences under time constraints is presented. Censored production rules are used to represent both domain and control information. These are given a probabilistic semantics and reasoning is performed using a scheme based on Dempster-Shafer theory. Examples show the naturalness of the representation and the flexibility of the system. Suggestions for further research are offered.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.