DALI Logical Agents into Play
نویسندگان
چکیده
منابع مشابه
DALI: An Architecture for Intelligent Logical Agents
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 multi-
متن کاملDALI, RASP, Mnemosine: Computational Logic at Work
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 agent-oriented language DALI. However, work is under way also in other areas, like, e.g., Non-Monotonic Reason...
متن کاملThe DALI Logic Programming Agent-Oriented Language
DALI [3] [2] is an Active Logic Programming Language designed in the line of [6] for executable specification of logical agents. A DALI agent is a logic program that contains a particular kind of rules, reactive rules, aimed at interacting with an external environment. The reactive and proactive behavior of the DALI agent is triggered by several kinds of events: external, internal, present and ...
متن کاملDefining and Maintaining Agent's Experience in Logical Agents
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-check...
متن کاملRule-Based Supervisor and Checker of Deep Learning Perception Modules in Cognitive Robotics
This paper proposes the adoption of rule-based supervisor with logical agents as implementation of a reasoning layer embedded in cognitive robotic controllers where the world model representation is built from the output of a layer of deep learning perception modules. In this way the logical augmented cognitive robot could self-check in situations were safety and security issues have an impact ...
متن کامل