Forward and Backward Chaining with P Systems

TitleForward and Backward Chaining with P Systems
Publication TypeJournal Papers
Year of Publication2011
AuthorsIvanov, S., Alhazov A., Rogojin V., & Gutiérrez-Naranjo M. A.
Journal TitleInternational Journal of Natural Computing Research
PublisherIGI Global
Place PublishedHershey, Pennsylvania (USA)

One of the concepts that lie at the basis of membrane computing is the multiset rewriting rule. On the other hand, the paradigm of rules is profusely used in computer science for representing and dealing with knowledge. Therefore, establishing a “bridge” between these domains is important, for instance, by designing P systems reproducing the modus ponens-based forward and backward chaining that can be used as tools for reasoning in propositional logic. In this paper, the authors show how powerful and intuitive the formalism of membrane computing is and how it can be used to represent concepts and notions from unrelated areas.

ISSN Number1947-928X