Verifying Autonomous Systems.
Uloženo v:
| 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 |
Full Text Finder 
Nájsť tento článok vo Web of Science Buďte první, kdo okomentuje tento záznam!