Solving SAT in Linear Time with a Neural-Like Membrane System

A neural net based development of multi-adjoint logic programming is presented. Transformation rules carry programs into neural networks, where truth-values of rules relate to output of neurons, truth-values of facts represent input, and network functions are determined by a set of general operators; the output of the net being the values of propositional variables under its minimal model. Some experimental results are reported.

[1]  Enrique Mérida Casermeiro,et al.  An Efficient Multivalued Hopfield Network for the Traveling Salesman Problem , 2001, Neural Processing Letters.

[2]  J. van Leeuwen,et al.  Multiset Processing , 2001, Lecture Notes in Computer Science.

[3]  J.,et al.  Using DNA to Solve NP-Complete ProblemsRichard , 1995 .

[4]  R J Lipton,et al.  DNA solution of hard computational problems. , 1995, Science.

[5]  Harvey Rubin.  The Touchstone of Life: Molecular Information, Cell Communication, and the Foundations of Life , 1999, Annals of Internal Medicine.

[6]  S C Kleene,et al.  Representation of Events in Nerve Nets and Finite Automata , 1951 .

[7]  Frank Klawonn,et al.  Neural fuzzy logic programming , 1992, IEEE Trans. Neural Networks.

[8]  Pascal Fradet,et al.  Gamma and the Chemical Reaction Model: Fifteen Years After , 2000, WMP.

[9]  Steffen Hölldobler,et al.  Approximating the Semantics of Logic Programs by Recurrent Neural Networks , 1999, Applied Intelligence.

[10]  Manuel Ojeda-Aciego,et al.  A Multi-adjoint Logic Approach to Abductive Reasoning , 2001, ICLP.

[11]  Victor Mitrana,et al.  Parallel Finite Automata Systems Communicating by States , 2002, Int. J. Found. Comput. Sci..

[12]  Alfonso Rodríguez-Patón,et al.  Tissue P systems , 2003, Theor. Comput. Sci..

[13]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[14]  Lokendra Shastri,et al.  Connectionist symbol processing : dead or alive ? , 1999 .

[15]  N. Blackstone.  Essential Cell Biology: An Introduction to the Molecular Biology of the Cell.Bruce Alberts , Dennis Bray , Alexander Johnson , Julian Lewis , Martin Raff , Keith Roberts , Peter Walter , 1998 .

[16]  Ferenc Gécseg,et al.  Products of Automata , 1986, EATCS Monographs in Theoretical Computer Science.

[17]  W S McCulloch,et al.  A logical calculus of the ideas immanent in nervous activity , 1990, The Philosophy of Artificial Intelligence.

[18]  Manuel Ojeda-Aciego,et al.  Multi-adjoint Logic Programming with Continuous Semantics , 2001, LPNMR.

[19]  Automata Networks , 1986, Lecture Notes in Computer Science.

[20]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..