Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji
Ładowanie...
Data
Autorzy
Tytuł czasopisma
ISSN czasopisma
Tytuł tomu
Wydawca
Fundacja Rozwoju Mechatroniki
Abstrakt
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.
Opis
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
Cytowanie
Studia i Materiały Informatyki Stosowanej, 2013, T. 5, nr 12.