T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI 2 -- Proceedings of the 2 nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW '90). Elsevier/North Holland, 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....use executable temporal logic to implement individual objects, this opens up the possibility of developing heterogeneous systems consisting of objects implemented in a variety of ways. Elements of this model of computation have appeared in a variety of guises, from operating systems [7] to A.I. [21], and so we do not claim that it is new only that it is a useful computational model for executable logics. Object Interfaces Networks of objects communicate via broadcasting messages and individual objects only act upon certain identified messages. Thus, an object must be able to filter out ....

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI 2 -- Proceedings of the 2 nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW '90). Elsevier/North Holland, 1991.

....an object, as used in concurrent object based systems, and an agent, as defined above, is so vague and flexible to be useless. Hence, we believe that a multi agent system is simply a system consisting of concurrently executing objects. Although some researchers, for example Maruichi et al. [17], have attempted to distinguish agents from objects by stating that agents have control over their own execution (i.e. have meta level capabilities) while objects do not, we take the view that everything is an object and, while many objects have some degree of meta level control, there is nothing ....

....is replaced by multicast message passing. In distributed operating systems, such an approach, called process groups is used to ensure replication and fault tolerance [6] while in DAI it is used, for example in the organisational model, as a method for structuring and organising agents [17]. Thus, by utilising a form of group structuring, together with broadcast messagepassing, we are able to retain many of the advantages of full broadcast while avoiding its major drawbacks. A bonus is that, in recent years, low level mechanisms for efficient broadcast have been developed in many ....

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI 2 -- Proceedings of the 2 nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW '90). Elsevier/North Holland, 1991.

....I [rl, r, 11 ) where consistent checks the satisfiability of a set of (usually ground) sentences. Grouping and Efficiency: Until now, we have not considered the possibility of providing any additional structure within the agent space. Here, we briefly outline a mechanism, based upon grouping [11, 6], whereby detailed structure can be provided, limiting the extent of broadcast communication. The idea underlying the notion of an agent group is that each agent may be a member of several groups, and when an agent sends a message, that message is, by default, broadcast to all the members of its ....

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J.P. Muller, editors, Decentralized AI 2 - Proceed- ings of the 2 'd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW '90). Elsevier/North Holland, 1991.

....come cheap: the PRS seems to be more flexible in execution than Concurrent METATEM, and is likely to have higher potential in time critical applications. The computational model underlying Concurrent METATEM is somewhat similar to that employed in the autonomous agent model of Maruichi et al. (Maruichi et al. 1990). More 2 We comment on the use of mentalistic notions below. 11 generally, there are also some similarities with the Actor model (Hewitt, 1977; Agha, 1986) the key differences are the ability of agents in Concurrent METATEM to act in a non message driven way, and the use of broadcast, rather ....

Maruichi, T., Ichikawa, M., and Tokoro, M. (1990). Modelling Autonomous Agents and their Groups. In Demazeau, Y. and Muller, J. P., editors, Decentralized AI -- Proceedings of the First European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland.

....1 ; n ] where consistent checks the satisfiability of a set of (usually ground) sentences. Grouping and Efficiency: Until now, we have not considered the possibility of providing any additional structure within the agent space. Here, we briefly outline a mechanism, based upon grouping [11, 6], whereby detailed structure can be provided, limiting the extent of broadcast communication. The idea underlying the notion of an agent group is that each agent may be a member of several groups, and when an agent sends a message, that message is, by default, broadcast to all the members of its ....

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI 2 -- Proceedings of the 2 nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW '90). Elsevier/North Holland, 1991.

....a major research area in its own right. DAI techniques have been applied to domains as diverse as archaeology and economics, as well as more mundane problems such as distributed sensing and manufacturing control [7] Many testbeds for building and experimenting with DAI systems have been reported [2, 19, 21, 10, 26, 9, 24, 12]. And yet al..most no research has considered the important problems of specifying and verifying DAI systems. In short, the purpose of this paper is to address these issues: we present preliminary results on specifying and verifying systems implemented using Concurrent MetateM, a novel new ....

.... IV, a reflexive concurrent object language [12] Maruichi et al. describe an autonomous agent model (similar in some respects to the computational model underlying Concurrent MetateM) in which autonomous, continually executing actor like objects communicate through asynchronous message passing [24]. One aspect of DAI missing from all the above accounts is the notion of objects agents as reactive systems, in the following sense: a reactive system is one which cannot adequately be described in terms of initial and final states. Any non terminating system is therefore a reactive system. ....

[Article contains additional citation context not shown here]

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI -- Proceedings of the First European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland, 1990.

....Manchester Metropolitan University UMIST Manchester M1 5GD, U.K. Manchester M60 1QD, U.K. EMAIL: M.Fisher doc.mmu.ac.uk EMAIL: jak co.umist.ac. uk Abstract In this paper, we investigate the suitability of parallel architectures for the realisation of a novel objectbased computational model [21] encapsulated within programming languages such as [11] This model incorporates objects, groups, broadcast message passing and asynchronous execution. As such it provides a high level, architecture independent representation for a variety of concurrent systems. The class of parallel architectures ....

