The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Forward and Backward Chaining with P Systems
|
|
Author(s): Sergiu Ivanov (Academy of Sciences of Moldova, Moldova & Technical University of Moldova, Moldova), Artiom Alhazov (Academy of Sciences of Moldova, Moldova & Università degli Studi di Milano-Bicocca, Italy), Vladimir Rogojin (Helsinki University, Finland & Academy of Sciences of Moldova, Moldova)and Miguel A. Gutiérrez-Naranjo (Academy of Sciences of Moldova, Moldova & University of Sevilla, Spain)
Copyright: 2014
Pages: 10
Source title:
Natural Computing for Simulation and Knowledge Discovery
Source Author(s)/Editor(s): Leandro Nunes de Castro (Mackenzie University, Brazil)
DOI: 10.4018/978-1-4666-4253-9.ch009
Purchase
|
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.
Related Content
|
S. Karthigai Selvi, Sharmistha Dey, Siva Shankar Ramasamy, Krishan Veer Singh.
© 2025.
16 pages.
|
|
S. Sheeba Rani, M. Mohammed Yassen, Srivignesh Sadhasivam, Sharath Kumar Jaganathan.
© 2025.
22 pages.
|
|
U. Vignesh, K. Gokul Ram, Abdulkareem Sh. Mahdi Al-Obaidi.
© 2025.
22 pages.
|
|
Monica Bhutani, Monica Gupta, Ayushi Jain, Nishant Rajoriya, Gitika Singh.
© 2025.
24 pages.
|
|
U. Vignesh, Arpan Singh Parihar.
© 2025.
34 pages.
|
|
Sharmistha Dey, Krishan Veer Singh.
© 2025.
20 pages.
|
|
Kalpana Devi.
© 2025.
26 pages.
|
|
|