Abstract
Formal theories of teamwork are typically treated as software design specifications of team behavior. We take a different approach to programming teamwork by directly executing logical specifications of joint commitment and joint intention. This approach leads to a domain-independent framework for programming teamwork where one can modify (or add new) behavior for a team of agents just by modifying (or adding) logical sentences. One may also be able to predict the behavior of an agent team offline using its team intention specification and verify it by running the actual system.
Original language | English |
---|---|
Pages | 567-568 |
Number of pages | 2 |
Publication status | Published - 1 Jan 2002 |
Externally published | Yes |
Event | International Conference on Autonomous Agents and Multiagent Systems 2002 - Bologna, Italy Duration: 15 Jul 2002 → 19 Jul 2002 Conference number: 1st https://dl.acm.org/doi/proceedings/10.1145/544741 (Proceedings) |
Conference
Conference | International Conference on Autonomous Agents and Multiagent Systems 2002 |
---|---|
Abbreviated title | AAMAS 2002 |
Country/Territory | Italy |
City | Bologna |
Period | 15/07/02 → 19/07/02 |
Internet address |
|
Keywords
- Agent Languages and Environments
- Teamwork