Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 4th edn. Garland Publishing, Inc. (2002)
Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I). Information and Computation 186(2) (2003)
Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part II). In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, p. 209. Springer, Heidelberg (2002)
Caires, L., Lozes, É.: Elimination of Quantifiers and Decidability in Spatial Logics for Concurrency. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 240–257. Springer, Heidelberg (2004)
Cardelli, L., Gordon, A.D.: Anytime, Anywhere: Modal Logics for Mobile Ambients. In: Proceedings of the 27th ACM Symposium on Principles of Programming Languages (2000)
Cardelli, L., Gordon, A.D.: Ambient Logic. Mathematical Structures in Computer Science (to appear)
Cavaliere, M., Leupold, P.: Evolution and Observation: A New Way to Look at Membrane Systems. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 70–87. Springer, Heidelberg (2004)
Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer, Berlin (1989)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
Hennessy, M., Milner, R.: Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM 32(1) (1985)
Mardare, R.: Logical Analysis of Complex Systems: Dynamic Epistemic Spatial Logics. PhD Thesis, DIT, University of Trento, Italy (2006), Available from: http://www.dit.unitn.it/~mardare/publications.htm
Mardare, R., Priami, C.: Decidable Extensions of Hennessy-Milner Logic. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 196–211. Springer, Heidelberg (2006)
Mardare, R., Priami, C.: Model Checking Dynamic Epistemic Spatial Logics.Technical Report DIT-06-009, Informatica e Telecomunicationi, University of Trento (2006)
Mardare, R., Priami, C.: Dynamic Epistemic Spatial Logics. Technical Report, 03/2006, Microsoft Research Center for Computational and Systems Biology, Trento, Italy (2006)
Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Berlin (1997)
The P Systems Web Page: http://psystems.disco.unimib.it
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cavaliere, M., Mardare, R. (2006). Partial Knowledge in Membrane Systems: A Logical Approach. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2006. Lecture Notes in Computer Science, vol 4361. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11963516_18
Download citation
DOI: https://doi.org/10.1007/11963516_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69088-7
Online ISBN: 978-3-540-69090-0
eBook Packages: Computer ScienceComputer Science (R0)