Issue No. 07 - July (2008 vol. 20)

ISSN: 1041-4347

pp: 965-975

ABSTRACT

Various graphic techniques have been developed to analyze structural errors in rule-based systems that utilize inference (propositional) logic rules. Four typical errors in rule-based systems are: redundancy (numerous rule sets resulting in the same conclusion); circularity (a rule leading back to itself); incompleteness (deadends or a rule set conclusion leading to unreachable goals); and inconsistency (rules conflicting with each other). This study presents a new DNA-based computing algorithm mainly based upon Adleman's DNA operations. It can be used to detect such errors. There are three phases to this molecular solution: rule-to-DNA transformation design, solution space generation, and rule verification. We first encode individual rules using relatively short DNA strands, and then generate all possible rule paths by the directed joining of such short strands to form longer strands. We then conduct the verification algorithm to detect errors. The potential of applying this proposed DNA computation algorithm to rule verification is promising given the operational time complexity of O(n*q), in which n denotes the number of fact clauses in the rule base and q is the number of rules with longest inference chain.

INDEX TERMS

Rule-based processing, Knowledge base verification, Evolutionary computing and genetic algorithms

CITATION

Chih-Ping Chu, Chung-Wei Yeh, "Molecular Verification of Rule-Based Systems Based on DNA Computation",

*IEEE Transactions on Knowledge & Data Engineering*, vol. 20, no. , pp. 965-975, July 2008, doi:10.1109/TKDE.2007.190743