....concurrent systems. The class of parallel architectures which we consider are logically shared but physically distributed memory systems. 1 Introduction In this paper, we investigate the suitability of certain parallel architectures for the realisation, of a novel objectbased computational model [21, 5] encapsulated within programming languages such as [11] This model incorporates objects, groups, broadcast message passing and asynchronous execution. The programming model we consider is not new. It has been used both in Distributed Operating Systems [5] and Distributed Artificial Intelligence ....

[Article contains additional citation context not shown here]

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI 2 -- Proceedings of the 2 nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland, 1991.

....successfully, then the communication between groups will be more restrained than the communication within groups. In this case, it would be natural to implement such a scheme by limiting each group to one processor if possible. This group mechanism is derived from that used by Maruichi et al. [17] to model DAI systems, and the concept of process groups used within distributed operating systems [3] 5.3 Efficient Broadcast Traditionally, broadcast communication has been considered as being inefficient. However, as described above, by utilising a form of group structuring, we are able to ....

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI 2 -- Proceedings of the 2 nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW '90). Elsevier/North Holland, 1991.

.... hear all the messages broadcast within those rooms. An object can selectively broadcast messages to particular rooms that it is a member of. This mechanism is related to the process group approach used in many distributed operating systems [6] and to the group model of computation described in [16]. 6 Related Work Due to lack of space we are only be able to briefly sketch the relationship between our work and others in the area of both executable logics and languages for distributed systems. In [11] Gehani describes Broadcasting Sequential Processes (BSP) which is also based on the ....

....our model has some similarities with the Actor model, the main differences being the ability to act in a non message driven way, the object s definition using temporal logic, the ability to process sets of incoming messages, and the ability to synchronise with other objects. Maruichi et al. [16] use a model of computation similar to ours for their investigation in DAI systems, while several distributed operating systems also use the notion of process groups (what we call rooms ) in order to group processes (objects) together [6] Though several of the above approaches have similarities ....

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling autonomous agents and their groups. In Y. Demazeau and J. P. Muller, editors, Decentralized A.I. (Volume 2), pages 215--234. Elsevier/North-Holland, 1990.

....system. As mentioned earlier, the Concurrent METATEM model has some similarities with the Actor model, the main differences being the ability to act in a non message driven way, the ability to process sets of incoming messages, and the ability to synchronise with other objects. Maruichi et al. [18] use a model of computation similar to Concurrent METATEM for their investigation in DAI systems, while several distributed operating systems also use the notion of process groups (what we call groups ) in order to group processes (objects) together [6] Various executable temporal logics have ....

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Decentralized AI 2 -- Proceedings of the 2 nd European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland, 1991.

....a major research area in its own right. DAI techniques have been applied to domains as diverse as archaeology and economics, as well as more mundane problems such as distributed sensing and manufacturing control [7] Many testbeds for building and experimenting with DAI systems have been reported [2, 19, 21, 10, 26, 9, 24, 12]. And yet al..most no research has considered the important problems of specifying and verifying DAI systems. In short, the purpose of this paper is to address these issues: we present preliminary results on specifying and verifying systems implemented using Concurrent METATEM, a novel new ....

.... IV, a reflexive concurrent object language [12] Maruichi et al. describe an autonomous agent model (similar in some respects to the computational model underlying Concurrent METATEM) in which autonomous, continually executing actor like objects communicate through asynchronous message passing [24]. One aspect of DAI missing from all the above accounts is the notion of objects agents as reactive systems, in the following sense: a reactive system is one which cannot adequately be described in terms of initial and final states. Any non terminating system is therefore a reactive system. ....

[Article contains additional citation context not shown here]

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI -- Proceedings of the First European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland, 1990.

....come cheap: the PRS seems to be more flexible in execution than Concurrent MetateM, and is likely to have higher potential in time critical applications. The computational model underlying Concurrent MetateM is somewhat similar to that employed in the autonomous agent model of Maruichi et al. [22]. More generally, there are also some similarities with the Actor model [20, 2] the key differences are the ability of objects in Concurrent MetateM to act in a non message driven way, and the use of broadcast, rather than point to point message passing. Finally, a comment on the use of ....

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI -- Proceedings of the First European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland, 1990.

....come cheap: the PRS seems to be more flexible in execution than Concurrent METATEM, and is likely to have higher potential in time critical applications. The computational model underlying Concurrent METATEM is somewhat similar to that employed in the autonomous agent model of Maruichi et al. [22]. More generally, there are also some similarities with the Actor model [20, 2] the key differences are the ability of objects in Concurrent METATEM to act in a non message driven way, and the use of broadcast, rather than point to point message passing. Finally, a comment on the use of ....

T. Maruichi, M. Ichikawa, and M. Tokoro. Modelling Autonomous Agents and their Groups. In Y. Demazeau and J. P. Muller, editors, Decentralized AI -- Proceedings of the First European Workshop on Modelling Autonomous Agents and Multi-Agent Worlds (MAAMAW). Elsevier/North Holland, 1990.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC