On the validation and verification of production systems: a graph reduction approach.
Stephen MurrellRobert PlantPublished in: Int. J. Hum. Comput. Stud. (1996)
Keyphrases
- production system
- multistage
- production process
- certainty factor
- multiprocessor architecture
- random walk
- graph structure
- graph theory
- markov decision
- control structure
- graph model
- graph representation
- production line
- bipartite graph
- structured data
- production rules
- graph matching
- graph theoretic
- image segmentation
- graph based algorithm
- model checking
- directed acyclic graph
- connected components
- probabilistic inference
- formal verification
- signature verification
- spanning tree
- weighted graph
- verification method
- lot streaming
- directed graph