We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Multiagent Systems

Title: Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming

Abstract: Human-autonomy teaming (HAT) scenarios feature humans and autonomous agents collaborating to meet a shared goal. For effective collaboration, the agents must be transparent and able to share important information about their operation with human teammates. We address the challenge of transparency for Belief-Desire-Intention agents defined in the Conceptual Agent Notation (CAN) language. We extend the semantics to model agents that are observable (i.e. the internal state of tasks is available), and attention-directing (i.e. specific states can be flagged to users), and provide an executable semantics via an encoding in Milner's bigraphs. Using an example of unmanned aerial vehicles, the BigraphER tool, and PRISM, we show and verify how the extensions work in practice.
Comments: In Proceedings FMAS 2021, arXiv:2110.11527
Subjects: Multiagent Systems (cs.MA); Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)
Journal reference: EPTCS 348, 2021, pp. 167-175
DOI: 10.4204/EPTCS.348.12
Cite as: arXiv:2110.12579 [cs.MA]
  (or arXiv:2110.12579v1 [cs.MA] for this version)

Submission history

From: EPTCS [view email]
[v1] Mon, 25 Oct 2021 01:47:53 GMT (20kb)

Link back to: arXiv, form interface, contact.