Observatorio de I+D+i UPM

Descripción
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.
Internacional	Si
JCR del ISI	Si
Título de la revista	TheScientificWorldJournal
ISSN	1537-744X
Factor de impacto JCR
Información de impacto
Volumen
DOI
Número de revista
Desde la página	1
Hasta la página	11
Mes	SIN MES
Ranking

Esta actividad pertenece a memorias de investigación

• Autor: Petr Sosik . (UPM)

• Creador: Grupo de Investigación: Grupo de Inteligencia Artificial (LIA)
• Departamento: Inteligencia Artificial