Molecular implementation of simple logic programs
Molecular implementation of simple logic programs
复制标题
DOI：
10.1038/nnano.2009.203
复制
发表时间：
2009-10-01
影响因子：
38.3
通讯作者：
Shapiro, Ehud
中科院分区：
文献类型：
--
作者：
Ran, Tom;Kaplan, Shai;Shapiro, Ehud
由生物分子组成的自主可编程计算设备可以与生物环境相互作用，并在未来的生物和医学应用中使用（1-7）。有限自动机（8,9）和逻辑门（4,10-13）的生物分子实现已经被开发出来（14-18）。在这里，我们报告了一个基于DNA链操纵的自主可编程分子系统，该系统能够执行简单的逻辑推理。使用分子表示的事实，如人（苏格拉底）和规则，如凡人(X) ->人(X)（每个人都是凡人），系统可以回答分子查询，如凡人（苏格拉底）？（苏格拉底是凡人吗？）和凡人(X)（谁是凡人？）这种生物分子计算系统在表达能力、性能和精度方面优于以前的方法（2,4,8,9,11,12,19）。一个编译器将事实、规则和查询转换成它们的分子表示，随后操作一个机器人系统，该系统将逻辑推理组合起来，并传递结果。这个原型是第一个具有分子尺度实现的简单编程语言。
Autonomous programmable computing devices made of biomolecules could interact with a biological environment and be used in future biological and medical applications(1-7).. Biomolecular implementations of finite automata(8,9) and logic gates(4,10-13) have already been developed(14-18). Here, we report an autonomous programmable molecular system based on the manipulation of DNA strands that is capable of performing simple logical deductions. Using molecular representations of facts such as Man(Socrates) and rules such as Mortal(X) -> Man(X) (Every Man is Mortal), the system can answer molecular queries such as Mortal(Socrates)? (is Socrates Mortal?) and Mortal(X) (Who is Mortal?). This biomolecular computing system compares favourably with previous approaches in terms of expressive power, performance and precision(2,4,8,9,11,12,19). A compiler translates facts, rules and queries into their molecular representations and subsequently operates a robotic system that assembles the logical deductions and delivers the result. This prototype is the first simple programming language with a molecular-scale implementation.