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.},
}
Powered by bibtexbrowser