Abstract
In molecular resolution refutation, the detection of empty clauses is important. We propose a rolling circle amplification-based detection method for resolution refutation. The rolling circle amplification (RCA) technique is known to be able to distinguish and amplify circular DNA. In this paper, we describe the representation of clauses and the RCA-based detection method. Bio-lab experiments show the basic idea for this method is correct.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Buss, S.R., Pitassi, T.: Resolution and theWeak Pigeonhole Principle. LNCS, vol. 1414, pp. 149–156 (1998)
Dean, F.B., Nelson, J.R., Giesler, T.L., Lasken, R.S.: Rapid Amplificaion of Plasmid and Phage DNA using phi29 DNA Polymerase and Multiply-primed Rolling Circle Amplification. Genome Research 11, 1095–1099 (2001)
Henikoff, S.: Unidirectional Digestion with Exonuclease III Creates Targeted Breakpoints for DNA Sequencing. Gene 28, 351–359 (1984)
Kuhn, H., Demidov, V.V., Frank-Kamenetskii, M.D.: Rolling-circle Amplification under Topological Constraints. Nucleic Acid Research 30(2), 574–580 (2002)
Lee, I.-H., Park, J.-Y., Jang, H.-M., Chai, Y.-G., Zhang, B.-T.: DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic. In: Proceedings of the Eighth International Meeting on DNA Based Computers, pp. 251–260 (2002)
Rogers, S.G., Weiss, B.: Exonuclease III of Escherichia Coli K-12, an AP Endonuclease. Methods in Enzymology 65, 201–211 (1980)
Shin, S.-Y., Kim, D., Lee, I.-H., Zhang, B.-T.: Evolutionary Sequence Generation for Reliable DNA Computing. In: Proceedings of 2002 IEEE World Congress on Evolutionary Computation, pp. 79–84 (2002)
Uejima, H., Hagiya, M., Kobayashi, S.: Horn Clause Computation by Selfassembly of DNA Molecules. In: Proceedings of the Seventh International Meeting on DNA Based Computers, pp. 308–320 (2001)
Wasiewicz, P., Janczak, T., Mulawka, J.J., Plucienniczak, A.: The Inference based on Molecular Computing. International Journal of Cybernetics and Systems 31(3), 283–315 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, IH., Park, J.Y., Chai, YG., Zhang, BT. (2004). RCA-Based Detection Methods for Resolution Refutation. In: Chen, J., Reif, J. (eds) DNA Computing. DNA 2003. Lecture Notes in Computer Science, vol 2943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24628-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-24628-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20930-0
Online ISBN: 978-3-540-24628-2
eBook Packages: Springer Book Archive