Chapter

Multi-Agent Systems and Applications V

Volume 4696 of the series Lecture Notes in Computer Science pp 298-300

Agent Environment and Knowledge in Distributed Join Calculus

  • Sławomir P. MaludzińskiAffiliated withDepartment of Computer Science, AGH University of Science and Technology
  • , Grzegorz DobrowolskiAffiliated withDepartment of Computer Science, AGH University of Science and Technology

* Final gross prices may vary according to local VAT.

Get Access

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.