Results 1 - 10
of
13
R.: Agent Theory for Team Formation by Dialogue
- Intelligent Agents VII: Agent Theories, Architectures and Languages
, 1986
"... Abstract. The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Tra-ditionally, protocols like the Contract Net protocol are used ..."
Abstract
-
Cited by 78 (6 self)
- Add to MetaCart
Abstract. The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Tra-ditionally, protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be dis-cussion among the agents in order to form a team that can achieve the collective intention of solving the problem. For these cases fixed protocols like contract net do not suffice. In this paper we present a theory for agents that are able to discuss the team formation and subsequently work as a team member until the collective goal has been fulfilled. We also present a solution, using structured dialogues, with an emphasis on persuasion, that can be shown to lead to the required team formation. The dialogues are described formally using modal logics and speech acts. 1
Creating Collective Intention through Dialogue
, 2001
"... The process of cooperative problem solving can be divided into four stages. First, nding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, very simple protocols like the Contract Net protocol are used ..."
Abstract
-
Cited by 49 (16 self)
- Add to MetaCart
The process of cooperative problem solving can be divided into four stages. First, nding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, very simple protocols like the Contract Net protocol are used for performing the rst two stages of the process. In an open environment however, there can be discussion among the agents in order to form a team that can achieve the collective intention of solving the problem. For these cases xed protocols like contract net do not suce. In this paper we present an alternative solution, using structured dialogues, with an emphasis on persuasion, that can be shown to lead to the required team formation. The dialogues are described formally using modal logics and speech acts.
Collective Intentions
, 2002
"... In this paper the notion of collective intention in teams of agents involved in cooperative problem solving (CPS) in multiagent systems (MAS) is investigated. Starting from individual intentions, goals,andbeliefs defining agents' local asocial motivational and informational attitudes, we ar ..."
Abstract
-
Cited by 29 (8 self)
- Add to MetaCart
In this paper the notion of collective intention in teams of agents involved in cooperative problem solving (CPS) in multiagent systems (MAS) is investigated. Starting from individual intentions, goals,andbeliefs defining agents' local asocial motivational and informational attitudes, we arrive at an understanding of a collective intention in a team of agents. The presented definitions are rather strong, in particular a collective intention implies that all members intend for all others to share that intention. Based on this, we assume that a team of agents is created on the basis of a collective intention, and exists as long as this attitude between team members exists, after which the group may disintegrate. For this reason it is crucial that a collective intention within a group lasts long enough.
Evolution of Collective Commitment during Teamwork
, 2003
"... In this paper we aim to describe dynamic aspects of social and collective attitudes in teams of agents involved in Cooperative Problem Solving (CPS). Particular attention is given to the strongest motivational attitude, collective commitment, and its evolution during team action. First, building ..."
Abstract
-
Cited by 18 (3 self)
- Add to MetaCart
In this paper we aim to describe dynamic aspects of social and collective attitudes in teams of agents involved in Cooperative Problem Solving (CPS). Particular attention is given to the strongest motivational attitude, collective commitment, and its evolution during team action. First, building on our previous work, a logical framework is sketched in which a number of relevant social and collective attitudes is formalized, leading to the plan-based definition of collective commitments.
On Commitments, Roles and Obligations
- In From Theory to Practice in Multi-Agent Systems, LNAI 2296
, 2001
"... This paper presents a formalisation of obligations, social commitments and roles for BDI agents. We present a formal analysis of general obligations and relativised-to-one obligations from a bearer to a single counterparty and we examine obligations and relativised-toone obligations in the cont ..."
Abstract
-
Cited by 14 (0 self)
- Add to MetaCart
(Show Context)
This paper presents a formalisation of obligations, social commitments and roles for BDI agents. We present a formal analysis of general obligations and relativised-to-one obligations from a bearer to a single counterparty and we examine obligations and relativised-toone obligations in the context of strong realism for BDI agents. We also discuss how relativised-to-one obligations arise as a result of social commitments and the adoption of roles. In our framework if an agent adopts a role, then this role is associated with one or more social commitments.
A tuning machine for cooperative problem solving
- Fundamenta Informaticae
, 2004
"... Abstract. In this paper we aim to formally model individual, social and collective motivational attitudes in teams of agents involved in Coopera-tive Problem Solving. Particular attention is given to the strongest mo-tivational attitude, collective commitment, which leads to team action. First, buil ..."
Abstract
-
Cited by 12 (4 self)
- Add to MetaCart
(Show Context)
Abstract. In this paper we aim to formally model individual, social and collective motivational attitudes in teams of agents involved in Coopera-tive Problem Solving. Particular attention is given to the strongest mo-tivational attitude, collective commitment, which leads to team action. First, building on our previous work, a logical framework is sketched in which social commitments and collective intentions are formalized. Then, different versions of collective commitments are given, reflecting different aspects of Cooperative Problem Solving, and applicable in different sit-uations. The definitions differ with respect to the aspects of teamwork of which the agents involved are aware, and the kind of awareness present within a team. In this way a kind of tuning mechanism is provided for the system developer to tune a version of collective commitment fitting the circumstances. Finally, we focus attention on a few exemplar versions of collective commitment resulting from instantiating the general tun-ing scheme, and sketch for which kinds of organization and application domains they are appropriate. 1
Dialogue in team formation
- Issues in Agent Communication, LNCS 1916
, 2000
"... formal approach ..."
unknown title
"... Reasoning about the dynamics of social behaviour Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individual and social agents within the BDI paradigm is provided. The central ide ..."
Abstract
- Add to MetaCart
(Show Context)
Reasoning about the dynamics of social behaviour Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individual and social agents within the BDI paradigm is provided. The central idea behind this approach is that stability and regulation of activity within a group of agents can be accounted for by means of a complex web of roles, commitments obligations and rights. In particular, collective commitments are considered to be the attitudes that hold a group of agents together. In pursuit of their own objectives as well as in order to support their collective commitments, agents adopt roles and undertake social commitments. Being semi-autonomous they may decide to drop their commitments and roles, but they may have to bear the consequences of the other agents’ prerogative to exercise their rights.
Intelligent Systems Group
"... Abstract. This paper describes a possible extension to the logical framework KARO to make it able to handle multiple agents. The KARO framework, which was initially developed by van der Hoek, van Linder and Meyer, makes use of epistemic and dynamic logics to express rational agents. These agents are ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. This paper describes a possible extension to the logical framework KARO to make it able to handle multiple agents. The KARO framework, which was initially developed by van der Hoek, van Linder and Meyer, makes use of epistemic and dynamic logics to express rational agents. These agents are capable of reasoning about their own actions and, somewhat limited, about the actions of other agents. This paper intends to extend the KARO system such that one is also able to reason about cooperation between agents. 1
Agent Architecture and Theory for Team Formation by Dialogue
- ATAL'00
, 2000
"... The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, protocols like the Contract Net protocol are used for perfor ..."
Abstract
- Add to MetaCart
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be discussion among the agents in order to form a team that can achieve the collective intention of solving the problem. For these cases fixed protocols like contract net do not suffice. In this paper we present an architecture for agents that are able to discuss the team formation and subsequently work as a team member until the collective goal has been fulfilled. We also present a solution, using structured dialogues, with an emphasis on persuasion, that can be shown to lead to the required team formation. The dialogues are described formally using modal logics and speech acts.
