We present in this paper our current investigations dealing with reflection for code mobility. Our study is about reifying different concerns of mobile agent systems in order to ease their customization. Reflection enables the construction of open mobile agent systems and helps separation of concerns. Following previous ideas introduced for reflective middleware, we consider run-time adaptabili...

We propose a dialogue protocol for situations in which an agent makes to another agent an assertion that the other agent finds impossible to believe. In this interaction, unbelievable assertions are rejected using explanations formed by logical interpolation and new assertions are being made such that all previous rebuttals are taken into account.

Satellites are being used to capture real-time images, video for various purposes, such as, observing the Earth, weather data, live images for tornado, cyclones, tsunami, etc. In future, these data can be accessed by terrestrial users through the Internet. Mobility protocols aim at providing uninterrupted realtime data communication facilities through seamless Internet connectivity to hosts or ...

This paper deals with assurance of logical agent systems via runtime self-monitoring and checking. We adopt temporal-logic-based special constraints to be dynamically checked at a certain (customizable) frequency. These constraints are based upon a simple interval temporal logic particularly tailored to the agent realm, A-ILTL (‘Agent-Oriented Interval LTL’, LTL standing as customary for ‘Linea...

In this thesis, we propose a unified framework for the pragmatics and the semantics of agent communication. Pragmatics deals with the way agents use communicative acts when conversing. It is related to the dynamics of agent interactions and to the way of connecting individual acts while building complete conversations. Semantics is interested in the meaning of these acts. It lays down the found...

The increasing convergence of power-law networks such as social networking and peer-to-peer applications, web-delivered applications, andmobile platformsmakes today’s users highly vulnerable to entirely new generations ofmalware that exploit vulnerabilities in web applications and mobile platforms for new infections, while using the power-law connectivity for finding new victims. The traditiona...

Recent applications of plan recognition require observing agents whose behavior is reactive, in that the observed agent may be so intelligent as to coordinate their plans. With the analysis of these domain characteristics in military plan recognition, we propose that the multi-agent tactical plan recognition is essentially a problem about abduction, and detail the knowledge organization and log...

Electric Vehicles (EVs) have seen significant growth in sales recently and it is not clear how power systems will support the charging of a great number of vehicles. This paper proposes a methodology which allows the aggregated EV charging demand to be determined. The methodology applied to obtain the model is based on an agent-based approach to calculate the EV charging demand in a certain are...

This chapter presents research results achieved in the ACTS AC338 project MIAMI (Mobile Intelligent Agents for Managing the Information Infrastructure). The MIAMI [1], [9] project focuses on the investigation of agent mobility and intelligence and the advantages of mobility in the context of service management and advanced communication services. MIAMI developed a unified Mobile Intelligent Age...