Computer Science ›› 2022, Vol. 49 ›› Issue (1): 259-263.doi: 10.11896/jsjkx.210200131

• Artificial Intelligence • Previous Articles     Next Articles

Logical Reasoning Based on DNA Strand Displacement

WU Li-bo, HUANG Yu-fang   

  1. School of Mathematics,Southwest Jiaotong University,Chengdu 611756,China
  • Received:2021-02-21 Revised:2021-04-16 Online:2022-01-15 Published:2022-01-18
  • About author:WU Li-bo,born in 1992,postgraduate.Her main research interests include DNA molecular computing and so on.
    HUANG Yu-fang,born in 1982,lectu-rer.Her main research interests include DNA molecular computing and DNA intelligent nano-system theory.

Abstract: A computational model for logical reasoning is proposed based on DNA strand displacement reactions.Firstly,this way does not rely on fluorescent labeling or other DNA experimental technique.The corresponding relationship between the concentration change of DNA strand and the value of Boolean logic signal is realized by building up a special 0-1 function and using less DNA reaction strands and strand displacement reactions as possible as we can.Then the calculation models of basic logical operations “and” “or” “not” are designed based on DNA strand displacement.Furthermore,the basic logical operations can be combined arbitrarily in use of the cascading property of DNA strand displacement,so as to solve different logical reasoning problems.Finally,the feasible solution of satisfiability problem,which is a special logical reasoning problem,is implemented through the simulation.All the DNA strand displacement reaction processes and the concentration changes of related DNA chains can be simulated by the Visual DSD software.

Key words: Boolean logic signal, DNA strand displacement, Logical reasoning, Visual DSD

CLC Number: 

  • O142
[1]FEYNMAN R P.There's plenty of room at the bottom[J].Eng. Sci.,1960,23:22-36.
[2]ADLEMAN L M.Molecular computation of solutions to combinatorial problems[J].Science,1994,266:1021-1024.
[3]QIAN L L,WINFREE E.A simple DNA gate motif for synthesizing large-scale circuits[J].J R Soc Interface,2011,8(62):1281.
[4]QIAN L L,WINFREE E.Scaling up digital circuit computation with DNA strand displacement cascades[J].Science,2011,332(6034):1196.
[5]QIAN L L,WINFREE E,BRUCK J.Neural network computation with DNA strand displacement cascades[J].Nature,2011,475(7356):368.
[6]LI W,YANG Y,YAN H,et al.Three-input majority logic gate and multiple input logic circuit based on DNA strand displacement[J].Nano Letters,2013,13(6):2980-2988.
[7]WANG Y F,TIAN G H,HOU H W,et al.Simple logic computation based on the DNA strand displacement[J].Journal of Computational and Theoretical Nanoscience,2014,11:1975.
[8]WANG Z C,TIAN G H,WANG Y F,et al.Multidigit logicoperation using DNA strand[J].Communications in Computer and Information Science,2014,472:463.
[9]SONG T Q,GARG S,MOKHTAR R,et al.Analog computation by DNA strand displacement circuits[J].ACS Synth. Biol.,2016,5:898-912.
[10]SONG T Q,GARG S,MOKHTAR R,et al.Design and analysis of compact DNA strand displacement circuits for analog computation using autocatalytic amplifiers[J].ACS Synth. Biol.,2018,7:46-53.
[11]ZHANG C,ZHONG Z W,ZHUANG Y C,et al.DNA computing for combinational logic[J].Scientia Sinica Informationis,2019,49(7):819-837.
[12]LI H,LIU J,GU H Z.Targeting nucleolin to obstruct vasculature feeding with an intelligent DNA nanorobot[J].Journal of Cellular and Molecular Medicine,2019,23(3):2248-2250.
[13]TASCIOTTI E.Smart cancer therapy with DNA origami[J].Nature Biotechnology,2018,36(3):234-235.
[14]CORDEIRO M,OTRELO-CARDOSO A R,SVERGUN D I,et al.Optical and structural characterization of a chronic myeloid leukemia DNA biosensor[J].ACS Chemical Biology,2018,13(5):1235-1242.
[15]HAN Y J,ZHOU Q L,ZHU W J.Survey on DNA-computing Based Methods of Computation Tree Logic Model Checking[J].Computer Science,2019,46(11):25-31.
[16]ZHANG Q,WANG X B,WANG X J,et al.Solving probability reasoning based on DNA strand displacement and probability modules[J].Computational Biology and Chemistry,2017,71:274-279.
[17]ZHOU Q Z,YAN H X,RAN F Y,et al.Ultrasensitive enzyme-free fluorescent detection of VEGF165 based on target-triggered hybridization chain reaction amplification[J].RSC Advances,2018,8(45):25955-25960.
[18]LI Q,LIU Z,ZHOU D H,et al.A cascade toehold-mediatedstrand displacement strategy for label-free and sensitive non-enzymatic recycling amplification detection of the HIV-1 gene[J].Analyst,2019,144(6):2173-2178.
[19]ALFONSO R P,INAKI S M,PETR S.DNA strand displacement system running logic programs[J].BioSystems,2014,11(5):5-12.
[20]ZHANG D Y,SEELIG G.Dynamic DNA nanotechnology using strand-displacement reactions[J].Nat Chem,2011,3:103-113.
[1] XIAO Zhi-hong, HAN Ye-tong, ZOU Yong-pan. Study on Activity Recognition Based on Multi-source Data and Logical Reasoning [J]. Computer Science, 2022, 49(6A): 397-406.
[2] ZHANG Shu-nan, CAO Feng, GUO Qian, QIAN Yu-hua. Logical Reasoning Method Based on Temporal Relation Network [J]. Computer Science, 2021, 48(5): 239-246.
[3] JU An-kang, GUO Yuan-bo, ZHU Tai-ming and WANG Tong. Survey on Network Security Event Correlation Analysis Methods and Tools [J]. Computer Science, 2017, 44(2): 38-45.
[4] . Research on Component Behavior Fragment Extraction and Composition Based on Logical Reasoning [J]. Computer Science, 2012, 39(5): 120-123.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!