Multi-agent Cooperation: A Description Logic View
نویسندگان
چکیده
In this paper we propose dynamic description logic for formalizing multi-agent cooperation process with a clearly defined syntax and semantics. By combining the features of knowledge representation and reasoning of description logic and action theory for multi-agent interaction, our logic is effective and significant both for static and dynamic environment. On the static side, we employ description logic for the representation and reasoning of beliefs and goals. On the dynamic side, we adopt the object-oriented method to describe actions. The description of each action is composed of models, preconditions and effects. It can reflect the real changes of the world and is very suitable for belief revision and action planning. Based on our logic, we investigate how to form joint goal for multi-agent cooperation. In particular, we propose an effective dynamic planning algorithm for scheduling sub goals, which is greatly crucial for coordinating multi-agent behaviors.
منابع مشابه
Computational Agents Descriptions in Description Logic
In this paper we present an ontology suitable for describing computational agents and computational multi-agent systems. The ontology is expressed in the description logic formalism and allows us to describe agents capabilities and to reason about them. The ontology describes agents from the communicational point of view. Further, the capabilities resulting from the built-in concept nodes archi...
متن کاملA formal characterization of relevant information in multi-agent systems
This paper studies cooperation in multi-agent systems. In particular, we focus on the notion of relevance underlying cooperation. Given an agent who has some information need, we characterize pieces of information that are relevant to it. This characterization is done in a multi-modal logic. Finally, we give a formal definition for cooperation.
متن کاملCooperative interpersonal communication and relevant information
This paper studies cooperation in multi-agent systems. In particular, we focus on the notion of relevance underlying cooperation. Given an agent who has some information need, we characterize pieces of information that are relevant to her. This characterization is done in a multi-modal logic. Finally, we give a formal de nition for cooperation.
متن کاملArgumentation and Cooperation for Distributed Extended Logic Programs Argumentation and Cooperation for Distributed Extended Logic Programs
Argumentation semantics in extended logic programming has been deened in 3, 10] for a single agent, determining the agents' beliefs by an internal argumentation process. In this paper we extend the argumentation framework to a multi-agent setting including cooperation among agents. We present an algorithm for inference in the framework and an example to show the process of cooperation and argum...
متن کاملArgumentation and Cooperation for Distributed Extended Logic Programs
Argumentation semantics in extended logic programming has been deened in (Dung 1993; Prakken & Sar-tor 1997) for a single agent, determining the agents' beliefs by an internal argumentation process. In this paper we extend the argumentation framework to a multi-agent setting including cooperation among agents. We present an inference algorithm for the framework and an example showing the proces...
متن کامل