Abstract
Abstract
In a basic agent calculus, equality often links the agents which provide the same external behaviour in any context. Since the universe of agents and the universe of contexts depend on the used action set, equality depends a priori on this set of actions. We show here that if we select from the universe of agents, two agents which are equal, they are also equal if we extend the universe of actions (and consequently if we extend the universe of agents and contexts).
- [Bae86] Baeten, J.:Processalgebra. Kluwer, Deventer, 1986.Google Scholar
- [Bri88] Brinksma, E.: On the Design of Extended LOTOS (A Specification Language for Open Distributed Systems). Doctoral Dissertation, University of Twente, 1988.Google Scholar
- [Ekm89] Ekman, J.: The Sum in Communicating Systems. Lic. Thesis, Department of computer science, Chalmers University of Technology and University of Göteborg, Sweden.Google Scholar
- [Mas90] Massart, T.: A Basic Agent Calculus and Bisimulation Laws for the Design of Systems. Doctoral Dissertation, University of Brussels, 1990.Google Scholar
- [MaD91] Massart, T. and Devillers, R.: Agents or Expressions: which Semantics for a Process Calculus, Internal Report of the Laboratoire d'Informatique Théorique no. 230, March 1991.Google Scholar
- [Mil84] Lectures on a Calculus for Communicating SystemsSummer School Marktoberdorf 19841984BerlinSpringer197219Google Scholar
- [Mil89] Milner R.:Communication and Concurrency. Prentice-Hall International, 1989.Google Scholar
- [Par81] Concurrency and Automata on Infinite SequencesProc. 5th GI Conference1981BerlinSpringer-VerlagGoogle Scholar
Index Terms
- Equality of agent expressions is preserved under an extension of the universe of actions
Recommendations
Proof Search in Intuitionistic Logic with Equality, or Back toSimultaneous Rigid E -Unification
We characterize provability in intuitionistic logic with equality in terms of a constraint calculus. This characterization uncovers close connections between provability in intuitionistic logic with equality and solutions to simultaneous rigid E -...
Research on Expression of Rough Equality Sets
PACIIA '08: Proceedings of the 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application - Volume 01Rough equality is an important area of rough set theory. The connotation is analyzed in this paper. According to basic concepts of rough set theory, it is proved that different rough sets have the same upper and lower approximations, and the sufficient ...
Regional synchronization for simultaneous actions in situated multi-agent systems
CEEMAS'03: Proceedings of the 3rd Central and Eastern European conference on Multi-agent systemsAgents of a multi-agent system (MAS) must synchronize whenever they want to perform simultaneous actions. In situated MASs, typically, the control over such synchronization is centralized, i.e. one synchronizer has the supervision on all agents of the ...
Comments