Download:
|
by Stefania Costantini
Proc. of 2nd International Works. on Component-based Software Development in Computational Logic (COCL’99), PLI’99
http://www.di.unipi.it/~brogi/ResearchActivity/COCL99/proceedings/costantini.ps
Add To MetaCart
Abstract:
In this paper we present the new logic programming language DALI, aimed at defining agents and agent systems. A main design objective for DALI has been that of introducing in a declarative fashion all the essential features, while keeping the language as close as possible to the syntax and semantics of the plain Horn--clause language. Special atoms and rules have been introduced, for representing: external events, to which the agent is able to respond (reactivity); actions (reactivity and proactivity); internal events (previous conclusions which can trigger further activity); past and present events (to be aware of what has happened). An extended resolution is provided, so that a DALI agent is able to answer queries like in the plain Horn--clause language, but is also able to cope with the different kinds of events, and exhibit a (rational) reactive and proactive behaviour. 1
Citations
|
641
|
Modeling rational agents within a BDI-architecture
– Rao, Georgeff
|
|
462
|
BDI agents: From theory to practice
– Rao, Georgeff
- 1995
|
|
357
|
Representing action and change by logic programs
– Gelfond, Lifschitz
- 1993
|
|
155
|
Local Models Semantics, or Contextual Reasoning
– Ghidini, Giunchiglia
- 2001
|
|
87
|
Foundation of Logic Programming (Second Edition
– Lloyd
- 1987
|
|
61
|
Foundations of a logical approach to agent programming
– Lesperance, Levesque, et al.
- 1996
|
|
50
|
Towards a unified agent architecture that combines rationality with reactivity
– Kowalski, Sadri
- 1996
|
|
31
|
Heterogeneous Active Agents
– Eiter, Subrahmanian
- 1999
|
|
30
|
Logic programming and multi-agent system: A synergic combination for applications and semantics
– Bozzano, Delzanno, et al.
- 1999
|
|
18
|
Combining introspection and communication with rationality and reactivity in agents
– Dell’Acqua, Sadri, et al.
- 1998
|
|
13
|
Reflective agents in metalogic programming
– Costantini, Dell'Acqua, et al.
- 1992
|
|
13
|
Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications
– Dart, Kazmierckaz, et al.
- 1999
|
|
12
|
ROK: A reflective model for distributed object management
– Edmond, Papazoglou, et al.
- 1995
|
|
10
|
A metalogical programming approach: Language, semantics and applications
– Costantini, Lanzarone
- 1994
|
|
4
|
Formal semantics for an abstract agent programming language
– Hindricks, Boer, et al.
- 1997
|
|
3
|
Autonomous semi{reactive agent design based on incremental inductive learning in logic programming
– Balduccini, Lanzarone
- 1997
|
|
2
|
Multi-context argumentative agents
– Parsons, Sierra
- 1998
|
|
1
|
Model--checking multiagent systems. Stanford AI-Vision-Robotics Colloquium
– Giunchiglia
- 1998
|
|
1
|
Specifying communicative multi--agent systems (invited paper
– Shapiro, Lesp'erance, et al.
- 1998
|
