The field of multi-agent system (MAS) is an active area of research within artificial intelligence, with an increasingly important impact in industrial and other real-world applications. In a MAS, autonomous agents interact to pursue personal interests and/or to achieve common objectives. Distributed Constraint Optimization Problems (DCOPs) have emerged as a prominent agent model to govern the agents' autonomous behavior, where both algorithms and communication models are driven by the structure of the specific problem. During the last decade, several extensions to the DCOP model have been proposed to enable support of MAS in complex, real-time, and uncertain environments. This survey provides an overview of the DCOP model, offering a classification of its multiple extensions and addressing both resolution methods and applications that find a natural mapping within each class of DCOPs. The proposed classification suggests several future perspectives for DCOP extensions and identifies challenges in the design of efficient resolution algorithms, possibly through the adaptation of strategies from different areas.

In recent years, Answer Set Programming has gained popularity as a viable paradigm for applications in knowledge representation and reasoning. This paper presents a novel methodology to compute answer sets of an answer set program. The proposed methodology maintains a bottom-up approach to the computation of answer sets (as in existing systems), but it makes use of a novel structuring of the computation, that originates from the non-ground version of the program. Grounding is lazily performed during the computation of the answer sets. The implementation has been realized using Constraint Logic Programming over finite domains.

The paper introduces the notion of offline justification for answer set programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom with respect to a given answer set. The paper extends also this notion to provide justification of atoms during the computation of an answer set (on-line justification) and presents an integration of online justifications within the computation model of Smodels. Offline and online justifications provide useful tools to enhance understanding of ASP, and they offer a basic data structure to support methodologies and tools for debugging answer set programs. A preliminary implementation has been developed in – .

This technical note describes a monotone and continuous fixpoint operator to compute the answer sets of programs with aggregates. The fixpoint operator relies on the notion ofaggregate solution. Under certain conditions, this operator behaves identically to the three-valued immediate consequence operator Φ^aggr_Pfor aggregate programs, independently proposed in Pelov (2004) and Pelovet al.(2004). This operator allows us to closely tie the computational complexity of the answer set checking and answer sets existence problems to the cost of checking a solution of the aggregates in the program. Finally, we relate the semantics described by the operator to other proposals for logic programming with aggregates.

This paper provides a survey of the literature on the application of Multi-agent Systems (MAS) technology for Smartgrids. Smartgrids represent the next generation electric network, as communities are developing self-sufficient and environmentally friendly energy production. As a cyber-physical system, the development of the vision of Smartgrids requires the resolution of major technical problems; this has fed over a decade of research. Due to the stochastic, intermittent nature of renewable energy resources and the heterogeneity of the agents involved in a Smartgrid, demand and supply management, energy trade and control of grid elements constitute great challenges for stable operation. In addition, in order to offer resilience against faults and attacks, Smartgrids should also have restoration, self-recovery and security capabilities. Multi-agent systems (MAS) technology has been a popular approach to deal with these challenges in Smartgrids, due to their ability to support reasoning in a distributed context. This survey reviews the literature concerning the use of MAS models in each of the relevant research areas related to Smartgrids. The survey explores how researchers have utilized agent-based tools and methods to solve the main problems of Smartgrids. The survey also discusses the challenges in the advancement of Smartgrid technology and identifies the open problems for research from the view of multi-agent systems.