Forward and Backward Chaining with P Systems

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.

[1]  Eleonora Bilotta,et al.  The Discovery of Complex Rules , 2010 .

[2]  Dinesh C. Verma,et al.  Biologically Inspired Networking and Sensing - Algorithms and Architectures , 2012, Biologically Inspired Networking and Sensing.

[3]  Miguel A. Gutiérrez-Naranjo,et al.  Deductive databases and P systems , 2004, Comput. Sci. J. Moldova.

[4]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[5]  Jean-Philippe Rennard,et al.  Handbook of Research on Nature-inspired Computing for Economics and Management , 2006 .

[6]  Terrence P. Fries.  Evolutionary Path Planning for Robot Navigation Under Varying Terrain Conditions , 2009 .

[7]  Erik G. Larsson,et al.  Study on Combined Test-Data Compression and Test Planning for Testing of Modular SoCs , 2010 .

[8]  Heinrich Theodor Vierhaus,et al.  Design and Test Technology for Dependable Systems-on-Chip , 2010 .

[9]  Jason H. Moore,et al.  Solving Complex Problems in Human Genetics using Nature-Inspired Algorithms Requires Strategies which Exploit Domain-Specific Knowledge , 2010, Nature-Inspired Informatics for Intelligent Applications and Knowledge Discovery.

[10]  E. Ebenhoh.  Agent-Based Modelnig with Boundedly Rational Agents , 2007 .

[11]  Shusaku Nomura,et al.  Kansei’s Physiological Measurement and Its Application (2): Estimation of Human States Using PCA and HMM , 2011 .

[12]  Richard Vidgen,et al.  Agile and Lean Service-Oriented Development: Foundations, Theory, and Practice , 2012 .

[13]  Edward Zhou,et al.  India to China – Repurposing Learning Software across Cultures: Positioning an E-Learning Framework of a Technical Library Program for Success , 2012 .

[14]  Marijn Janssen,et al.  Integrating Semantic Web and Software Agents: Exchanging RIF and BDI Rules , 2011, Int. J. Syst. Serv. Oriented Eng..

[15]  Yasuhiro Yamada,et al.  Text Mining for Analysis of Interviews and Questionnaires , 2011 .

[16]  Gheorghe Paun,et al.  The Oxford Handbook of Membrane Computing , 2010 .

[17]  Maqbool Uddin Shaikh,et al.  Effort Estimation Model for each Phase of Software Development Life Cycle , 2011 .

[18]  Hongwei Mo,et al.  Handbook of Research on Artificial Immune Systems and Natural Computing: Applying Complex Adaptive Technologies , 2008 .

[19]  Ivan Bratko,et al.  Prolog Programming for Artificial Intelligence, 4th Edition , 2012 .

[20]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[21]  Basabi Chakraborty,et al.  Kansei Engineering and Soft Computing: Theory and Practice , 2010 .

[22]  Eleonora Bilotta,et al.  Cellular Automata and Complex Systems: Methods for Modeling Biological Phenomena , 2010 .

[23]  Ivan Bratko,et al.  Prolog Programming for Artificial Intelligence , 1986 .

[24]  Artiom Alhazov,et al.  Membrane Computing , 2013, Lecture Notes in Computer Science.

[25]  Paul Shannon,et al.  Improving Lean, Service-Oriented Software Development at Codeweavers Ltd , 2013 .

[26]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .