A Prolog simulator for deterministic P systems with active membranes |
| |
Authors: | Andrés Cordón-Franco Miguel A Gutiérrez-Naranjo Mario J Pérez-Jiménez Fernando Sancho-Caparrini |
| |
Affiliation: | (1) Dpto. de Ciencias de la Computación e Inteligencia Artificial E.T.S. Ingeniería Informática, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012 Sevilla, Spain |
| |
Abstract: | In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. This
representation allows us to express the set of rules and the configuration of the P system in each step of the evolution as
literals of an appropriate language of first order logic. We provide a Prolog program to simulate, the evolution of these
P systems and present some auxiliary tools to simulate the evolution of a P system with active membranes using 2-division
which solves the SAT problem following the techniques presented in Reference.10
Andrés Cordón-Franco: He is a member of the Department of Computer Science and Artificial Intelligence at the University of Sevilla (Spain). He
is also a member of the research group on Natural Computing of the University of Seville. His research interest includes Mathematical
Logic, Logic in Computer Science, and Membrane Computing, both from a theoretical and from a practical (software implementation)
point of view.
Miguel A. Gutiérrez-Naranjo: He is an assistant professor in the Computer Science and Artificial Intelligence Department at University of Sevilla, Spain.
He is also a member of the Research Group on Natural Computing of the University of Seville. His research interest includes
Machine Learning, Logic Programming and Membrane Computing, both from a theoretical and a practical point of view.
Mario J. Pérez-Jiménez, Ph.D.: He is professor of Department of Computer Science and Artificial Intelligence at University of Seville, where he is the
head of the Group of Research on Natural Computing, He has published 8 books of Mathematics and Computation, and more than
90 scientific articles in prestigious scientific journals. He is member of European Molecular Computing Consortium.
Fernando Sancho-Caparrini: He is a member of the Department of Computer Science and Artificial Intelligence at the University of Sevilla (Spain). He
is also a member of the research group on Natural Computing of the University of Seville. His research interest includes Complex
Systems, DNA Computing, Logic in Computer Science, and Membrane Computing, both from a theoretical and from a practical point
of view. |
| |
Keywords: | Logic Programming Membrane Computing Simulation Prolog SAT-problem |
本文献已被 SpringerLink 等数据库收录! |
|