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.
Preview |
Text
1708.00072v1.pdf - Accepted Version Download (330kB) | Preview |
Abstract
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 BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10068397 |
Archive Staff Only
 |
View Item |
