Publication 2008 Issue No. 7 - July Abstract - Molecular Verification of Rule-Based Systems Based on DNA Computation
Molecular Verification of Rule-Based Systems Based on DNA Computation
July 2008 (vol. 20 no. 7)
pp. 965-975
 ASCII Text x Chung-Wei Yeh, Chih-Ping Chu, "Molecular Verification of Rule-Based Systems Based on DNA Computation," IEEE Transactions on Knowledge and Data Engineering, vol. 20, no. 7, pp. 965-975, July, 2008.
 BibTex x @article{ 10.1109/TKDE.2007.190743,author = {Chung-Wei Yeh and Chih-Ping Chu},title = {Molecular Verification of Rule-Based Systems Based on DNA Computation},journal ={IEEE Transactions on Knowledge and Data Engineering},volume = {20},number = {7},issn = {1041-4347},year = {2008},pages = {965-975},doi = {http://doi.ieeecomputersociety.org/10.1109/TKDE.2007.190743},publisher = {IEEE Computer Society},address = {Los Alamitos, CA, USA},}
 RefWorks Procite/RefMan/Endnote x TY - JOURJO - IEEE Transactions on Knowledge and Data EngineeringTI - Molecular Verification of Rule-Based Systems Based on DNA ComputationIS - 7SN - 1041-4347SP965EP975EPD - 965-975A1 - Chung-Wei Yeh, A1 - Chih-Ping Chu, PY - 2008KW - Rule-based processingKW - Knowledge base verificationKW - Evolutionary computing and genetic algorithmsVL - 20JA - IEEE Transactions on Knowledge and Data EngineeringER -
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.

[1] D.L. Nazareth, “Investigating the Applicability of Petri Nets for Rule-Based System Verification,” IEEE Trans. Knowledge and Data Eng., vol. 5, no. 3, pp. 402-415, June 1993.
[2] D.L. Nazareth and M.H. Kennedy, “Verification of Rule-Based Knowledge Using Directed Graphs,” Knowledge Acquisition, vol. 3, pp. 339-360, 1991.
[3] G.S. Gursaran, S. Kanungo, and A.K. Sinha, “Rule-Base Content Verification Using a Digraph-Based Modeling Approach,” Artificial Intelligence Eng., vol. 13, pp. 321-336, 1999.
[4] G. Valiente, “Verification of Knowledge Based Redundancy and Subsumption Using Graph Transformations,” Int'l J. Expert Systems, vol. 6, no. 3, pp. 341-355, 1993.
[5] M. Ramaswamy, S. Sarkar, and Y.S. Chen, “Using Directed Hypergraphs to Verify Rule-Based Expert Systems,” IEEE Trans. Knowledge and Data Eng., vol. 9, no. 2, pp. 221-236, Mar.-Apr. 1997.
[6] S.J.H. Yang, J.P. Tsai, and C.C. Chen, “Fuzzy Rule Base Systems Verification Using High-Level Petri Nets,” IEEE Trans. Knowledge and Data Eng., vol. 15, no. 2, pp. 457-473, Mar./Apr. 2003.
[7] X. He, W.C. Chu, and H. Yang, “A New Approach to Verify Rule-Based Systems Using Petri Nets,” Information and Software Technology, vol. 45, pp. 663-669, 2003.
[8] L.M. Adleman, “Molecular Computation of Solutions to Combinatorial Problems,” Science, vol. 266, pp. 1021-1024, 1994.
[9] W.-L. Chang and M. Guo, “Molecular Solutions for the Subset-Sum Problem on DNA-Based Supercomputing,” BioSystems, vol. 73, pp. 117-130, 2004.
[10] M. Amos, Theoretical and Experimental DNA Computation. Springer, 2004.
[11] R.S. Braich, C. Johnson, P.W.K. Rothemund, D. Hwang, N. Chelyapov, and L.M. Adleman, “Solution of a Satisfiability Problem on a Gel-Based DNA Computer,” Proc. Sixth Int'l Workshop DNA-Based Computers: DNA Computing, 1999.
[12] G. Paun, G. Rozenberg, and A. Salomaa, DNA Computing: New Computing Paradigms. Springer-Verlag, 1998.
[13] R.P. Feynman and D. Gilbert, “There's Plenty of Room at the Bottom,” Eng. and Science Magazine, vol. 23, no. 5, 1960.
[14] Q. Liu, Z. Guo, A.E. Condon, R.M. Corn, M.G. Lagally, and L.M. Smith, “A Surface-Based Approach to DNA Computation,” Proc. Second Ann. DIMACS Workshop DNA-Based Computers, 1996.
[15] B. Fu, R. Beigel, and F.X. Zhou, “An $\tilde{\rm O}(2^{\rm n})$ Volume Molecular Algorithm for Hamiltonian Path,” Biosystems, vol. 52, pp. 217-226, 1999.
[16] S. Roweis, E. Winfree, R. Burgoyne, N.V. Chelyapov, M.F. Goodman, P.W.K. Rothemund, and L.M. Adleman, “A Sticker-Based Model for DNA Computing,” J. Computational Biology, vol. 5, no. 4, pp. 615-629, 1998.
[17] R.J. Lipton, “DNA Solution of Hard Computational Problems,” Science, vol. 268, pp. 542-545, 1995.
[18] T.A. Nguyen, W.A. Perkins, T.J. Laffey, and D. Pecora, “Knowledge Base Verification,” AI Magazine, vol. 8, no. 2, pp. 69-75, 1987.

Index Terms:
Rule-based processing, Knowledge base verification, Evolutionary computing and genetic algorithms
Citation:
Chung-Wei Yeh, Chih-Ping Chu, "Molecular Verification of Rule-Based Systems Based on DNA Computation," IEEE Transactions on Knowledge and Data Engineering, vol. 20, no. 7, pp. 965-975, July 2008, doi:10.1109/TKDE.2007.190743