Download:
|
by Michael Fisher, Michael Wooldridge, Manchester M Gd
http://www.csc.liv.ac.uk/~mjw/pubs/iwdai93.ps.gz
Add To MetaCart
Abstract:
DAI'93 Themes: societies and organisations of agents; modeling through communication in adversarial and cooperative systems This paper describes Concurrent METATEM, a programming language based on temporal logic, and applies it to the study of Distributed Artificial Intelligence (DAI). A Concurrent METATEM system consists of a number of asynchronously executing objects, which are able to communicate through broadcast message-passing. Each individual object directly executes a specification of its desired behaviour. Such specifications are given using a set of temporal logic `rules', determining how the object may generate `commitments', which it subsequently attempts to satisfy. This language provides a novel and powerful approach to representing DAI systems, where individual `agents ' are specified in a natural way using temporal logic, while groups of agents communicate by broadcasting information. The paper begins by discussing and justifying the Concurrent METATEM approach, and then describes objects and their execution in more detail. Several examples are presented, demonstrating the utility of Concurrent METATEM for DAI applications. Finally, the language is contrasted with other contemporary DAI testbeds. 1
Citations
|
923
|
E.A.: Temporal and modal logic
– Emerson
- 1990
|
|
883
|
Actors: A Model of Concurrent Computation in Distributed Systems
– Agha
- 1986
|
|
827
|
The temporal logic of programs
– Pnueli
- 1977
|
|
382
|
Reactive Reasoning and Planning
– Georgeff, Lansky
- 1987
|
|
303
|
Viewing control structures as patterns of passing messages
– Hewitt
- 1977
|
|
270
|
On the development of reactive systems
– Harel, Pnueli
- 1985
|
|
155
|
Coordination of Distributed Problem Solvers
– DURFEE
- 1988
|
|
147
|
Decision-making in an embedded reasoning system
– P, Ingrand
- 1989
|
|
124
|
Executing Temporal Logic Programs
– Moszkowski
- 1986
|
|
122
|
An Architecture for Intelligent Reactive Systems
– Kaelbling
- 1986
|
|
118
|
Agent Oriented Programming
– Shoham
- 1993
|
|
82
|
METATEM: A framework for programming in temporal logic
– Barringer, Fisher, et al.
- 1989
|
|
54
|
Object oriented programming in concurrent prolog
– Shapiro, Takeuchi
- 1983
|
|
49
|
MACE: A flexible testbed for distributed AI research
– Gasser, Braganza, et al.
- 1987
|
|
38
|
Modeling Agents Within a BDI-Architecture
– Rao, Georgeff
- 1991
|
|
33
|
Meta-reasoning in Executable Temporal Logic
– Barringer, Fisher, et al.
- 1991
|
|
29
|
Preliminary thoughts on an agent description language
– Thomas, Shoham, et al.
- 1991
|
|
28
|
A relational language for parallel programming
– Clark, Gregory
- 1981
|
|
26
|
Specifying and verifying distributed intelligent systems
– Fisher, Wooldridge
- 1993
|
|
22
|
Concurrent MetateM --- A Language for Modeling Reactive Systems
– Fisher
- 1993
|
|
21
|
From the Past to the Future: Executing Temporal Logic Programs
– Fisher, Owens
- 1992
|
|
19
|
MAGES: A Multi-Agent Testbed for Heterogeneous Agents
– Bouron, Ferber, et al.
- 1991
|
|
16
|
Concurrent METATEM Processes --- A Language for Distributed AI
– Fisher, Barringer
- 1991
|
|
16
|
Time for action: On the relation between time, knowledge and action
– Shoham
- 1989
|
|
15
|
Modelling Autonomous Agents and their Groups
– Maruichi, Ichikawa, et al.
- 1990
|
|
14
|
An experiment in cooperation
– Connah, Wavish
- 1990
|
|
14
|
Actors and agents as reflective concurrent objects: a Mering IV perspective
– Ferber, Carle
- 1990
|
|
13
|
METATEM at work: Modelling Reactive Systems using Executable Temporal Logic
– Finger, Fisher, et al.
- 1993
|
|
12
|
Tokio: Logic programming language based on temporal logic and its compilation to Prolog
– Fujita, Kono, et al.
- 1986
|
