Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming
- 21 October 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 348, 167-175
- https://doi.org/10.4204/eptcs.348.12
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.This publication has 33 references indexed in Scilit:
- An operational semantics for the goal life-cycle in BDI agentsAutonomous Agents and Multi-Agent Systems, 2013
- Model checking agent programming languagesAutomated Software Engineering, 2011
- PRISM 4.0: Verification of Probabilistic Real-Time SystemsLecture Notes in Computer Science, 2011
- Computationally Effective Reasoning About Goal InteractionsJournal of Automated Reasoning, 2010
- A BDI agent programming language with failure handling, declarative goals, and planningAutonomous Agents and Multi-Agent Systems, 2010
- Dynamics of Declarative Goals in Agent ProgrammingLecture Notes in Computer Science, 2005
- Jack™ Intelligent Agents: An Industrial Strength PlatformMultiagent Systems, Artificial Societies, and Simulated Organizations, 2005
- Humans and Automation: Use, Misuse, Disuse, AbuseHuman Factors: The Journal of the Human Factors and Ergonomics Society, 1997
- AgentSpeak(L): BDI agents speak out in a logical computable languageLecture Notes in Computer Science, 1996
- Intention, Plans, and Practical Reason.The Philosophical Review, 1991