LOGICAL INFERENCE BASED ON DNA

The potential of DNA as a carrier of genetic information opens the possibility of its application in informatics. First attempts of DNA application to solve some mathematical and biomedical problems, including the Hamiltonian path problem and drug dosing in dependence of the development of a disease, were successfully completed, which stimulated the advent of biomolecular informatics. The idea of DNA computing is, apart from the quantum computing, an alternative to silicon-based computers, which may not be able to face a growing challenge from users in the near future. In its basic form, DNA computing includes a synthesis of DNA oligonucleotides, which correspond to the input and application of a restriction enzyme, for which these DNA fragments are substrates. DNA ligase and other factors may be include in this procedure to refine it. The action of the restriction enzyme on the input DNA molecule and subsequent cleavage and joining reactions led to the production of output DNA molecule, being the solution of the problem. In this paper we discuss the application of these operations to implement a formal logical inferences.