Logical inference by DNA strand algebra

DOI10.1142/S1793005716500046MaRDI QIDQ4598042zbMATH OpenOpenAlexFDO

Authors Mandrita Mondal, Kumar S. Ray

Publication date 19 December 2017

Published in New Mathematics and Natural Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1506.04923

zbMATH Keywords

DNA computingDNA gateDNA signalDNA strand algebraexpert system approachlogical inferencemodus ponensmolecular computingprocess algebrastrand displacement

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Abstract: Based on the concept of DNA strand displacement and DNA strand algebra we have developed a method for logical inference which is not based on silicon based computing. Essentially, it is a paradigm shift from silicon to carbon. In this paper we have considered the inference mechanism, viz. modus ponens, to draw conclusion from any observed fact. Thus, the present approach to logical inference based on DNA strand algebra is basically an attempt to develop expert system design in the domain of DNA computing. We have illustrated our methodology with respect to worked out example. Our methodology is very flexible for implementation of different expert system applications.

Recommendations

• THE INFERENCE BASED ON MOLECULAR COMPUTING
• Autonomous forward inference via DNA computing
• Probabilistic reasoning with a Bayesian DNA device based on strand displacement
• Autonomous resolution based on DNA strand displacement
• DNA computing: implementation of data flow logical operations

Cites work

• A brief history of process algebra
• Strand Algebras for DNA Computing
• The chemical abstract machine
• Two-domain DNA strand displacement

Cited in

(7)

• Autonomous forward inference via DNA computing
• Probabilistic reasoning with a Bayesian DNA device based on strand displacement
• PROCEDURES FOR LOGIC AND ARITHMETIC OPERATIONS WITH DNA MOLECULES
• Approximate reasoning on a DNA‐chip
• THE INFERENCE BASED ON MOLECULAR COMPUTING
• STRING OPERATIONS SUGGESTED BY DNA BIOCHEMISTRY: THE BALANCED CUT OPERATION
• Probabilistic reasoning with a Bayesian DNA device based on strand displacement

This page was built for publication: Logical inference by DNA strand algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4598042)