Semantics of deductive databases with spiking neural P systems

Abstract The integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living neurons is a vivid research area in computer science. In the literature, one can find many efforts where different reasoning systems based on different logics are linked to classic artificial neural networks. In this paper, we study the relation between the semantics of reasoning systems based on propositional logic and the connectionist model in the framework of membrane computing, namely, spiking neural P systems. We prove that the fixed point semantics of deductive databases without negation can be implemented in the spiking neural P systems model and such a model can also deal with negation if it is endowed with anti-spikes and annihilation rules.

[1]  Artiom Alhazov,et al.  Matter and Anti-Matter in Membrane Systems , 2014, DCFS.

[2]  Kai-Uwe Kühnberger,et al.  Towards integrated neural–symbolic systems for human-level AI: Two research programs helping to bridge the gaps , 2015, BICA 2015.

[3]  Linqiang Pan,et al.  Spiking neural P systems with request rules , 2016, Neurocomputing.

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

[5]  Mario J. Pérez-Jiménez,et al.  Fuzzy Membrane Computing: Theory and Applications , 2015, Int. J. Comput. Commun. Control.

[6]  Ferrante Neri,et al.  An Optimization Spiking Neural P System for Approximately Solving Combinatorial Optimization Problems , 2014, Int. J. Neural Syst..

[7]  Zhengyou He,et al.  Fault Diagnosis of Electric Power Systems Based on Fuzzy Reasoning Spiking Neural P Systems , 2015, IEEE Transactions on Power Systems.

[8]  Kees Doets,et al.  From logic to logic programming , 1994, Foundations of computing series.

[9]  Linqiang Pan,et al.  Cell-like spiking neural P systems , 2016, Theor. Comput. Sci..

[10]  Kamala Krithivasan,et al.  COMPUTABILITY OF SPIKING NEURAL P SYSTEMS WITH ANTI-SPIKES , 2012 .

[11]  Xiangxiang Zeng,et al.  Spiking neural P systems with anti-spikes and without annihilating priority working in a 'flip-flop' way , 2013, Int. J. Comput. Sci. Math..

[12]  Gheorghe Paun,et al.  Spiking Neural dP Systems , 2011, Fundam. Informaticae.

[13]  Xiangxiang Zeng,et al.  Spiking Neural P Systems with Thresholds , 2014, Neural Computation.

[14]  Henry N. Adorna,et al.  Spiking neural P systems with structural plasticity , 2015, Neural Computing and Applications.

[15]  Henry N. Adorna,et al.  Improving GPU Simulations of Spiking Neural P Systems , 2012 .

[16]  Gheorghe Paun,et al.  Spiking Neural P Systems with Anti-Spikes , 2009, Int. J. Comput. Commun. Control.

[17]  Tao Song,et al.  Small Universal Spiking Neural P Systems with Anti-Spikes , 2013 .

[18]  Artiom Alhazov,et al.  Forward and Backward Chaining with P Systems , 2011, Int. J. Nat. Comput. Res..

[19]  Artiom Alhazov,et al.  Antimatter as a Frontier of Tractability in Membrane Computing , 2014, Fundam. Informaticae.

[20]  Krzysztof R. Apt,et al.  Logic Programming and Negation: A Survey , 1994, The Journal of Logic Programming.

[21]  Miguel A. Gutiérrez-Naranjo,et al.  Deductive databases and P systems , 2004, Comput. Sci. J. Moldova.

[22]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[23]  Artiom Alhazov,et al.  P Systems with Anti-Matter , 2014, Computing with New Resources.