Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10884605 | Biosystems | 2012 | 14 Pages |
Abstract
Despite the many designs of devices operating with the DNA strand displacement, surprisingly none is explicitly devoted to the implementation of logical deductions. The present article introduces a new model of biosensor device that uses nucleic acid strands to encode simple rules such as “IF DNAÂ _Â strand1 is present THEN diseaseA” or “IF DNAÂ _Â strand1 AND DNAÂ _Â strand2 are present THEN diseaseB”. Taking advantage of the strand displacement operation, our model makes these simple rules interact with input signals (either DNA or any type of RNA) to generate an output signal (in the form of nucleotide strands). This output signal represents a diagnosis, which either can be measured using FRET techniques, cascaded as the input of another logical deduction with different rules, or even be a drug that is administered in response to a set of symptoms. The encoding introduces an implicit error cancellation mechanism, which increases the system scalability enabling longer inference cascades with a bounded and controllable signal-noise relation. It also allows the same rule to be used in forward inference or backward inference, providing the option of validly outputting negated propositions (e.g. “diagnosis A excluded”). The models presented in this paper can be used to implement smart logical DNA devices that perform genetic diagnosis in vitro.
Related Topics
Physical Sciences and Engineering
Mathematics
Modelling and Simulation
Authors
Iñaki Sainz de Murieta, Alfonso RodrÃguez-Patón,