Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji

• Autorzy: Rogowski Ł.

Warianty tytułu

EN

Logical deduction with DNA. The rule of contraposition

• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

obliczenia DNA; komputer DNA; logika; wnioskowanie; implikacja; implementacja; reguła kontrapozycji

EN

DNA computing; computer DNA; logic; deduction; implication; implementation; rule of contraposition

• Wydawca: Instytut Informatyki Uniwersytet Kazimierza Wielkiego
• Czasopismo: Studia i Materiały Informatyki Stosowanej
• Rocznik: 2013
• Tom: nr 12
• Strony: 11--18
• Opis fizyczny: Bibliogr. 9 poz., rys.

Twórcy

autor

Rogowski Ł.

• Uniwersytet Łódzki Wydział Matematyki i Informatyki ul. Banacha 22/ p.A227, 90-238 Łódź

Bibliografia

• 1. ADLEMAN L. Molecular computation of solutions tocombinatorial problems. Science 1994; 226: 1021-1024.
• 2. LIPTON R. DNA solution of hard computational problems. Science 1995; 268: 542-545.
• 3. 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.
• 4. 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.
• 5. UNOLD O, TROĆ M. Biomolekularne modele obliczeniowe. Inżynieria Komputerowa 2005; 73-85.
• 6. RAN T, KAPLAN S, SHAPIRO E. Molecular implementation of simple logic program. Nature Nanotechnology 2009; 203(2): 1-7.
• 7. PAUN G, ROZENBERG G, SALOMAA A. DNA Computing. New Computing Paradigms. Springer-Verlag 1999.
• 8. KRASIŃSKI T, SAKOWSKI S. Przegląd modeli i praktycznych implementacji DNA obliczeń. Studia Informatica 2008; 29: 5-31.
• 9. ROGOWSKI Ł. Implementacje systemów logicznych za pomocą DNA – koncepcje i pomysły rozbudowy. WMiI Preprint (Wydział Matematyki i Informatyki).

Uwagi

Numeracja artykułu PDF jest inna niż numeracja na stronie wydawcy.