Fisher, Michael, Dennis, Louise ORCID: 0000-0003-1426-1896 and Webster, Matt
ORCID: 0000-0002-8817-6881
(2013)
Verifying Autonomous Systems.
COMMUNICATIONS OF THE ACM, 56 (9).
pp. 84-93.
ISSN 0001-0782, 1557-7317
Abstract
The article discusses how to explore autonomous systems and the agents that control them. Autonomous systems are now being deployed in safety, mission, or business critical scenarios, which means a thorough analysis of the choices the core software might make becomes crucial. Modern household, business, and industrial systems increasingly incorporate autonomy. There are many examples, all varying in the degree of autonomy used, from almost pure human control to fully autonomous activities with minimal human interaction. Application areas are broad, ranging from healthcare monitoring to autonomous vehicles. Rational agents can adapt their autonomous behavior to cater for the dynamic aspects of their environment, their requirements and their knowledge. Typically, they can also modify their decision-making following interactions with their environment. The predominant form of rational agent architecture is that provided through the Beliefs, Desires, and Intentions (BDI) approach.
Item Type: | Article |
---|---|
Additional Information: | ## TULIP Type: Articles/Papers (Journal) ## |
Uncontrolled Keywords: | 46 Information and Computing Sciences |
Depositing User: | Symplectic Admin |
Date Deposited: | 28 Apr 2016 10:30 |
Last Modified: | 07 Dec 2024 16:03 |
DOI: | 10.1145/2500468.2494558 |
Open Access URL: | http://doi.acm.org/10.1145/2494558 |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3000869 |