Declarative Reasoning Approaches for Agent Coordination
نویسندگان
چکیده
Reasoning about Action and Change (RAC) and Answer Set Programming (ASP) are two well-known fields in AI for logic-based reasoning. Each paradigm bears unique features and a possible integration can lead to more effective ways to address hard AI problems. In this paper, we report on implementations that embed RAC formalisms and concepts in ASP and present the experimental results obtained, building on a graph-based problem setting that introduces casual and temporal requirements.
منابع مشابه
Expressing Collaboration And Competition Among Abductive Logic Agents
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete knowledge, where agents may need to make reasonable hypotheses about the domain. We defined a simple declarative language to express agent behavior, and in particular, two forms of coordination: collaboration and compet...
متن کاملDeclarative Agent Programming Support for a FIPA-Compliant Agent Platform
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort has been made in establishing standards for agent communication and MAS platforms. However, communication is not the only difficulty faced by agent researchers. Research is also directed towards the formal aspects of a...
متن کاملCoordination in Multi-Agent Systems: A Declarative Approach using Coordination Spaces
Coordination is an important aspect of multi-agent systems (MAS). Although being decisive for many MAS applications, it is rarely modelled and implemented explicitly. Instead, coordination is realized implicitly and hard wired among other agent functionalities. Therefore, this work aims at providing an approach towards explicit coordination in MAS in which developers can focus more on what and ...
متن کاملModelling Reasoning and Acting Agents
Free University Amsterdam, Dept. of Mathematics and Computer Science De Boelelaan 1081a, 1081 HV Amsterdam The Netherlands Email: [email protected] Abstract A number of specific aspects of (intelligent) multi-agent domains have not been considered from a conceptual modelling perspective. For example, dealing with changing worlds and simultaneously active agents the resulting interactivity and dyna...
متن کاملAutonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
The paper presents a knowledge representation formalism for multi-agent systems, where different autonomous agents reason and act in a shared environment. Agents are autonomously pursuing individual goals, but are capable of interacting through a shared knowledge repository and collaborative actions. In their interaction through shared portions of the world, agents deal with problems of synchro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014