This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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 - JOUR
JO - IEEE Transactions on Knowledge and Data Engineering
TI - Molecular Verification of Rule-Based Systems Based on DNA Computation
IS - 7
SN - 1041-4347
SP965
EP975
EPD - 965-975
A1 - Chung-Wei Yeh,
A1 - Chih-Ping Chu,
PY - 2008
KW - Rule-based processing
KW - Knowledge base verification
KW - Evolutionary computing and genetic algorithms
VL - 20
JA - IEEE Transactions on Knowledge and Data Engineering
ER -
 
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
Usage of this product signifies your acceptance of the Terms of Use.