Please use this identifier to cite or link to this item: http://buratest.brunel.ac.uk/handle/2438/2994
Title: Interaction of agents and environments
Authors: Gilbert, D
Letichevsky, AA
Issue Date: 1998
Publisher: National Academy of Sciences of Ukraine
Citation: International Scientific and Practical Conference on Programming Ukrprog'98' , Kiev, Ukraine, 1998, pp. 225-232.
Abstract: A new abstract model of interaction between agents and environments considered as objects of different types is introduced. Agents are represented by means of labelled transition systems considered up to bisimilarity. The equivalence of agents is characterised in terms of an algebra of behaviours which is a continuous algebra with approximation and two operations: nondeterministic choice and prefixing. Environments are introduced as agents supplied with an insertion function which takes the behaviour of an agent and the behaviour of an environment as arguments and returns the new behaviour of an environment. Arbitrary continuous functions can be used as insertion functions, and we use functions defined by means of rewriting logic as computable ones. The transformation of environment behaviours defined by the insertion function also defines a new type of agent equivalence--- insertion equivalence. Two behaviours are insertion equivalent if they define the same transformation of an environment. The properties of this equivalence are studied. Three main types of insertion functions are used to develop interesting applications: one-step insertion, head insertion, and look-ahead insertion functions.
URI: http://bura.brunel.ac.uk/handle/2438/2994
ISBN: 966-02-0645-3
Appears in Collections:Computer Science
Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
10.1.1.45.9927.pdf241.92 kBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.