Abstract:Algorithms and information processing, fundamental to biological system, are an essential aspect of many elementary physical phenomena, such as molecular self-assembly. Self-assembly system has been proved to be capable of performing many logic operations by the early work. A significant challenge related to the design of molecular information processing systems is to develop a programmable architecture that controls the states of individual molecular events. Here, a novel systematic implementation of logical inference is presented based on DNA tile assembly system. Exploiting the intrinsic programmable capability of molecular interactions, firstly a seed tile configuration is constructed to encode the input information of a logical inference problem, including all facts, all inference rules and their equivalent rules. Then, three tile assembly subsystems are discussed to fulfil the main logical deduction steps. We describe mechanisms for finding the successful solutions among the many parallel assemblies. A whole tile assembly system is established on the base of a seed configuration and three subsystems. This prototype is the first programming language to implement deduction operations based on two-dimensional DNA assembly. It is demonstrated that algorithmic DNA tile assembly system can be treated as an important way to implement logic inference, which will shed light on aspects of applications in the field of artificial intelligence in the future.

Application of DNA Self-Assembly on 0-1 Integer Programming Problem

Solving 0-1 Planning Problem Based on Self-Assembly of DNA Tiles

Application of Dna Self-Assembly on Graph Coloring Problem

Solving The 0-1 Multi-Objective Knapsack Problem Using Self-Assembly Of Dna Tiles

Implementation of the Multidimensional Knapsack Problem Using Self-Assembly of Dna Tiles

Algorithm of Solving the Subset-Product Problem Based on Dna Tile Self-Assembly

Dna Computation Model to Solve 0-1 Programming Problem

Application of Molecular Beacon Chip on 0-1 Integer Programming Problem

A Molecular Computing Model for 0-1 Programming Problem Using Dna Nanoparticles

Graph Computation Using Algorithmic Self-Assembly of DNA Molecules.

Molecular Computations Of The Maximal Clique Problem Using Dna Self-Assembly

Computing Real Numbers using DNA Self-Assembly

A Computing Model Based on DNA Strand Replacement/Fluorescence Labeling for 0-1 Programming

DNA Computing Model of the Integer Linear Programming Problem Based on Molecular Beacon.

The General Form of 0-1 Programming Problem Based on Dna Computing

Implementation of the Timetable Problem Using Self-Assembly of Dna Tiles

3D Dna Self-Assembly Model for Graph Vertex Coloring

Implementing logical inference based on DNA assembly

The Improvement On Algorithm Of Dna Computing On 0-1 Planning Problem

Dna Computing Model Based on Self-Assembled Nanoparticle Probes for Sat Problem

Semi-roboticized DNA computing model of the 0-1 integer programming problem