Forward and Backward Chaining with P Systems

Sergiu Ivanov, Artiom Alhazov, Vladimir Rogojin and Miguel A. Gutiérrez-Naranjo
Additional contact information
Sergiu Ivanov: Academy of Sciences of Moldova and Technical University of Moldova, Moldova
Artiom Alhazov: Academy of Sciences of Moldova, Moldova, and Università degli Studi di Milano-Bicocca, Italy
Vladimir Rogojin: Vladimir Rogojin, Helsinki University, Finland and Academy of Sciences of Moldova, Moldova
Miguel A. Gutiérrez-Naranjo: Academy of Sciences of Moldova, Moldova, and University of Sevilla, Spain

International Journal of Natural Computing Research (IJNCR), 2011, vol. 2, issue 2, 56-66

Abstract: 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.

Date: 2011
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 4018/jncr.2011040105 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jncr00:v:2:y:2011:i:2:p:56-66

Access Statistics for this article

International Journal of Natural Computing Research (IJNCR) is currently edited by Xuewen Xia

More articles in International Journal of Natural Computing Research (IJNCR) from IGI Global
Bibliographic data for series maintained by Journal Editor ().