Title :
A family of cuts for production systems
Author :
Lichtman, Zavdi L. ; Chester, Daniel L.
Author_Institution :
Dept. of Comput. & Inf. Sci., Delaware Univ., Newark, DE, USA
Abstract :
A family of three-cut operations for forward-chaining production systems is defined. These cut operations are specified in terms of their semantics from the expert systems developer point of view and as modifications to the abstract machine underlying forward-chaining systems. Although the presentation utilizes the OPS5 system as a typical forward-chaining system, the definitions are applicable also to other forward-chaining systems. The three-cut operations are cut, supercut, and semantic cut. All three cuts have the potential, if used properly, to increase the efficiency of expert systems implemented as production systems
Keywords :
expert systems; inference mechanisms; OPS5 system; abstract machine; cut; expert systems; forward-chaining; production systems; semantic cut; semantics; supercut; Control systems; Data structures; Expert systems; Pattern matching; Production systems; Testing; Vehicles;
Conference_Titel :
Tools for Artificial Intelligence, 1989. Architectures, Languages and Algorithms, IEEE International Workshop on
Conference_Location :
Fairfax, VA
Print_ISBN :
0-8186-1984-8
DOI :
10.1109/TAI.1989.65341
