Warning: strtotime(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /var/www/html/www_publications/index.php on line 342

Warning: Cannot modify header information - headers already sent by (output started at /var/www/html/www_publications/index.php:342) in /var/www/html/www_publications/index.php on line 4076
Forward and Backward Chaining with P Systems (bibtex)
Forward and Backward Chaining with P Systems (bibtex)
by Ivanov, Sergiu, Alhazov, Artiom, Rogojin, Vladimir and Gutierrez-Naranjo, Miguel A.
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.
Reference:
Forward and Backward Chaining with P Systems (Ivanov, Sergiu, Alhazov, Artiom, Rogojin, Vladimir and Gutierrez-Naranjo, Miguel A.), In IJNCR, volume 2, 2011.
Bibtex Entry:
@Article{j710,
author   = {Ivanov, Sergiu AND Alhazov, Artiom AND Rogojin, Vladimir AND Gutierrez-Naranjo, Miguel A.},
title    = {Forward and Backward Chaining with P Systems},
journal  = {IJNCR},
year     = {2011},
volume   = {2},
number   = {2},
pages    = {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.},
}