Type-Checking OQL Queries In the ODMG Type Systems

In a complex, dynamic multiagent setting, coherent team actions are often jeopardized by conflicts in agentsʹ beliefs, plans, and actions. Despite the considerable progress in teamwork research, the challenge of intrateam conflict resolution has remained largely unaddressed. This article presents CONSA, a system we are developing to resolve conflicts using argumentation-based negotiations. CONSA focuses on exploiting the benefits of argumentation in a team setting. Thus, CONSA casts conflict resolution as a team problem, so that the recent advances in teamwork can be brought to bear during conflict resolution to improve argumentation flexibility. Furthermore, because teamwork conflicts sometimes involve past teamwork, teamwork models can be exploited to provide agents with reusable argumentation knowledge. Additionally, CONSA also includes argumentation strategies geared toward benefiting the team, rather than the individual, and techniques to reduce argumentation overhead.