Molecular verification of rule-based systems based on DNA computation

IEEE Transactions on Knowledge and Data Engineering

Volumn 20, Issue 7, 2008, Pages 965-975

  Yeh, Chung Wei ^a   Chu, Chih Ping ^a  

^a NATIONAL CHENG KUNG UNIVERSITY   (Taiwan)

Author keywords

Dna computing; Rule verification; Rule based system

Indexed keywords

ALGORITHMS; ARCHITECTURAL DESIGN; BOOLEAN FUNCTIONS; COMPUTATIONAL GEOMETRY; COMPUTATIONAL METHODS; DNA; ERRORS; EVOLUTIONARY ALGORITHMS; GENES; INFERENCE ENGINES; INTEGER PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; MICROFLUIDICS; MOLECULES; NUCLEIC ACIDS; NUMERICAL METHODS; ORGANIC ACIDS; SCHEDULING ALGORITHMS; SET THEORY;

DEAD ENDS; DNA BASED COMPUTING; DNA COMPUTATION; DNA STRANDS; GRAPHIC TECHNIQUES; INDIVIDUAL (PSS 544-7); LOGIC RULES; MOLECULAR SOLUTIONS; POSSIBLE RULE; RULE BASE (IF THEN); RULE SET; RULE-BASED SYSTEMS (RBS); SOLUTION SPACES; STRUCTURAL ERRORS; THREE PHASES; TIME COMPLEXITIES; VERIFICATION ALGORITHMS;

ERROR ANALYSIS;

EID: 44649176951     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2007.190743     Document Type: Article

References (18)

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