Elements of Variable Precision Logic Based on Art Inference Corporation

Format:

Conference/Event

Author/Creator:

Jackson, Philip C., author.

Conference Name:

SAE International Congress & Exposition (1987-02-23 : Detroit, Michigan, United States)

Language:

English

Physical Description:

1 online resource

Place of Publication:

Warrendale, PA SAE International 1987

Summary:

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, et ceteraThis 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

Notes:

Vendor supplied data

Publisher Number:

870113

Access Restriction:

Restricted for use by site license