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.
Istotą rozważań jest wykorzystanie odpowiedniej formalizacji logiki - formalizacji odrzuceniowej wyrażeń i automatycznego dowodzenia twierdzeń w teoriach nadbudowanych nad n-wartościowymi rachunkami predykatów. Badania nad aksjomatycznym odrzucaniem zostały zapoczątkowane przez Łukasiewicza i kontynuowane wspólnie przez Słupeckiego, Brylla, Wybraniec-Skardowską, Maducha, a ostatnio Skurę. Badania nad naturalnym odrzucaniem ściśle związanym z metodą tablic semantycznych podjął ostatnio Bryll. Zbiór tautologii rachunku predykatów jest zbiorem nierozstrzygalnym, więc mechanizacja procesów jest taka, że dla każdego opracowanego algorytmu będzie istniała formuła, dla której ten algorytm dowodu nie znajdzie. Inaczej mówiąc, jeżeli dana formuła należy do konsekwencji matrycowej, to algorytm znajdzie dowód formuły w oparciu o zbiór X jako założeń w skończonej liczbie kroków.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.