Reasoning about knowledge
Collaborative plans for complex group action
Artificial Intelligence
Formalising abilities and opportunities of agents
Fundamenta Informaticae
Trust and deception in virtual societies
Trust and deception in virtual societies
Issues in Agent Communication
Intentional Agents and Goal Formation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Plan Analysis for Autonomous Sociological Agents
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Combining Dynamic Deontic Logic and Temporal Logic for the Specification of Deadlines
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Calibrating collective commitments
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Updating Mental States from Communication
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
European research and development of intelligent information agents: the agentlink perspective
Intelligent information agents
Some preliminary steps towards a meta-theory for formal inter-agent dialogues
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Formal dialectic specification
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
New types of inter-agent dialogues
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Argumentation-Based multi-agent dialogues for deliberation
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
How agents alter their beliefs after an argumentation-based dialogue
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
A dialogue game to offer an agreement to disagree
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Evolution of Collective Commitment during Teamwork
Fundamenta Informaticae
Fundamenta Informaticae
Tasks for agent-based negotiation teams: Analysis, review, and challenges
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
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 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.