Title: Syllogistic reasoning by strand algebra

Authors: Mandrita Mondal; Kumar Sankar Ray

Addresses: Electronics and Communication Sciences Unit, Indian Statistical Institute, Satyendra Nath Bose Bhavan, 10th floor, 203, B.T. Road, Kolkata-700108, India ' Electronics and Communication Sciences Unit, Indian Statistical Institute, Satyendra Nath Bose Bhavan, 10th floor, 203, B.T. Road, Kolkata-700108, India

Abstract: In this paper, we introduce DNA strand algebra, which can be defined as a branch of process algebra, for modelling dynamic DNA devices called DNA tweezers whose operation is based on the mechanism of DNA strand displacement. The main components of DNA strand algebra are DNA strands, DNA gates, and their interactions. In this paper we demonstrate a DNA fuelled molecular machine for reasoning with dispositions which is basically a challenging problem to handle commonsense reasoning. Finally, we have designed a successful model based on the syntax and semantics of DNA strand algebra to perform syllogistic reasoning with DNA tweezers.

Keywords: DNA strand algebra; process algebra; dispositions; commonsense reasoning; chaining syllogism; molecular computing; strand displacement; DNA tweezers; dispositional modus ponens; usuality.

DOI: 10.1504/IJBIC.2017.085331

International Journal of Bio-Inspired Computation, 2017 Vol.10 No.1, pp.56 - 66

Accepted: 31 May 2016
Published online: 23 Jul 2017 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article