A directed hypergraph-based algorithm for detecting redundancy and circularity in rule base
MA Qin-yi · Dalian Ligong Daxue xuebao · 2008
When the scale of rule base grows with the update of knowledge,maintenance of rule base becomes more and more important.Redundancy and circularity are key problems which lower efficacy of rule base.For rule base which contains compound rules,a representation based on directed hypergraph is established,then its adjacency matrix and reachability matrix are defined and computation of reachability matrix is derived.Furthermore,redundancy and circularity detection algorithm is constructed.Compared with other existing algorithm based on graphs,new algorithm is more efficient since its graph is concise and adjoint matrices are small-scale.The algorithm is validated by practical examples.