Modeling, Analysing, and Control of Agents Behaviour

Modeling, Analysing, and Control of Agents Behaviour

František Capkovic (Institute of Informatics, Slovak Academy of Sciences, Slovak Republic)
Copyright: © 2009 |Pages: 27
DOI: 10.4018/978-1-59904-576-4.ch014
OnDemand PDF Download:


An alternative approach to modeling and analysis of agents’ behaviour is presented in this chapter. The agents and agent systems are understood here to be discrete-event systems (DES). The approach is based on the place/transition Petri nets (P/T PN) that yield both the suitable graphical or mathematical description of DES and the applicable means for testing the DES properties as well as for the synthesis of the agents’ behaviour. The reachability graph (RG) of the P/T PN-based model of the agent system and the space of feasible states are found. The RG adjacency matrix helps to form an auxiliary hypermodel in the space of the feasible states. State trajectories representing the actual interaction processes among agents are computed by means of the mutual intersection of both the straight-lined reachability tree (developed from a given initial state toward a prescribed terminal one) and the backtracking reachability tree (developed from the desired terminal state toward the initial one; however, oriented toward the terminal state). Control interferences are obtained on the base of the most suitable trajectory chosen from the set of feasible ones.
Chapter Preview


Behaviour of an agent in surroundings as well as among other agents in multi-agent systems (MAS) is one of the most important parts of the research in the intelligence integration. Agents are usually understood (Fonseca, Griss, & Letsinger, 2001) to be persistent (especially software, but not only software) entities that can perceive, reason, and act in their environment and communicate with other agents. Hence, MAS can be apprehended as a composition of collaborative agents working in shared environment. The agents together perform a more complex functionality. Communication enables the agents in MAS to exchange information. Thus, the agents can coordinate their actions and cooperate with each other. However, an important question arises here, namely: What communication mechanisms enhance the cooperation between communicating agents?

In general, the agent interaction is a specialized kind of the behaviour. Roughly speaking, the agent behaviour has both internal and external attributes. From the external point of view the agent is (Demazeau, 2003) a real or virtual entity that (i) evolves in an environment; (ii) is able to perceive this environment; (iii) is able to act in this environment; (iv) is able to communicate with other agents; and (v) exhibits an autonomous behaviour. On the other hand, from the internal point of view, the agent is a real or virtual entity that encompasses some local control in some of its perception, communication, knowledge acquisition, reasoning, decision, execution, and action processes. While the internal attributes characterize, rather, the agent inherent abilities, different external attributes of agents manifest themselves in different measures in a rather wide spectrum of MAS applications, like for example, computer-aided design, decision support, manufacturing systems, robotics and control, traffic management, network monitoring, telecommunications, e-commerce, enterprise modeling, society simulation, office and home automation, and so forth. Even (Demazeau, 2003), the applications in computer vision, natural language processing, spatial data handling and so forth, are known as well.

It is necessary to distinguish two groups of agents or agent societies, namely, human and artificial. The principle difference among them consists especially in the different internal abilities. These abilities are studied by many branches of sciences including those finding themselves out of the technical branches; for example, economy, sociology, psychology, and so forth. This chapter does not set itself these abilities as a goal of studies. It takes no account of the causes of them. Simply said, the internal behaviour happens and it is practically idle to consider how it happens. Here, the appearance of the internal abilities in the form of discrete events is important only. However, on the other hand, the external (i.e., inter-agent) behaviour is very important as to the quality of the communication or cooperation process in MAS. At the cooperation in MAS two principle characteristics of the agents are usually distinguished. Namely, either each agent is able to solve the whole problem but the use of many agents in parallel speeds up the problem solving, or the agents are specialized to solve different subproblems. While, in the former case, the cooperation consists of the purely physical (i.e., spatial or temporal) decomposition of the work between the agents, for example, each agent either solves a part of the problem or works for a given time, in the latter case each agent solves the problem for which it is specialized. However, a mix both of them seems to be more effective. Namely, it is very useful when an agent being free is able to substitute (at least partially) the activities of another agent in case of a failure or to help another agent asking for help (e.g., in case when it is not able to solve a problem).

As to the agent abilities, we can speak about cognitive and reactive agents. The cognitive agents are those that can form plans for their behaviours, whereas reactive agents are those that just have reflexes. Ferber (1999) showed how both approaches could converge in the end. Namely, one kind of research focuses on the building of individual intelligences whose communication is organised, whereas the other imagines very simple entities whose coordination emerges in time without the agents being conscious of it. However, in fact, a number of different schools of MAS persist, all coming from different theoretical backgrounds.

Complete Chapter List

