Computational Logics and Agents: A Road Map of Current Technologies and Future Trends

Abstract

The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation. However, with dependability and safety in mind, it is vital that the mechanisms for representing and implementing agents are clear and consistent. Hence there has been a strong research effort directed at using formal logic as the basis for agent descriptions and agent implementation. Such a logical basis not only presents the clarity and consistency required but also allows for important techniques such as logical verification to be applied.We present a roadmap of research into the use of computational logic in agent-based systems and survey much of the recent work in these areas. Even though, with such a rapidly changing field, it is impossible to cover every development, we aim to give the reader sufficient background to understand the current research problems and potential future developments in this maturing area.

Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation

“…Nor are all actions necessarily observable; which underscores our point of concern about efficacy and efficiency of observation attempts, and correspondent resource allocation. In the last decade, as agent systems have been increasingly used in several real-world applications (see [15] and the many references therein), the issue of runtime verification of properties, which express the correct functioning of the system with respect to its specification, has become increasingly important. In previous work, Costantini et al developed a framework for logic evolving agents (cf.…”

Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach

“…Agent-oriented software engineers can choose from a substantial number of agent platforms [18,11,16,5]. Tools like JADE [8], TuCSoN [20], DESIRE [12], JaCaMo [10], all provide coordination mechanisms and communication infrastructures [11] but, in our opinion, they lack of abstractions that allow a clear and explicit modeling of interaction.…”

A BDI Architecture for High Level Robot Deliberation

“…It is one of the most recognized and studied agent architectures in the literature [7]. The BDI framework involves two aspects in the area of intelligent agents: it is an agent theory and it is a practical agent architecture.…”