Abstract
Multi-agent systems have been studied in various contexts of both application and theory. We take Dynamic Epistemic Logic (DEL), one of the formalisms designed to reason about such systems, as the foundation of the language we will build.
BioAmbient calculus is an extension of π-calculus, developed largely for applications to biomolecular systems. It deals with ambients and their ability to communicate and to execute concurrent processes while moving.
In this paper we combine the formalism of Dynamic Epistemic Logic together with the formalism of BioAmbient Calculus in order to reason about knowledge maintained and gained upon process transitions. The motivation lies in developing a language that captures locally available information through assignment of knowledge, with potential application to biological systems as well as social, virtual, and others.
We replace the ambients of BioAmbient Calculus with agents, to which we attribute knowledge, and explore the parallels of this treatment. The resulting logic describes the information flow governing mobile structured agents, organized hierarchically, whose architecture (and local information) may change due to actions such as communication, merging (of two agents), entering (of an agent into the inner structure of another agent) and exiting (of an agent from the structure of another). We show how the main axioms of DEL must be altered to accommodate the informational effects of the agents’ dynamic architecture.
Keywords
- dynamic epistemic logic
- mobile agents
- structured agents
- multi-agent system
- subagent
- indistinguishability of states
- knowledge (logic)
- bioambient
This is a preview of subscription content, access via your institution.
Buying options
Preview
Unable to display preview. Download preview PDF.
References
Aceto, L., Fokkink, W.J., Verhoef, C.: Structural Operational Semantics. Basic Research in Computer Science (Fall 1999), http://www.brics.dk/RS/99/30
Andova, S.: Probabilistic Process Algebra. PhD Thesis, Technische Universiteit Eindhoven (15 2002)
Baeten, J.C.M.: Applications of Process Algebra. Cambridge University Press, Cambridge (1990)
Baltag, A., Moss, L.S.: Logics for Epistemic Programs. Synthese (”An International Journal for Epistemology, Methodology and Philosophy of Science”) 139(2), 165–224 (2004); Symons, J., Hintikka, J. (eds.), van der Hoek, W. (special section editor). Kluwer Academic Press
Baltag, A., van Ditmarsch, H.P., Moss, L.S.: Epistemic Logic and Information Update. In: Adriaans, P., van Benthem, J.F.A.K. (eds.) Philosophy of Information, pp. 361–451. Elsevier, Oxford (2008)
Baltag, A., Smets, S.: Correlated Knowledge: An Epistemic-Logic View on Quantum Entanglement. International Journal of Theoretical Physics 1(17), 0020–7748 (2010)
Baltag, A., Smets, S.: Probabilistic dynamic belief revision. Synthese 165(2), 179–202 (2008)
Behrens, G., Stoll, M.: Pathogenesis and Immunology. Influenza Report (Spring 2006), http://www.influenzareport.com/influenzareport.pdf
Cardelli, L.: Abstract Machines of Systems Biology. In: Microsoft Research (Fall 2005), http://lucacaredelli.name/Papers/AbstractMachinesofSystemsBiologyDraft.pdf
Cardelli, L.: Bioware languages. In: Herbert, A., SpUarck Jones, K. (eds.) Computer Systems: Theory, Technology, and Applications A Tribute to Rodger Needham. Springer, Heidelberg (2003)
Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Castellani, I.: Process Algebras with Localities. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 945–1045. Elsevier (2001)
van Glabbeek, R.J.: The Linear Time – Branching Time Spectrum I. The Semantics of Concrete, Sequential Processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 5–97. Elsevier (2001)
van Ditmarsch, H.P., vad der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2008)
Fokkink, W.: Introduction to Process Algebra. Springer, Heidelberg (2000)
Mardare, R.: Observing Distributed Computation. A Dynamic-Epistemic Approach. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 379–393. Springer, Heidelberg (2007)
Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge University Press, Cambridge (1999)
Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80(1), 25–31 (2001)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An abstraction for biological compartments. Theoritical Computer Science 325, 141–167 (2004)
Sadrzadeh, M.: Actions and Resources in Epistemic Logic. PhD Thesis, Université du Québec À Montréal (2006), http://eprints.ecs.soton.ac.uk/12823/01/all.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag GmbH Berlin Heidelberg
About this chapter
Cite this chapter
Yermakova, A., Baltag, A. (2012). A Dynamic-Epistemic Logic for Mobile Structured Agents. In: Simeonov, P., Smith, L., Ehresmann, A. (eds) Integral Biomathics. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28111-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-28111-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28110-5
Online ISBN: 978-3-642-28111-2
eBook Packages: EngineeringEngineering (R0)