DALI Logical Agents into Play

2008

Abstract Many interesting architectures for defining intelligent agents have been proposed in the last years. Logic-based architectures have proved effective for reproducing “intelligent” behavior while staying within a rigorous formal setting. In this paper, we present the DALI multi-agent architecture, a logic framework for defining intelligent agents and multiagent systems.

Intelligenza Artificiale, 2011

Lecture Notes in Computer Science, 2004

We acknowledge support by the Information Society Technologies programme of the European Commission, Future and Emerging Technologies under the IST-2001-37004 WASP project.

DALI is a logic programming agent-oriented language defined in [1,2,3,4], fully formalized in [5,6]. DALI is fully implemented, and has been used in practice in a variety of applications [7,8,9,10]. A stable release of the DALI interpreter is publicly available at [11]. For the definition of DALI we have built under many respects upon our past work about meta-reasoning and reflection in logic programming languages [12,13,14,15,16]. In this work in particular, issues related to meta-level representation of predicates, atoms and rules are discussed in depth.

Annals of Mathematics and Artificial Intelligence, 2011

Multi agent systems have been invented 20 years ago and the theory has matured in the last two decades. Logic has and still is playing a prominent part in the basic foundations of agency and also in the development of agent programming languages, the specification and verification of agent systems. This paper is a (subjective) overview of the points of contact of logic and agents as the authors perceived it over the years.

2008

In this paper, we briefly describe recent research directions of the Artificial Intelligence group of the University of L'Aquila, Italy. Research activities concern Computational Logic and mainly Intelligent Logical Agents. In fact, in the last years the group has developed the logical agentoriented language DALI. However, work is under way also in other areas, like, eg, Non-Monotonic Reasoning and Natural Language Processing. We particularly emphasize recent and future work directions.

2011

Abstract. In this paper, we extend our previous approach to memory in the DALI language from facts to (sets of) rules, and we extend their management by introducing operators for reasoning about the context and agent is involved in, and about modules that should be associated to that context in the working memory. We exploit and extend our past work where we introduced meta-axioms for run-time self-checking and self-reconfiguration and the possibility of employing sub-modules for various forms of reasoning.

Formal Approaches to Agent-Based …, 2002

In this paper we address the task of organising multi-agent systems in order to collectively solve problems. We base our approach on a logical model of rational agency comprising a few simple, but powerful, concepts. While many other researchers have tackled this problem using formal logic, the important aspect of the work described here is that the logical descriptions of the agents are directly executable using the Concurrent MetateM framework, allowing the execution of agents described in a combination of temporal, belief and ability logics. Here, we are particularly concerned with exploring some of the possible logical constraints that may be imposed upon these agents, and how these constraints affect the ability of the agents to come together to collectively solve problems.

2023

We argue for an informational view of logic according to which reasoning phenomena are conceived as operations performed by embodied and situated agents. We maintain that such a view allows us to account naturally for the emergence of non-classical logics, logical pluralism and logical dynamics. Further, we discuss in broad terms a promising informational approach to logic which naturally provides a means to model realistic resource-bounded (classical and non-classical) agents.