Direct execution of team specifications in STAPLE

  • Authors:
  • Sanjeev Kumar;Philip R. Cohen;Marcus J. Huber

  • Affiliations:
  • School of Science & Eng., Beaverton, OR;School of Science & Eng., Beaverton, OR;School of Science & Eng., Beaverton, OR

  • Venue:
  • Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

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.