This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Elements of Variable Precision Logic Based on Art
Annotation ability available
Sector:
Language:
English
Abstract
Variable precision logic (VPL) is a formalism for reasoning with uncertain information, in situations where resources constrain the amount of Reasoning which can take place. The conclusions developed using VPL may vary in certainty according to the computational resources that are made available. [2] Thus, VPL appears to have many potential applications, in areas such as diagnosis, classification, real-time control, etc.
This paper describes implementation methods for erabedding certain elements of VPL on top of ART, the Automated Reasoning Tool expert systems language developed by Inference Corporation. [3] ART provides a variety of flexible constructs for expert systems programming, so that alternative systems for managing uncertainty can be implemented on top of ART. The elements of VPL discussed in this paper include certainties of facts and rules, censored rules, and time resource constraints on logical derivations.
Authors
Topic
Citation
Jackson, P., "Elements of Variable Precision Logic Based on Art," SAE Technical Paper 870113, 1987, https://doi.org/10.4271/870113.Also In
References
- Haddawy, P. “Implementation of and experiments with a variable precision logic inference system” Proceedings of AAAI 1986 238 242
- Michalski, R. S. Winston, P. H. “Variable precision logic” Artificial Intelligence 29 2 1986 121 146
- ART Reference Manual Inference Corporation Los Angeles 1986