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 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)and Miguel A. Gutiérrez-Naranjo (Academy of Sciences of Moldova, Moldova, and University of Sevilla, Spain)
Copyright: 2012
Pages: 10
Source title:
Computer Engineering: Concepts, Methodologies, Tools and Applications
Source Author(s)/Editor(s): Information Resources Management Association (USA)
DOI: 10.4018/978-1-61350-456-7.ch610
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
Preethi, Sapna R., Mohammed Mujeer Ulla.
© 2023.
16 pages.
|
Srividya P..
© 2023.
12 pages.
|
Preeti Sahu.
© 2023.
15 pages.
|
Vandana Niranjan.
© 2023.
23 pages.
|
S. Darwin, E. Fantin Irudaya Raj, M. Appadurai, M. Chithambara Thanu.
© 2023.
33 pages.
|
Shankara Murthy H. M., Niranjana Rai, Ramakrishna N. Hegde.
© 2023.
23 pages.
|
Jothimani K., Bhagya Jyothi K. L..
© 2023.
19 pages.
|
|
|