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.

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

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

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

DNA tile assembly model for 0–1 knapsack problem

DNA Tile Assembly Model for Bin Packing Problem

Solving Vertex Cover Problem Using DNA Tile Assembly Model

Application of DNA Computing by Self-assembly on 0-1 Knapsack Problem

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

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

The Application of DNA Self-Assembly Model for Bin Packing Problem

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

Basic Logical Operations Using Algorithmic Self-Assembly of DNA Molecules

0-1 Integer Programming Based on DNA Tetrahedral Probe

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

Boolean logic computation based on dan tiles self-assembly

An Algorithm in Tile Assembly Model for N Queen Problem

Programmable Dna Tile Self-Assembly Using A Hierarchical Sub-Tile Strategy

Closed circle DNA algorithm of 0-1 planning problem

Implementing logical inference based on DNA assembly

An Algorithm in Tile Assembly Model for Maximum Clique Problem

The Design and Application of Exclusive OR Logical Computation Based on DNA 3-Arm Sub-Tile Self-Assembly