A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents

We study a modelling framework and computational paradigm called Colonies of Synchronizing Agents (CSAs), which abstracts intracellular and intercellular mechanisms of biological tissues. The model is based on a multiset of agents (cells) in a common environment (a tissue). Each agent has a local contents, stored in the form of a multiset of atomic objects (e.g., representing molecules), updated by multiset rewriting rules which may act on individual agents (intracellular action) or synchronize the contents of pairs of agents (intercellular action). In this paper we investigate dynamic properties of CSAs, by means of temporal logic, and we give a logical characterization of some notions inspired by biology such as robustness, mutants and species. We reveal the relation that exists between the concept of robustness for CSAs and the bisimulation relation on colonies. We also present some decidability results for particular cases of robustness.

[1]  Gheorghe Paun,et al.  Robustness of decentralized knowledge systems: a grammar-theoretic view , 2000, J. Exp. Theor. Artif. Intell..

[2]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[3]  Gheorghe Paun,et al.  Regulated Rewriting in Formal Language Theory , 1989 .

[4]  Gheorghe Paun,et al.  Introduction to Membrane Computing , 2006, Applications of Membrane Computing.

[5]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[6]  J. van Benthem,et al.  Temporal logic , 1995 .

[7]  Sean Sedwards,et al.  Colonies of Synchronizing Agents , 2007 .

[8]  Mordechai Ben-Ari,et al.  The temporal logic of branching time , 1981, POPL '81.

[9]  Marian Gheorghe,et al.  Population P Systems , 2004, J. Univers. Comput. Sci..

[10]  Rudolf Freund,et al.  Matrix Languages, Register Machines, Vector Addition Systems , 2005 .

[11]  Sheila A. Greibach.  Remarks on Blind and Partially Blind One-Way Multicounter Machines , 1978, Theor. Comput. Sci..

[12]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.

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

[14]  Sean Sedwards,et al.  A multiset-based model of synchronizing agents: Computability and robustness , 2008, Theor. Comput. Sci..

[15]  Grzegorz Rozenberg,et al.  Multiset-Based Self-Assembly of Graphs , 2007, Fundam. Informaticae.

[16]  Stephen Wolfram,et al.  A New Kind of Science , 2003, Artificial Life.