Computational Intelligence - November 2013 - 25
Autonomous Asteroid
Exploration by Rational Agents
N.K. Lincoln
Faculty of Engineering
and the Environment,
University of Southampton, UK
S.M.Veres
Department of Automatic Control
and Systems Engineering,
University of Sheffield, UK
L.A. Dennis, M. Fisher,
and A. Lisitsa
Department of Computer Science,
University of Liverpool, UK
Image lIcensed by Ingram PublIshIng
Abstract-The history of software agent
architectures has been driven by the parallel
requirements of real-time decision-making
and the sophistication of the capabilities the
agent can provide. Starting from reactive,
rule based, subsumption through to layered
and belief-desire-intention architectures, a
compromise always has to be reached
between the ability to respond to the environment in a timely manner and the provision of capabilities that cope with relatively
complex environments. In the spirit of these
past developments, this paper is proposing a
novel "anthropomorphic" agent architecture
that brings together the most desirable features: natural language definitions of agent
reasoning and skill descriptions, shared
knowledge with operators, the combination
of fast reactive as well as long term planning,
ability to explain why certain actions are
taken by the autonomous agent and finally
inherent formal verifiability. With these attributes, the proposed agent architecture can
potentially cope with the most demanding
autonomous space missions.
Digital Object Identifier 10.1109/MCI.2013.2279559
Date of publication: 16 October 2013
1556-603x/13/$31.00©2013ieee
C
I. Introduction
omplex autonomous (robotic) missions require decisions to be made
taking into account multiple factors such as mission goals, priorities,
hardware functionality, performance and instances of unexpected
events. The concise representation and use of relevant knowledge
about action and sensing is only part of the autonomous control problem; the
organization of the necessary perception processes, prediction of the possible
outcomes of action (or inaction), and the communication required for decision making are also critical. The development of any autonomous system culminates in a functional intelligent system, where the developed system
operates within a specified domain and implements procedures based upon
declarative, procedural and generally heterogeneous knowledge defined across
the operational domain. The consistency and integrity of this system knowledge is an essential aspect of the resultant system. Motivated by these problems,
our research has produced a formally verifiable deliberative agent architecture
linked to a natural language knowledge representation of the world model and
possible actions. This architecture has been applied in the context of autonomous space systems, both within simulated environments, and on hardware
within a purpose built ground facility [1, 2, 3].
Autonomy is a highly relevant topic for deep space missions where scientific
interest in asteroids acts as a technology driver to produce spacecrafts which perform complex missions at great distances from Earth. Two such missions, Hayabusa and Dawn, run by JAXA and NASA respectively, are asteroid exploration
Research supported by EPSRC through grants EP/F037201/1 and EP/F037570/1.
November 2013 | ieee ComputatioNal iNtelligeNCe magaziNe
25
Table of Contents for the Digital Edition of Computational Intelligence - November 2013
Computational Intelligence - November 2013 - Cover1
Computational Intelligence - November 2013 - Cover2
Computational Intelligence - November 2013 - 1
Computational Intelligence - November 2013 - 2
Computational Intelligence - November 2013 - 3
Computational Intelligence - November 2013 - 4
Computational Intelligence - November 2013 - 5
Computational Intelligence - November 2013 - 6
Computational Intelligence - November 2013 - 7
Computational Intelligence - November 2013 - 8
Computational Intelligence - November 2013 - 9
Computational Intelligence - November 2013 - 10
Computational Intelligence - November 2013 - 11
Computational Intelligence - November 2013 - 12
Computational Intelligence - November 2013 - 13
Computational Intelligence - November 2013 - 14
Computational Intelligence - November 2013 - 15
Computational Intelligence - November 2013 - 16
Computational Intelligence - November 2013 - 17
Computational Intelligence - November 2013 - 18
Computational Intelligence - November 2013 - 19
Computational Intelligence - November 2013 - 20
Computational Intelligence - November 2013 - 21
Computational Intelligence - November 2013 - 22
Computational Intelligence - November 2013 - 23
Computational Intelligence - November 2013 - 24
Computational Intelligence - November 2013 - 25
Computational Intelligence - November 2013 - 26
Computational Intelligence - November 2013 - 27
Computational Intelligence - November 2013 - 28
Computational Intelligence - November 2013 - 29
Computational Intelligence - November 2013 - 30
Computational Intelligence - November 2013 - 31
Computational Intelligence - November 2013 - 32
Computational Intelligence - November 2013 - 33
Computational Intelligence - November 2013 - 34
Computational Intelligence - November 2013 - 35
Computational Intelligence - November 2013 - 36
Computational Intelligence - November 2013 - 37
Computational Intelligence - November 2013 - 38
Computational Intelligence - November 2013 - 39
Computational Intelligence - November 2013 - 40
Computational Intelligence - November 2013 - 41
Computational Intelligence - November 2013 - 42
Computational Intelligence - November 2013 - 43
Computational Intelligence - November 2013 - 44
Computational Intelligence - November 2013 - 45
Computational Intelligence - November 2013 - 46
Computational Intelligence - November 2013 - 47
Computational Intelligence - November 2013 - 48
Computational Intelligence - November 2013 - 49
Computational Intelligence - November 2013 - 50
Computational Intelligence - November 2013 - 51
Computational Intelligence - November 2013 - 52
Computational Intelligence - November 2013 - 53
Computational Intelligence - November 2013 - 54
Computational Intelligence - November 2013 - 55
Computational Intelligence - November 2013 - 56
Computational Intelligence - November 2013 - 57
Computational Intelligence - November 2013 - 58
Computational Intelligence - November 2013 - 59
Computational Intelligence - November 2013 - 60
Computational Intelligence - November 2013 - 61
Computational Intelligence - November 2013 - 62
Computational Intelligence - November 2013 - 63
Computational Intelligence - November 2013 - 64
Computational Intelligence - November 2013 - Cover3
Computational Intelligence - November 2013 - Cover4
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202311
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202308
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202305
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202302
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202211
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202208
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202205
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202202
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202111
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202108
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202105
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202102
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202011
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202008
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202005
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_202002
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_201911
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_201908
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_201905
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_201902
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_201811
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_201808
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_201805
https://www.nxtbook.com/nxtbooks/ieee/computationalintelligence_201802
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_winter17
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_fall17
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_summer17
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_spring17
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_winter16
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_fall16
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_summer16
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_spring16
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_winter15
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_fall15
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_summer15
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_spring15
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_winter14
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_fall14
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_summer14
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_spring14
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_winter13
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_fall13
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_summer13
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_spring13
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_winter12
https://www.nxtbook.com/nxtbooks/ieee/computational_intelligence_fall12
https://www.nxtbookmedia.com