Abstract
We have designed a simple model that implement the inference rules Modus Ponens and Modus Tollens using DNA. The model is inspired by [1,2], but implemented using DNA strand displacement as a reinterpretation of [3,4]. Our work introduces two main differences from [1]: absence of restriction enzymes, and explicit representation of the logical negation by using a Watson-Crick complementary strand.
Research was partially supported by project BACTOCOM funded by grant from the European Commission, Spanish MICINN under project TIN2009-14421, Comunidad de Madrid and Universidad Politécnica de Madrid.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ran, T., Kaplan, S., Shapiro, E.: Molecular implementation of simple logic programs. Nature Nanotech 4(10), 642–648 (2009)
Benenson, Y., Gil, B., Ben-Dor, U., Adar, R., Shapiro, E.: An autonomous molecular computer for logical control of gene expression. Nature (2004)
Seelig, G., Soloveichik, D., Zhang, D.Y., Winfree, E.: Enzyme-free nucleic acid logic circuits. Science 314(5805), 1585–1588 (2006)
Takahashi, K., Yaegashi, S., Kameda, A., Hagiya, M.: Chain reaction systems based on loop dissociation of DNA. In: Carbone, A., Pierce, N.A. (eds.) DNA 2005. LNCS, vol. 3892, pp. 347–358. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rodríguez-Patón, A., Larrea, J.M., Sainz de Murieta, I. (2010). Inference with DNA Molecules. In: Calude, C.S., Hagiya, M., Morita, K., Rozenberg, G., Timmis, J. (eds) Unconventional Computation. UC 2010. Lecture Notes in Computer Science, vol 6079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13523-1_25
Download citation
DOI: https://doi.org/10.1007/978-3-642-13523-1_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13522-4
Online ISBN: 978-3-642-13523-1
eBook Packages: Computer ScienceComputer Science (R0)