UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

A Component-Oriented Framework for Autonomous Agents

Kappe, T; Arbab, F; Talcott, C; (2017) A Component-Oriented Framework for Autonomous Agents. In: Proenca, J and Lumpe, M, (eds.) Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. (pp. pp. 20-38). Springer: Cham, Switzerland. Green open access

1708.00072v1.pdf - Accepted version

Download (330kB) | Preview


The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for compositional design of such systems where an action is accompanied by one or more preferences. At run-time, these preferences provide a natural fallback mechanism for the component, while at design-time they can be used to reason about the behavior of the component in an uncertain physical world. Using structures that tell us how to compose preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system. We extend Linear Temporal Logic with two unary connectives that reflect the compositional structure of the actions, and show how it can be used to diagnose undesired behavior by tracing the falsification of a specification back to one or more culpable components.

Type: Proceedings paper
Title: A Component-Oriented Framework for Autonomous Agents
Event: 14th International Conference, FACS 2017, 10 - 13 October 2017, Braga, Portugal
Location: Braga, PORTUGAL
ISBN-13: 978-3-319-68033-0
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/978-3-319-68034-7_2
Publisher version: https://doi.org/10.1007/978-3-319-68034-7_2
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
URI: https://discovery.ucl.ac.uk/id/eprint/10068397
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item