About: The Laws of Natural Deduction in Inference by DNA Computer

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: The Laws of Natural Deduction in Inference by DNA Computer Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	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 similar to 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. 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 similar to 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. (en)
Title	The Laws of Natural Deduction in Inference by DNA Computer The Laws of Natural Deduction in Inference by DNA Computer (en)
skos:prefLabel	The Laws of Natural Deduction in Inference by DNA Computer The Laws of Natural Deduction in Inference by DNA Computer (en)
skos:notation	RIV/47813059:19240/14:#0005322!RIV15-MSM-19240___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070)
http://linked.open...iv/cisloPeriodika	art. No. 834237
http://linked.open...vai/riv/dodaniDat	2015
http://linked.open...aciTvurceVysledku	Sosík, Petr
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Slezská univerzita v Opavě / Filozoficko-přírodovědecká fakulta
http://linked.open...dnocenehoVysledku	25783
http://linked.open...ai/riv/idVysledku	RIV/47813059:19240/14:#0005322
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	MOLECULAR COMPUTATION (en)
http://linked.open.../riv/klicoveSlovo	MOLECULAR COMPUTATION
http://linked.open...odStatuVydavatele	US - Spojené státy americké
http://linked.open...ontrolniKodProRIV	[CB8E045B3DA5]
http://linked.open...i/riv/nazevZdroje	Scientific World Journal
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence
http://linked.open...UplatneniVysledku	2014
http://linked.open...v/svazekPeriodika	2014
http://linked.open...iv/tvurceVysledku	Sosík, Petr Rogowski, Lukasz
http://linked.open...ain/vavai/riv/wos	000343543400001
issn	1537-744X
number of pages	10 (xsd:int)
http://localhost/t...ganizacniJednotka	19240

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 75 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software