M.Sc. C.S. Thesis Defense: Ivan Cedric Macababayao (Normal Forms for Spiking Neural P Systems and Some of Its Variants)

May 14, 2021


11 a.m. - 1 p.m.

Zoom Link https://up-edu.zoom.us/j/81429194225

Meeting ID: 814 2919 4225

Meeting Password: 30300333

Spiking Neural P Systems (SN P Systems) are membrane computing systems that are abstracted from the behavior of spiking neurons, or brain cells. These systems take advantage of various mechanisms, such as the ability of neurons to forget, the ability of neurons to create and remove synapses, and many others. Some variants of SN P Systems are (1) SN P Systems with Structural Plasticity, which include the ability to create and delete synapses, and (2) SN P Systems with Rules on Synapses, which associates rules with synapses instead of with neurons.

The main goal of this work is to investigate on how simple the neuron in SN P Systems can be. Specifically, we want to see which features of the neuron can be removed or limited while maintaining the computational completeness of the system. We also want to explore some trade-offs between these features.

This work formulates normal forms for SN P Systems and two of its variants, the SNPSP and RSSNP Systems. We show, among other results, that computational completeness is possible even when using only one type of regular expression in the whole system, a maximum of two rules per neuron for SN P Systems, one rule per neuron for SNPSP Systems, and one rule per synapse for RSSNP Systems.