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

Archibald, B. , Calder, M. , Sevegnani, M. and Xu, M. (2021) Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming. In: Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021), 21-22 Oct 2021, pp. 167-175. (doi: 10.4204/EPTCS.348.12)

[img] Text
253955.pdf - Accepted Version


Publisher's URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?FMAS2021.12


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.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Archibald, Dr Blair and Calder, Professor Muffy and Sevegnani, Dr Michele and Xu, Dr Mengwei
Authors: Archibald, B., Calder, M., Sevegnani, M., and Xu, M.
College/School:College of Science and Engineering > School of Computing Science
Research Group:FATA
Copyright Holders:Copyright © 2021 The Authors
First Published:First published in Electronic Proceedings in Theoretical Computer Science 348:167–175
Publisher Policy:Reproduced in accordance with the publisher copyright policy
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
309006Multi-perspective design of IoT cybersecurity in ground and aerial vehiclesMichele SevegnaniEngineering and Physical Sciences Research Council (EPSRC)2033180Computing Science
172422Science of Sensor System Software (SSSS)Muffy CalderEngineering and Physical Sciences Research Council (EPSRC)EP/N007565/1Computing Science