ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
Reasoning about Visibility, Perception and Knowledge
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
An Abstract Machine for Classes of Communicating Agents Based on Deduction
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Task models, intentions, and agent conversation policies
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Hi-index | 0.00 |
We consider defining executable dialogues for communicating agents. Towards this end, we introduce agent classes whose communication primitives are based on deduction. Their operational semantics are given by an abstract logical machine that is defined purely in sequential terms. These agents communicate under the control of plans requiring a synchronization flag. These plans can be rewritten as dialogues with an implicit synchronization. Reversibly, dialogues can be compiled back into plans and then executed on the sequential machine. Sub-dialogues can be entered from any dialogue, such achieving dynamic conversation structures.