Inference planning using digraphs and Boolean arrays
Jan Jantzen · 1989
The study applies digraph techniques to a paper on Boolean array structures in rule bases. The rule base is mapped into a digraph, represented by Boolean matrices. Techniques for computing reachability, and for finding the firing order of rules using level codes are given in the Nested Interactive Array Language (Nial). The digraph approach leads to a number of tests for consistency.