In this paper, we present PRACTIONIST (PRACTIcal reasONIng sySTem), a new framework built on the Bratman’s theory of practical reasoning to support the development of BDI agents in Java (using JADE) with a Prolog belief base. We aims at reducing the gap between the expressive power of the BDI model and the difficulty of efficiently implementing its features. In PRACTIONIST we adopt a goal-orien...

Cyber physical systems (CPSs) are pervasive in our daily life from mobile phones to auto driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual...

This chapter proposes the adaptive agent model (AAM) for agent-oriented system development. In AAM, requirements can be transformed into externalised business rules. These rules represent agent behaviours, and collaboration between agents using the rules can be modelled using extended UML diagrams. Specifically, a UML structural model and a behavioural model are employed. XML is used to further...

Nowadays a whole bunch of different agent platforms exists that aim to support the software engineer in developing multi-agent systems. Nevertheless most of these platforms concentrate on specific objectives and therefore cannot address all important aspects of agent technology equally well. A broad distinction in this field can be made between middlewareand reasoning-oriented systems. The firs...

Model-based diagnosis is a successful AI technique for diagnosing physical systems but faces new challenges when applied to finding faults in software, i.e., debugging. Previous work has mostly dealt with modeling the behavior of programming languages with exploitable special properties: logic, concurrent, or functional. In this paper we describe the objectives, the current state, and the addre...

One of the key problems of recent years has been the divide between theoretical work in agent-based systems and its practical complement which have, to a large extent, developed along different paths. The Paradigma implementation framework has been designed with the aim of narrowing this gap. It relies on an extensive formal agent framework implemented using recent advances in Java technology. ...

In order to fill the gap between design and implementation of multi-agent systems, we introduce an intermediary phase in the development process that consists in implementing applicationspecific “models of agents”. Their realisation using multi-level software architectures relies on software components for separation of concerns and complies with agent-oriented requirements. Then, a dedicated a...

The complexity of distributed systems (multi-agent systems in particular) involves the design and coordination of many entities (called agents). This activity is not trivial and there is not a standard way to do this. So, it is desirable to have tools for reusing previous designed components and relations between them. Frameworks allow design and code to be reused. Intelligent agents cover a bi...

With the development of Internet computing and software agent technologies, agentbased e-commerce is emerging. How to create agents for e-commerce applications has become an important issue along the way to success. We propose a factory-based approach to support agent fabrication in e-commerce and elaborate a design based on the SAFER (Secure Agent Fabrication, Evolution & Roaming) framework. T...

This paper describes the implementation of Multi Agent System (MAS) for advanced distributed energy management of a solar micro-grid. We consider a grid connected solar micro-grid with two solar Photo Voltaic (PV) systems, and each system contains a local consumer, a solar PV system and a battery. First we measure the load patterns and solar power generated in the two solar units. Then we use M...