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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Proceedings of the IEEE Ročník 108; číslo 7; s. 1011 - 1026
Hlavní autori:	Dennis, Louise A., Fisher, Michael
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.07.2020 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!