Direct execution of team specifications in STAPLE

Sanjeev Kumar; Philip R. Cohen; Marcus J. Huber

Direct execution of team specifications in STAPLE

Sanjeev Kumar, Philip R. Cohen, Marcus J. Huber

Research output: Contribution to conference › Paper › peer-review

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	Italy
City	Bologna
Period	15/07/02 → 19/07/02
Internet address	https://dl.acm.org/doi/proceedings/10.1145/544741 (Proceedings)

Keywords

Agent Languages and Environments
Teamwork

Access to Document

Link to publication in Scopus

Cite this

@conference{5e9053f21d154c65b2701a699ad3c58b,

title = "Direct execution of team specifications in STAPLE",

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.",

keywords = "Agent Languages and Environments, Teamwork",

author = "Sanjeev Kumar and Cohen, {Philip R.} and Huber, {Marcus J.}",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "567--568",

note = "International Conference on Autonomous Agents and Multiagent Systems 2002, AAMAS 2002 ; Conference date: 15-07-2002 Through 19-07-2002",

url = "https://dl.acm.org/doi/proceedings/10.1145/544741",

}

TY - CONF

T1 - Direct execution of team specifications in STAPLE

AU - Kumar, Sanjeev

AU - Cohen, Philip R.

AU - Huber, Marcus J.

N1 - Conference code: 1st

PY - 2002/1/1

Y1 - 2002/1/1

N2 - 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.

AB - 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.

KW - Agent Languages and Environments

KW - Teamwork

UR - http://www.scopus.com/inward/record.url?scp=0036367374&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0036367374

SP - 567

EP - 568

T2 - International Conference on Autonomous Agents and Multiagent Systems 2002

Y2 - 15 July 2002 through 19 July 2002

ER -