Download Towards a theory of Hybrid Intelligent Autonomous Systems

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Type-2 fuzzy sets and systems wikipedia , lookup

Computer vision wikipedia , lookup

Autonomous car wikipedia , lookup

Fuzzy concept wikipedia , lookup

Kevin Warwick wikipedia , lookup

The City and the Stars wikipedia , lookup

Philosophy of artificial intelligence wikipedia , lookup

Incomplete Nature wikipedia , lookup

Knowledge representation and reasoning wikipedia , lookup

Visual servoing wikipedia , lookup

Existential risk from artificial general intelligence wikipedia , lookup

Fuzzy logic wikipedia , lookup

Expert system wikipedia , lookup

Robot wikipedia , lookup

AI winter wikipedia , lookup

Adaptive collaborative control wikipedia , lookup

History of artificial intelligence wikipedia , lookup

List of Doctor Who robots wikipedia , lookup

Robotics wikipedia , lookup

Index of robotics articles wikipedia , lookup

Cubix wikipedia , lookup

Self-reconfiguring modular robot wikipedia , lookup

Robotic automation software wikipedia , lookup

Embodied cognitive science wikipedia , lookup

Ethics of artificial intelligence wikipedia , lookup

Transcript
Recent Researches in Circuits and Systems
Towards a theory of Hybrid Intelligent Autonomous Systems
OUARDA HACHOUR
Institute Of Electrical and Electronics Engineering
Signal and System Laboratory
Boumerdes University
Boulevard de l’independence Boumerdes 35000
ALGERIA
E-mail: [email protected]
Abstract: Today, researchers have at their disposal, the required hardware, software, and sensor technologies to build
intelligent autonomous systems. More, they are also in possession of some computational tool such as Fuzzy
Logic(FL), Neural Networks (NN), Expert system(ES), Genetic Algorithms (GA) and other more technologies that
are more effective in the design and development of intelligent autonomous systems than the predicate logic based
methods of traditional Artificial Intelligence. FL, ES, NN, and GA are well established as useful technologies that
complement each other in powerful hybrid system for example. Hybrid intelligent systems are now part of the
repertoire of computer systems developers and important research mechanisms in the study of Artificial Intelligence.
The integration of these technologies has proven to be a way to develop useful real-world applications, and hybrid
systems involving robust adaptive. More, these theories and applications provide a source linking all fields in which
intelligent control plays a dominant role. Cognition, perception, action, and learning are es²sential components of suchsystems and their use is tending extensively towards challenging applications.
Key-Words: - Expert System (ES), Fuzzy Logic( FL), Neural Networks (NN), Hybrid Intelligent Systems, Autonomous
Systems.
Most of the difficulties in this process originate in the
nature of the real world: unstructured environments and
inherent large uncertainties. First, any prior knowledge
about the environment is, in general, incomplete,
uncertain, and approximate.
The robot may have some perception capabilities,
reactive behaviors, and perhaps limited reasoning
abilities that allow it to handle an unstructured and
dynamic environment. But the user supplies the highlevel and difficult reasoning and strategic planning
capabilities.
In the context of autonomy, the main work here deals
with the navigation principle which is one of the most
vital aspect of an autonomous robot. In most practical
situations, the mobile robot cannot take the most direct
path from start to the goal point. So, path finding
techniques must be developed in these situations, and
the simplest kinds of planning mission involve going
from the start point to the goal point while minimizing
some cost such as time spent, chance of detection, etc.
Mobile Robot Navigation" covers a large spectrum of
different systems. requirements and solutions. Artificial
intelligence, including action, reaction, manipulating,
sensing, understanding, recognition and deciding, has
been actively studied and applied to domains such as
automatically control of complex systems like robot.
In fact, recognition, learning, decision-making, and
action constitute the principal obstacle avoidance
1 Introduction
The autonomous robot navigation problem has been
studied thoroughly by the robotics research community
over the last years. The basic feature of an autonomous
mobile robot is its capability to operate independently in
unknown or partially known environments.
Autonomous robots which work without interventions
are required in robotic fields. In order to achieve tasks,
autonomous robots have to be intelligent and should
decide their own action. When the autonomous robot
decides its action, it is necessary to plan optimally
depending on their tasks. More, when a robot moves
from a point to a target point in its given environment, it
is necessary to plan an optimal or feasible path avoiding
obstacles in its way and answer to some criterion of
autonomy requirements such as : thermal, energy, time,
and safety for example [8,9,11].
The autonomy implies that the robot is capable of
reacting to static obstacles and unpredictable dynamic
events that may impede the successful execution of a
task. To achieve this level of robustness, methods need
to be developed to provide solutions to localization, map
building, planning and control.
The robot needs the capability to build a map of the
environment, which is essentially a repetitive process of
moving to a new position, sensing the environment,
updating the map, and planning subsequent motion.
ISBN: 978-1-61804-108-1
146
Recent Researches in Circuits and Systems
problems, so it is interesting to replace the classical
approaches by technical approaches based on intelligent
computing technologies.
When the robot actually starts to travel along a
planned path, it may find that there are obstacles along
the path hence the robot must avoid these obstacles and
plans a new path to achieve the task of navigation.
The robot has to find a collision-free trajectory
between the starting configuration and the goal
configuration in a static or dynamic environment
containing some obstacles. Moreover, when a robot
moves in a specific space, it is necessary to select a most
reasonable path so as to avoid collisions with obstacles.
Several approaches for path planning exist for mobile
robots, whose suitability depends on a particular
problem in an application. The goal of the navigation
process of mobile robots is to move the robot to a named
place in a known, unknown or partially known
environment.
One of the specific characteristics of mobile robots is
the complexity of their environment, therefore, one of
the critical problem for the mobile robots is path finding.
Several approaches for path finding exist for mobile
robots, whose suitability depends on a particular
problem in an application.
Path planning in spatial representation for example
often requires the integration of several approaches. This
can provide efficient, accurate, and consist navigation of
a mobile robot. It is sufficient for the robot to use a
topological map that represents only the areas of
navigation (free areas, occupied areas of obstacles). It is
essential the robot has the ability to build and uses
models of its environment that enable it to understand
the environment’s structure. This is necessary to
understand orders, plan and execute paths [6,8,9].
For example, maps typically omit some details and
temporary features; also, spatial relations between
objects may have changed since the map was built.
Second, perceptually acquired information is usually
unreliable. Third, a real-world environment typically has
complex and unpredictable dynamics: objects can move,
other agents can modify the environment, and apparently
stable features may change with time. Finally, the effects
of control actions are not completely reliable, e.g. the
wheels of a mobile robot may slip, resulting in
accumulated zoometric errors.
Robot navigation can be defined as the combination of
three basic activities:
• Localization: this is the process of getting the actual
robot’s location from sensor readings and the most
recent map. An accurate map and reliable sensors are
crucial to achieving good localization.
• Path planning: This is the process of generating a
feasible and safe trajectory from the current robot
location to a goal based on the current map. In this case,
it is also very important to have an accurate map and a
reliable localization.
To evaluate the performances of systems one must
answer to all factors to be embedded with robot when it
executes its mission, this is summarized in how to
perform all tasks, such as intelligence and autonomy
requirements.
This paper draws together, and builds upon, a lot of
what is written in the domain of robotic field (navigation
process) and articles in Mobile Robot Navigation. This
paper deals with a review of some principles proposed
to an intelligent autonomous navigation process. This
paper deals with some computational tool such as Fuzzy
Logic(FL), Neural Networks (NN), Expert system(ES),
Genetic Algorithms (GA) and other more technologies
that are more effective in the design and development of
intelligent autonomous systems than the predicate logic
based methods of traditional Artificial Intelligence. FL,
ES, NN, and GA are well established as useful
technologies that complement each other in powerful
hybrid system for example.
Hybrid intelligent systems are now part of the
repertoire of computer systems developers and important
research mechanisms in the study of Artificial
Intelligence. The aim of this paper is to propose a plate
form of some definitions, basic rules and more some
principles which can be useful in some research papers.
In this context and to deal with the principle, we propose
our review of some factors before starting programs or
realization. This review is very useful to understand the
repertoire of hybrid intelligent systems.
2 Physical Scales
The physical scale of a device's navigation requirements
can be measured by the accuracy to which the mobile
robot needs to navigate - this is the resolution of
navigation. These requirements vary greatly with
application, however a first order approximation of the
accuracy required can by taken from the dimensions of
the vehicle it self. Any autonomous device must be able
to determine its position to a resolution within at least its
own dimensions, in order to be able to navigate and
interact with its environment correctly.
At the small end of the scale there are robots just a
few centimeters in size, which will require high
precision navigation over a small range (due to energy
supply constraints), while operating in a relatively tame
• Map building: this is the process of constructing a map
from sensor readings taken at different robot locations.
The correct treatment of sensor data and the reliable
localization of the robot are fundamental in the mapbuilding process.
ISBN: 978-1-61804-108-1
147
Recent Researches in Circuits and Systems
environment. To help in categorizing this scale of
requirements, we use three concepts:
4 The Hybrid Intelligent Systems
Today, researchers have at their disposal, the required
hardware, software, and sensor technologies to build
Intelligent autonomous systems . More, they are also in
possession of some computational tool such as Fuzzy
Logic(FL), Neural Networks (NN), Expert system(ES),
Genetic Algorithms (GA) and other more technologies
that are more effective in the design and development of
intelligent autonomous systems than the predicate logic
based methods of traditional Artificial Intelligence.
Fuzzy Logic FL and Expert System ES are well
established as useful technologies that complement each
other in powerful hybrid system for example.
Hybrid intelligent systems are now part of the
repertoire of computer systems developers and important
research mechanisms in the study of Artificial
Intelligent. The integration of ES and FL has proven to
be a way to develop useful real-world applications, and
hybrid systems involving robust adaptive.
2.1 Global navigation
Global navigation is the ability to determine one's
position in absolute or map-referenced terms, and to
move to a desired destination point.
2.2 Local navigation, the ability to determine one's
position relative to objects (stationary or moving) in the
environment, and to interact with them correctly.
2.3 Personal navigation, which involves being aware
of the positioning of the various parts that make up
oneself, in relation to each other and in handling objects
3 Autonomous mobile robots
Autonomous robots are robots which can perform
desired tasks in unstructured Environment without
continuous human guidance. Many kinds of robots can
be autonomous. In different ways, a high degree of
autonomy is particularly desirable in fields such as space
exploration, cleaning floors, moving lawns, and waste
water treatment. .
Some modern factory robots are “autonomous “
within the strict confines of their direct environment .it
may not be that every degree of freedom exists in their
surrounding environment but the factory robots
workplace is challenging and can often contain chaotic
,unpredicted variables. The exact orientation and
position of the next object and the required task must be
determined. This can vary unpredictably at least from the
robots point of view. One important area of robotics
research is to enable the robot to cope with its
environment whether this is on land, underwater, in the
air, underground, or in space for example [1,2,3,4].
A robot is a "device" that responds to sensory input by
running a program automatically without human
intervention. Typically, a robot is endowed with some
artificial intelligence so that it can react to different
situations it may encounter. The robot is referred to be
all bodies that are modelled geometrically and are
controllable via a motion plan.
A robotic vehicle is an intelligent mobile machine
capable of autonomous operations in structured and
unstructured environment. It must be capable of sensing
thinking and acting. The mobile robot is an appropriate
tool for investigating optional artificial intelligence
problems relating to world understanding and taking a
suitable action, such as , planning missions, avoiding
obstacles, and fusing data from many sources.
ISBN: 978-1-61804-108-1
4.1 Expert System
An ES is a computer program that functions, is in a
narrow domain, dealing with specialized knowledge,
generally possessed by human experts. ES is able to draw
conclusions without seeing all possible information and
capable of directing the acquisition of new information in
an efficient manner
4.2 Robot Control
Traditionally, motion planning and control have been
separate fields within robotics. However, this historical
distinction is at best arbitrary and at worst harmful to the
development of practically successful algorithms for
generating robotic motion. It is more useful to see
planning and control as existing on the same continuum.
In assistive robotics, a manipulator arm constitutes
one possible solution for restoring some manipulation
functions to victims of upper limb disabilities. The aim
of research work is to present a global strategy of
approach of an assistive mobile manipulator
(manipulator arm mounted on a mobile base). A
manipulability criterion is defined to deal with the
redundancy of the system. The aim is to keep the arm
manipulable, i.e. capable of moving by itself. The
strategy is based on human-like behaviour to help the
disabled operator to understand the action of the robot.
When the robot is far from its objective only the
mobile base moves; thus avoiding obstacles if necessary.
When the objective is close to the robot, both mobile
base and arm move and redundancy can be used to
maximise a manipulability criterion. The partial results
obtained with the real robot consolidate the results of
simulation. The work does not propose an autonomous
148
Recent Researches in Circuits and Systems
path planning and navigation of the mobile arm but
assistance to the user for remote controlling it.
The control task becomes more complex when the
configuration of obstacles is not known a priori. The
most popular control methods for such systems are based
on reactive local navigation schemes that tightly couple
the robot actions to the sensor information. Because of
the environmental uncertainties, fuzzy behaviour
systems have been proposed by researchers. The most
difficult problem in applying fuzzy-reactive-behaviourbased navigation control systems is that of arbitrating or
fusing the reactions of the individual behaviours, which
is addressed in this work by the use of preference logic.
Fuzzy Logic
To build intelligent systems that are able to perform
complex requiring massively parallel computation, a
knowledge of the environment structure and interacting
with it involves abstract appreciation of natural concepts
related to, the proximity, degree of danger, etc. the
implied natural language is represented through fuzzy
sets involving classes with gradually varying transition
boundaries. As human reasoning is not based on the
classical two-valued logic, this process involves fuzzy
truths, fuzzy deduction rules, etc. This is the reason why
FL is closer to human thinking and natural language than
classical logic.
Fuzzy models can obviously be made to work very well
indeed. The big advantage of a fuzzy model is that it is
relatively simple to construct and is in itself a simple
structure. It does not require the modeller to have a deep
mathematical insight, but relies more on intuition and
experience of the process. Its greatest value must be,
therefore, in those areas where such qualitative process
knowledge is predominant and essential for
understanding. As an example of fuzzy model, the figure
1 presents one model of navigation of an autonomous
mobile robots ( see the reference [7] for more details) :
A1
D1
FL
Model
Df
Af
D2
Fig.1: Fuzzy model
Where:
Ai: the direction of the robot. Di: intermediate distance
(see the figure2).
A1: the direction of the robot.D1, D2: intermediate distance
between current position, intermediate position and visual
point (see the figure2).
The direction A1 is calculated by :
V Visual
point
Intermediate
I position
C
Current
position
obstacle
Y
X
Fig.2 : Robot obstacle mode avoidance
Defuzzification is the output of the fuzzy system, it is
a decision-making logic ( written in a formula) adopted
for the compute of the real value of the output. The final
decision (defuzzification) is achieved to give the output
of fuzzy controls and to converts the fuzzy output value
produced by rules. The system must decide how to give
the right output using fuzzy logic from a fuzzy linguistic
formulation. The generation of rules operates itself
according to the distribution of the training whole in
fuzzy
linguistic
terms.
The
final
decision
(deffuzification) is accomplished to convert input of the
fuzzy system after treatments with the inference rules.
The final decision (defuzzification) is achieved to
give the output of fuzzy controls and to converts the
fuzzy given here for our example by:
G = (the sum of (ui * gi ) / the sum of (ui) )
A1= tan -1 (Yg-Yi)/(Xg-Xi)
Where : 1<=i<=m, m : number of rule, g: centroid of the
Where
ISBN: 978-1-61804-108-1
The P1(x1,y1), Pi(xi, yi), and Pg (xg, yg) are the
coordinates of respectively to initial point , intermediate
and visual point ( we calculate point to point until the
visual point become the target one). The vehicle must
learn to decided Af and Df using FL from a fuzzy
linguistic formulation of human expert knowledge. This
FL is trained to capture the fuzzy linguistic formulation
of this expert knowledge is used and a set of rules are
then established in the fuzzy rule « if A then B », for
more details, see the reference [5,7]. The expert system
represents a good part of activities of the Artificial
intelligence that makes call to knowledge on the domain
treaty, these systems are capable to reach human expert
performances for various types of tasks (diagnosis,
conception in restraint domains). As an example here,
the principle of the technique consists in verifying for
every degree membership function a whole of rules, or
each rule is the shape: IF <cond> THEN <name of the
stain>, Where <cond> is a combination of predicates
translating the spatial relations between the primitive of
the unknown shape (if the logic used by the ES is the one
of predicates).
149
Recent Researches in Circuits and Systems
unsupervised manner, i.e., with no “ supervisor or
teacher” required.
backend
membership function correspond
for each rule. U: factor of membership correspond for
each rule.
This intelligent task uses the fuzzy linguistic terms
and calculates for each degree of membership functions
under expertise of an expert system ES. An ES is a
computer program that functions, is in a narrow domain,
dealing with specialized knowledge, generally possessed
by human experts
4.3
4.4 Genetic Algorithms (GA)
Neural Networks
Neural Networks deal with cognitive tasks such as
learning, adaptation generalization and they are well
appropriate when knowledge based systems are involved.
In general Neural Networks deal with cognitive tasks
such as learning, adaptation generalization and they are
well appropriate when knowledge based systems are
involved. The adaptation is largely related to the learning
capacity since the network is able to take into account
and respond to new constraints and data related to the
external environments. Just as human being, a neural
network relies on previously solved examples to build a
system of “neurons” that makes new decisions,
classification and forecasts.
In designing a Neural Networks navigation approach,
the ability of learning must provide robots with capacities
to successfully navigate in the environments like our
proposed work maze environment, see the references
[12,13]. Also, robots must learn during the navigation
process, build a map representing the knowledge from
sensors, update this one and use it for intelligently
planning and controlling the navigation.
The general structure of the proposed Neural Networks
navigation is presented as follow:
Knowledge mapping: the model of the external
environment plays an important role in the intelligent
robot behavior. The human brain is able to create -simple
maps of the external environment by compressing the
huge amount of received sensory data, while preserving
the relationships between important facts.
Action: the different map sensory informations are
classified in several vectors where each component
responds to a particular situation. These situations must
be associated with the appropriate action taking
advantage of the topology preserving property of the
network.
Crossover
Parent
Point
Children
Figure 1 : Example of Crossover on
single point
Reinforcement learning: reinforcement learning allows
associations between detected sensory situations and
appropriate actions trough “ trial and error” learning. This
one uses only a priori knowledge such as “asked
response” is executed. These associations are formed in
ISBN: 978-1-61804-108-1
GAs are search algorithms based on the mechanics of
natural genetics. A genetic algorithm for an optimization
problem consists of two major components. First, GA
maintains a population of individual corresponds to a
candidate solution and the population is a collection of
such potential solutions. In GA, an individual is
commonly represented by a binary string the mapping
between solutions and binary strings is called a “coding”.
GA has been theoretically and empirically proven to
provide robust search capabilities in complex spaces
offering a valid approach to problems requiring efficient
and effective searching .
Before the GA search starts,
candidates of solution are represented as binary bit
strings and are prepared. This is called a population. A
candidate is called a chromosome (in the case of an
autonomous mobile robot: the path is a “chromosome”
and positions are the “genes”).
Also, an evolution function, called fitness function,
needs to be defined for a problem to be solved in order to
evaluate chromosome. As fitness function, we should
define distance for each chromosome to give an
evaluation function.
This evaluation is the goal of the GA search and goes
as follows: two (02) chromosomes are chosen randomly
from populations are mated and they go through
operations like the crossover to yield better chromosomes
for next generations. To determine execution of the GA,
we must specify a stopping criterion, in our case; it could
be determined, by a probabilistic function: as we have
four chromosomes and we choose randomly two
chromosomes, to combine and to compare one path with
itself. The crossover is the comparison operator (see
Fig.1).
Therefore, after several generations of GA search ( The
problem of mutation, see Fig.2), relatively low fitness of
chromosomes remain in a population and some of them
are chosen as the solution of the problem (the most
preferable path).ore detail, see the reference [10].
150
Recent Researches in Circuits and Systems
2002, pp. 113-126.
Origin chromosom
New Chromosome
1
0
1
1
1
1
[3]A.KRUPA and F.CHAUMETTE, Guidance of an
ultrasound probe by visual servoing, Advanced
Robotics,2006, Vol. 20, No. 11, pp. 1203–1218 .
[4]S.Florczyk, Robot VisionVideo-based Indoor
Exploration with Autonomous and Mobile Robots,
WILEY-VCH Verlag GmbH & Co. KGaA,
Weinheim, 2005.
[5] O.Hachour and N.Mastorakis, IAV : A VHDL
methodology for FPGA implementation, WSEAS
transaction on circuits and systems, Issue5,
Volume3,ISSN 1109-2734, pp.1091-1096.
[6] O.Hachour, Path planning of autonomous mobile
robot, International Journal Of System Applications,
Engineering
&
Developments,
issue4,
volume2,2008,pp.178-190.
[7] O.Hachour, The proposed Fuzzy Logic Navigation
approach of Autonomous Mobile robots in unknown
environments,
International
journal
of
mathematical models and methods in applied
sciences, Issue 3, Volume 3, 2009 , pp 204-218.
[8]O.Hachour, the proposed hybrid intelligent system
for path planning of Intelligent Autonomous
Systems, International journal of mathematics and
computers in simulation,Issue 3, Volume 3, 2009,
Pages 133-145.
[9]O. Hachour, ,“path planning of Autonomous
Mobile Robot”, International Journal of Systems
Applications, Engineering & Development, Issue4,
vol.2, 2008, pp178-190.
[10]O.Hachour, “The Proposed Genetic FPGA
Implementation For Path Planning of Autonomous
Mobile Robot”, International Journal of Circuits ,
Systems and Signal Processing, Issue 2, vol2
,2008,pp151-167
[11] Hachour Ouarda, “Autonomous Mobile Robots
Motion in Unknown Environments”, recent
researches in system science, proceeding of the 15th
WSEAS international conference on systems (part of
the 15th WSEAS CSCC multiconference” ISSN
:1792-4235;
ISBN : 978-1-61804-23-7, Corfu
Island, Greece, july2011, pp54-59.
[12] Hachour Ouarda, “The Proposed Neural Networks
Navigation Approach”, Applied Mathematics and
Informatics, European Society for Applied
Mathematics – EuroSAM, European Conference for
the
APPLIED
MATHEMATICS
and
INFORMATICS Vouliagmeni, Athens, Greece,
December 29-31, 2010 ISSN: 1792-7390, ISBN:
978-960-474-260-8,2010, pp 88-93.
[13] Hachour Ouarda , “Neural Path planning For
Mobile Robots”, INTERNATIONAL JOURNAL OF
SYSTEMS APPLICATIONS, ENGINEERING &
DEVELOPMENT , Issue 3, Volume 5, 2011, pp
367-376.
Figure. 2: Example of Mutation in the
second bit.
5 Conclusion
The theory and practice of IAS Intelligent Autonomous
Systems are currently among the most intensively
studied and promising areas in computer science and
engineering which will certainly play a primary goal
role in future.
In this paper, we have presented some previous
software implementations of navigation approach of an
autonomous mobile robot in an unknown environment,
Where the principle of using Fuzzy Logic(FL), Neural
Networks (NN), Expert system(ES), Genetic
Algorithms (GA) . These technologies are more
effective in the design and development of intelligent
autonomous systems than the predicate logic based
methods of traditional Artificial Intelligence. FL, ES,
NN and GA are well established as useful technologies
that complement each other in powerful hybrid system
for example.
These theories and applications provide a source
linking all fields in which intelligent control plays a
dominant role. Cognition, perception, action, and
learning are essential components of such-systems and
their use is tending extensively towards challenging
applications (service robots, micro-robots, bio-robots,
guard robots, warehousing robots).
This hybrid proposition has made the robot able to
achieve these tasks : avoiding obstacles, deciding,
perception, and recognition which are the main factors
to be realized of autonomy requirements. Hence; the
combination and hybrid principle are promising for
robust powerful movement task of an autonomous
mobile robot .
References:
[1]T.Willeke, C.Kunz, I.Nourbakhsh, The Personal
Rover Project : The comprehensive Design Of a
dometic personal robot, Robotics and Autonomous
Systems (4), Elsevier Science, 2003, pp.245-258.
[2]A.Howard, M.J MatariĆ and G.S.Sukhatme, An
Incremental Self-Deployment Algorithm for mobile
Sensor Networks, autonomous robots, special Issue
on Intelligent Embedded Systems, 13(2), September
ISBN: 978-1-61804-108-1
151