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...