Zobrazit v EDS

Verifying Autonomous Systems.

Uloženo v:
Podrobná bibliografie
Název: Verifying Autonomous Systems.
Autoři: FISHER, MICHAEL, DENNIS, LOUISE, WEBSTER, MATT
Zdroj: Communications of the ACM; Sep2013, Vol. 56 Issue 9, p84-93, 10p, 1 Color Photograph, 1 Diagram
Témata: INTELLIGENT agents, VERIFICATION of computer systems, COMPUTER architecture, INTERFACE circuits, COMPUTER interfaces, AUTOMATION
Abstrakt: The article discusses ways to analyze and verify autonomous systems. Topics covered include autonomous systems architectures and formal verification for rational agents as the basis for verifying behaviors of autonomous systems, description of the interface to an agent in charge of making decisions within the system, the use of theorems or analysis of the environment to derive properties of the larger system and modification of of environmental properties. It also discusses the reasons behind the increase in autonomy.
Databáze: Complementary Index
Popis
Abstrakt:The article discusses ways to analyze and verify autonomous systems. Topics covered include autonomous systems architectures and formal verification for rational agents as the basis for verifying behaviors of autonomous systems, description of the interface to an agent in charge of making decisions within the system, the use of theorems or analysis of the environment to derive properties of the larger system and modification of of environmental properties. It also discusses the reasons behind the increase in autonomy.
ISSN:00010782
DOI:10.1145/2500468.2494558