Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji.
DOI:
https://doi.org/10.34767/SIMIS.2013.12.01Słowa kluczowe:
Obliczenia DNA, komputer DNA, logika, wnioskowanie, implikacja, implementacja, reguła kontrapozycjiAbstrakt
Obliczenia DNA (z ang. DNA computing) to nowa dziedzina informatyki, będąca alternatywą dla tradycyjnych systemów komputerowych, polegająca na wykorzystaniu cząsteczek molekularnych do rozwiązywania problemów algorytmicznych, matematycznych i logicznych. Niniejszy artykuł przedstawia istniejące implementacje systemów wnioskowania realizowanych za pomocą DNA oraz nową koncepcję takiego systemu, uwzględniającą nowe elementy: negację i regułę kontrapozycji w implikacji.
Bibliografia
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.
