Using Directed Hypergraphs to Verify Rule-Based Expert Systems

Rule-based representation techniques have become popular for storage and manipulation of domain knowledge in expert systems. It is important that systems using such a representation are verified fo...