Verifiable Self-Aware Agent-Based Autonomous Systems

In this article, we describe an approach to autonomous system construction that not only supports self-awareness but also formal verification. This is based on modular construction where the key autonomous decision making is captured within a symbolically described "agent." So, this articl...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of the IEEE Jg. 108; H. 7; S. 1011 - 1026
Hauptverfasser:	Dennis, Louise A., Fisher, Michael
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.07.2020 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Autonomous agents Autonomous automobiles Autonomous systems Autonomy Computer architecture Decision making Drones formal verification Modular construction Modular systems Programming robot programming Robotics Robots Safety Self awareness Testing Verification
ISSN:	0018-9219, 1558-2256
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!