-
Je něco špatně v tomto záznamu ?
The laws of natural deduction in inference by DNA computer
L. Rogowski, P. Sosík,
Jazyk angličtina Země Spojené státy americké
Typ dokumentu časopisecké články, práce podpořená grantem
Free Medical Journals od 2000
Hindawi Publishing Open Access od 2000-01-01
PubMed Central od 2000
Europe PubMed Central od 2000
ProQuest Central od 2012-01-01
Open Access Digital Library od 2001-01-01
Open Access Digital Library od 2011-01-01
Open Access Digital Library od 2012-01-03
Medline Complete (EBSCOhost) od 2012-01-01
Health & Medicine (ProQuest) od 2012-01-01
ROAD: Directory of Open Access Scholarly Resources od 2001
Odkazy
PubMed
25133261
DOI
10.1155/2014/834237
Knihovny.cz E-zdroje
- MeSH
- algoritmy * MeSH
- DNA chemie genetika MeSH
- logika * MeSH
- molekulární počítače * MeSH
- restrikční enzymy metabolismus MeSH
- Publikační typ
- časopisecké články MeSH
- práce podpořená grantem MeSH
We present a DNA-based implementation of reaction system with molecules encoding elements of the propositional logic, that is, propositions and formulas. The protocol can perform inference steps using, for example, modus ponens and modus tollens rules and de Morgan's laws. The set of the implemented operations allows for inference of formulas using the laws of natural deduction. The system can also detect whether a certain proposition a can be deduced from the basic facts and given rules. The whole protocol is fully autonomous; that is, after introducing the initial set of molecules, no human assistance is needed. Only one restriction enzyme is used throughout the inference process. Unlike some other similar implementations, our improved design allows representing simultaneously a fact a and its negation ~a, including special reactions to detect the inconsistency, that is, a simultaneous occurrence of a fact and its negation. An analysis of correctness, completeness, and complexity is included.
- 000
- 00000naa a2200000 a 4500
- 001
- bmc15023122
- 003
- CZ-PrNML
- 005
- 20150709122745.0
- 007
- ta
- 008
- 150709s2014 xxu f 000 0|eng||
- 009
- AR
- 024 7_
- $a 10.1155/2014/834237 $2 doi
- 035 __
- $a (PubMed)25133261
- 040 __
- $a ABA008 $b cze $d ABA008 $e AACR2
- 041 0_
- $a eng
- 044 __
- $a xxu
- 100 1_
- $a Rogowski, Lukasz $u Research Institute of the IT4Innovations Centre of Excellence, Faculty of Philosophy and Science, Silesian University in Opava, 74601 Opava, Czech Republic ; Department of Math and Computer Science, University of Lodz, 90238 Łódź, Poland.
- 245 14
- $a The laws of natural deduction in inference by DNA computer / $c L. Rogowski, P. Sosík,
- 520 9_
- $a We present a DNA-based implementation of reaction system with molecules encoding elements of the propositional logic, that is, propositions and formulas. The protocol can perform inference steps using, for example, modus ponens and modus tollens rules and de Morgan's laws. The set of the implemented operations allows for inference of formulas using the laws of natural deduction. The system can also detect whether a certain proposition a can be deduced from the basic facts and given rules. The whole protocol is fully autonomous; that is, after introducing the initial set of molecules, no human assistance is needed. Only one restriction enzyme is used throughout the inference process. Unlike some other similar implementations, our improved design allows representing simultaneously a fact a and its negation ~a, including special reactions to detect the inconsistency, that is, a simultaneous occurrence of a fact and its negation. An analysis of correctness, completeness, and complexity is included.
- 650 12
- $a algoritmy $7 D000465
- 650 12
- $a molekulární počítače $7 D039301
- 650 _2
- $a DNA $x chemie $x genetika $7 D004247
- 650 _2
- $a restrikční enzymy $x metabolismus $7 D004262
- 650 12
- $a logika $7 D008128
- 655 _2
- $a časopisecké články $7 D016428
- 655 _2
- $a práce podpořená grantem $7 D013485
- 700 1_
- $a Sosík, Petr $u Research Institute of the IT4Innovations Centre of Excellence, Faculty of Philosophy and Science, Silesian University in Opava, 74601 Opava, Czech Republic.
- 773 0_
- $w MED00181094 $t TheScientificWorldJournal $x 1537-744X $g Roč. 2014, č. - (2014), s. 834237
- 856 41
- $u https://pubmed.ncbi.nlm.nih.gov/25133261 $y Pubmed
- 910 __
- $a ABA008 $b sig $c sign $y a $z 0
- 990 __
- $a 20150709 $b ABA008
- 991 __
- $a 20150709122804 $b ABA008
- 999 __
- $a ok $b bmc $g 1083460 $s 906115
- BAS __
- $a 3
- BAS __
- $a PreBMC
- BMC __
- $a 2014 $b 2014 $c - $d 834237 $i 1537-744X $m TheScientificWorldJournal $n ScientificWorldJournal $x MED00181094
- LZP __
- $a Pubmed-20150709