Temporal agent programs (Q5940961): Difference between revisions
From MaRDI portal
Revision as of 19:18, 3 June 2024
scientific article; zbMATH DE number 1635112
Language | Label | Description | Also known as |
---|---|---|---|
English | Temporal agent programs |
scientific article; zbMATH DE number 1635112 |
Statements
Temporal agent programs (English)
0 references
20 August 2001
0 references
The ``agent program'' framework introduced by \textit{T. Eiter, V. S. Subrahmanian} and \textit{G. Pick} [Artificial Intelligence 108, No. 1-2, 179-255 (1999; Zbl 0914.68123)], supports developing agents on top of arbitrary legacy code. Such agents are continuously engaged in an ``\(\text{event occurs}\rightarrow \text{think}\rightarrow \text{act}\rightarrow \text{event occurs}\dots\)'' cycle. However, this framework has two major limitations: In this paper, we present the concept of a ``temporal agent program'' (tap for short) and show that using taps, it is possible to build agents on top of legacy code that can reason about the past and about the future, and that can make temporal commitments for the future now. We develop a formal semantics for such agents, extending the concept of a status set proposed by Eiter et al., and develop algorithms to compute the status sets associated with temporal agent programs. Last, but not least, we show how taps support the decision making of collaborative agents.
0 references
agents
0 references
heterogeneous systems
0 references
information integration
0 references
temporal reasoning
0 references
logic programming
0 references
0 references
0 references