Search this Book:
Table of Contents
Dariusz Król, Ngoc Thanh Nguyen
Chapter 1
Juliusz L. Kulikowski
In this chapter, a concept of using incomplete or fuzzy ontologies in decision making is presented. A definition of ontology and of ontological... Sample PDF
Logical Inference Based on Incomplete and/or Fuzzy Ontologies
Chapter 2
Amelia Badica, Costin Badica, Elvira Popescu
The Web is designed as a major information provider for the human consumer. However, information published on the Web is difficult to understand and... Sample PDF
Using Logic Programming and XML Technologies for Data Extraction from Web Pages
Chapter 3
Andreas Jacobsson, Paul Davidsson
This chapter introduces a formal model of virtual enterprises, as well as an analysis of their creation and operation. It is argued that virtual... Sample PDF
A Formal Analysis of Virtual Enterprise Creation and Operation
Chapter 4
Donat Orski
The chapter concerns a class of systems composed of operations performed with the use of resources allocated to them. In such operation systems... Sample PDF
Application of Uncertain Variables to Knowledge-Based Resource Distribution
Chapter 5
Clive Fencott
This chapter undertakes a methodological study of virtual environments (VEs), a specific subset of interactive systems. It takes as a central theme... Sample PDF
A Methodology of Design for Virtual Environments
Chapter 6
Salvador Sanchez-Alonso, Dirk Frosch-Wilke
In current organizations, the models of knowledge creation include specific processes and elements that drive the production of knowledge aimed at... Sample PDF
An Ontological Representation of Competencies as Codified Knowledge
Chapter 7
Marcos De Oliveira, Martin Purvis
In the distributed multi-agent systems discussed in this chapter, heterogeneous autonomous agents interoperate in order to achieve their goals. In... Sample PDF
Aspects of Openness in Multi-Agent Systems: Coordinating the Autonomy in Agent Societies
Chapter 8
Kostas Kolomvatsos, Stathes Hadjiefthymiades
The field of Multi-agent systems (MAS) has been an active area for many years due to the importance that agents have to many disciplines of research... Sample PDF
How Can We Trust Agents in Multi-Agent Environments? Techniques and Challenges
Chapter 9
Mariusz Nowostawski
The concept of autonomy is one of the central concepts in distributed computational systems, and in multi-agent systems in particular. With diverse... Sample PDF
The Concept of Autonomy in Distributed Computation and Multi-Agent Systems
Chapter 10
Maryam Purvis, Toktam Ebadi, Bastin Tony Roy Savarimuthu
The objective of this research is to describe a mechanism to provide an improved library management system using RFID and agent technologies. One of... Sample PDF
An Agent-Based Library Management System Using RFID Technology
Chapter 11
Sharmila Savarimuthu, Martin Purvis, Maryam Purvis, Mariusz Nowostawski
Societies are made of different kinds of agents, some cooperative and uncooperative. Uncooperative agents tend to reduce the overall performance of... Sample PDF
Mechanisms to Restrict Exploitation and Improve Societal Performance in Multi-Agent Systems
Chapter 12
Bastin Tony Roy Savarimuthu, Maryam Purvis, Stephen Cranefield
Norms are shared expectations of behaviours that exist in human societies. Norms help societies by increasing the predictability of individual... Sample PDF
Norm Emergence in Multi-Agent Societies
Chapter 13
Scott A. DeLoach, Madhukar Kumar
This chapter provides an overview of the Multi-agent Systems Engineering (MaSE) methodology for analyzing and designing multi-agent systems. MaSE... Sample PDF
Multi-Agent Systems Engineering: An Overview and Case Study
Chapter 14
František Capkovic
An alternative approach to modeling and analysis of agents’ behaviour is presented in this chapter. The agents and agent systems are understood here... Sample PDF
Modeling, Analysing, and Control of Agents Behaviour
Chapter 15
Martin Tabakov
This chapter presents a methodology for an image enhancement process of computed tomography perfusion images by means of partition generated with... Sample PDF
Using Fuzzy Segmentation for Colour Image Enhancement of Computed Tomography Perfusion Images
Chapter 16
Giovanni Vincenti, Goran Trajkovski
This chapter presents an innovative approach to the field of information fusion. Fuzzy mediation differentiates itself from other algorithms, as... Sample PDF
Fuzzy Mediation in Shared Control and Online Learning
Chapter 17
Adam Jatowt, Yukiko Kawai, Katsumi Tanaka
The Web is a useful data source for knowledge extraction, as it provides diverse content virtually on any possible topic. Hence, a lot of research... Sample PDF
Utilizing Past Web for Knowledge Discovery
Chapter 18
Dariusz Król
In this chapter, we propose a generic framework in C# to distribute and compute tasks defined by users. Unlike the more popular models such as... Sample PDF
Example-Based Framework for Propagation of Tasks in Distributed Environments
Chapter 19
Xia Xie, Jin Huang, Song Wu, Hai Jin, Melvin Koh, Jie Song, Simon See
In this chapter, we present a survey on some of the commercial players in the Grid industry, existing research done in the area of market-based Grid... Sample PDF
Survey on the Application of Economic and Market Theory for Grid Computing
About the Contributors