Title :
A graph reduction approach to the validation and verification of production systems
Author :
Plant, Robert ; Murrell, Stephen
Author_Institution :
Dept. of Comput. Sci. & Math., Miami Univ., Coral Gables, FL, USA
Abstract :
The aim of the paper is to discuss a parallel processing approach to the implementation of rule-based systems and the consequences of utilizing a graph reduction approach in relation to the validation and verification of knowledge-based systems
Keywords :
graph theory; knowledge based systems; knowledge verification; parallel processing; graph reduction approach; knowledge-based systems; parallel processing approach; production systems; rule-based systems; validation; verification; Data structures; Delay effects; Fires; Production systems; Redundancy; Shape; Testing; Tree graphs;
Conference_Titel :
Artificial Intelligence for Applications, 1995. Proceedings., 11th Conference on
Conference_Location :
Los Angeles, CA
Print_ISBN :
0-8186-7070-3
DOI :
10.1109/CAIA.1995.378779
