DocumentCode
289329
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
fYear
1995
fDate
20-23 Feb 1995
Firstpage
140
Lastpage
146
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Artificial Intelligence for Applications, 1995. Proceedings., 11th Conference on
Conference_Location
Los Angeles, CA
Print_ISBN
0-8186-7070-3
Type
conf
DOI
10.1109/CAIA.1995.378779
Filename
378779
Link To Document