Verifying Autonomous Systems

被引:2
作者
Fisher, Michael [1 ]
Dennis, Louise [1 ]
Webster, Matt [2 ]
机构
[1] Univ Liverpool, Dept Comp Sci, Liverpool L69 3BX, Merseyside, England
[2] Daresbury Lab Warrington, Virtual Engn Ctr, Warrington, Cheshire, England
基金
英国工程与自然科学研究理事会;
关键词
MULTIAGENT;
D O I
10.1145/2500468.2494558
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:84 / 93
页数:10
相关论文
共 38 条
[1]  
[Anonymous], 2002, An Introduction to MultiAgent Systems
[2]  
[Anonymous], 1992, TEMPORAL LOGIC REACT, DOI DOI 10.1007/978-1-4612-0931-7
[3]  
[Anonymous], 2007, Programming multi-agent systems in AgentSpeak using Jason
[4]  
Arkin RC, 2007, Report. Report GIT-GVU-07-11
[5]  
Blackburn Patrick, 2006, Studies in Logic and Practical Reasoning, V3
[6]   Experiences with an architecture for intelligent, reactive agents [J].
Bonasso, RP ;
Firby, RJ ;
Gat, E ;
Kortenkamp, D ;
Miller, DP ;
Slack, MG .
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1997, 9 (2-3) :237-256
[7]  
Bond A., 1988, READINGS DISTRIBUTED
[8]  
Bordini R.H., 2009, Multi-Agent Programming: Languages, Tools and Applications
[9]  
Bordini R.H., 2005, Multi- Agent Programming : Languages, Platforms and Applications
[10]   Verifying multi-agent programs by model checking [J].
Bordini, RH ;
Fisher, M ;
Visser, W ;
Wooldridge, M .
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2006, 12 (02) :239-256