Repositorio de producción científica de la Universidad de Sevilla

Semantics of deductive databases with spiking neural P systems


Advanced Search
Acceso restringido Semantics of deductive databases with spiking neural P systems

Show item statistics
Export to
Author: Díaz Pernil, Daniel
Gutiérrez Naranjo, Miguel Ángel
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII)
Date: 2018
Published in: Neurocomputing, 272 (January), 365-373.
Document type: Article
Abstract: The integration of symbolic reasoning systems based on logic and connectionist systems based on thefunctioning of living neurons is a vivid research area in computer science. In the literature, one can findmany efforts where different reasoning systems based on different logics are linked to classic artificialneural networks. In this paper, we study the relation between the semantics of reasoning systems basedon 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 nega- tion can be implemented in the spiking neural P systems model and such a model can also deal withnegation if it is endowed with anti-spikes and annihilation rules.
Cite: Díaz Pernil, D. y Gutiérrez Naranjo, M.Á. (2018). Semantics of deductive databases with spiking neural P systems. Neurocomputing, 272 (January), 365-373.
Size: 996.5Kb
Format: PDF
xmlui.item.no_texto_completo  until  2020-01-10.  For more information contact


DOI: 10.1016/j.neucom.2017.07.007

See editor´s version

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)