Partial Knowledge in Membrane Systems: A Logical Approach

We propose a logic for specifying and proving properties of membrane systems. The main idea is to approach a membrane system by using the “point of view” of an external observer. Observers (as epistemic agents) accumulate their knowledge from the partial information they collect by observing subparts of the system and by applying logical reasoning to this information. We provide a formal framework to combine and interpret distributed knowledge in order to recover the complete knowledge about a membrane system. The proposed logic can be used to model biological situations where information concerning parts of the biological system is missing or incomplete.

[1]  Luca Cardelli,et al.  Anytime, anywhere: modal logics for mobile ambients , 2000, POPL '00.

[2]  Corrado Priami,et al.  Decidable Extensions of Hennessy-Milner Logic , 2006, FORTE.

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

[4]  Vincent Danos,et al.  Reversible Communicating Systems , 2004, CONCUR.

[5]  J. Davies,et al.  Molecular Biology of the Cell , 1983, Bristol Medico-Chirurgical Journal.

[6]  Luca Cardelli,et al.  A spatial logic for concurrency (part I) , 2003, Inf. Comput..

[7]  Peter Leupold,et al.  Evolution and Observation: A New Way to Look at Membrane Systems , 2003, Workshop on Membrane Computing.

[8]  Luca Cardelli,et al.  Equational Properties Of Mobile Ambients , 2003, Math. Struct. Comput. Sci..

[9]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[10]  Luís Caires,et al.  Elimination of quantifiers and undecidability in spatial logics for concurrency , 2006, Theor. Comput. Sci..

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

[12]  Corrado Priami,et al.  Model checking Dynamic Epistemic Spatial Logics ∗ , 2006 .

[13]  Luca Cardelli,et al.  A Spatial Logic for Concurrency (Part II) , 2002, CONCUR.

[14]  Corrado Priami,et al.  Dynamic-Epistemic Spatial Logic , 2006 .

[15]  Robin Milner,et al.  Algebraic laws for nondeterminism and concurrency , 1985, JACM.

[16]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[17]  Kousha Etessami,et al.  A Hierarchy of Polynomial-Time Computable Simulations for Automata , 2002, CONCUR.

[18]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[19]  Allan Clark,et al.  Semantic-Based Development of Service-Oriented Systems , 2006, FORTE.