Logical deduction with DNA. The rule of contraposition
DOI:
https://doi.org/10.34767/SIMIS.2013.12.01Keywords:
DNA computing, computer DNA, logic, deduction, implication, implementation, rule of contraposition.Abstract
DNA computing is one of new computational paradigms which are alternative to traditional computer systems. Biological molecules in special laboratory conditions can be used to solve mathematical, logical and algorithmic purposes. This paper describes some already existing models of logical inference systems and the new proposal – DNA deduction system using new elements: negation and rule of contraposition.
References
ADLEMAN L. Molecular computation of solutions to combinatorial problems. Science 1994; 226: 1021-1024.
LIPTON R. DNA solution of hard computational problems. Science 1995; 268: 542-545.
BENENSON Y, PAZ-ELIZUR T, ADAR R, KEINAN E, LIVNEH Z, SHAPIRO E. Programmable and autonomous computing machine made of biomolecules. Nature 2001; 414: 430-434.
BENENSON Y, ADAR R, PAZ-ELIZUR T, LIVNEH Z, SHAPIRO E. DNA molecule provides a computing machine with both data and fuel. PNAS 2003; 100: 2191-2196.
UNOLD O, TROĆ M. Biomolekularne modele obliczeniowe. Inżynieria Komputerowa 2005; 73-85.
RAN T, KAPLAN S, SHAPIRO E. Molecular implementation of simple logic program. Nature Nanotechnology 2009; 203(2): 1-7.
PAUN G, ROZENBERG G, SALOMAA A. DNA Computing. New Computing Paradigms. Springer-Verlag 1999.
KRASIŃSKI T, SAKOWSKI S. Przegląd modeli i praktycznych implementacji DNA obliczeń. Studia Informatica 2008; 29: 5-31.
ROGOWSKI Ł. Implementacje systemów logicznych za pomocą DNA – koncepcje i pomysły rozbudowy. WMiI Preprint (Wydział Matematyki i Informatyki.
