Agent Environment and Knowledge in Distributed Join Calculus

  • Sławomir P. Maludziński
  • Grzegorz Dobrowolski
Conference paper

DOI: 10.1007/978-3-540-75254-7_30

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4696)
Cite this paper as:
Maludziński S.P., Dobrowolski G. (2007) Agent Environment and Knowledge in Distributed Join Calculus. In: Burkhard HD., Lindemann G., Verbrugge R., Varga L.Z. (eds) Multi-Agent Systems and Applications V. CEEMAS 2007. Lecture Notes in Computer Science, vol 4696. Springer, Berlin, Heidelberg

Abstract

Distributed join calculus can be used to formally reason about concurrent systems. This paper introduces notion of an environment where agents interact. Based on the introduced formalisms a notion of knowledge which is exchanged by facts and common to all agents is presented. Introduction of the environment and knowledge extends number of agent system which can be expressed using join calculus algebra.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Sławomir P. Maludziński
    • 1
  • Grzegorz Dobrowolski
    • 1
  1. 1.Department of Computer Science, AGH University of Science and Technology 

Personalised recommendations