Journal of the ACM (JACM)
Logics of time and computation
Logics of time and computation
Intention is choice with commitment
Artificial Intelligence
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Reasoning about knowledge
Collaborative plans for complex group action
Artificial Intelligence
Formalising abilities and opportunities of agents
Fundamenta Informaticae
A logical approach to the dynamics of commitments
Artificial Intelligence
Trust and deception in virtual societies
Trust and deception in virtual societies
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Dynamic Logic
Reasoning about Information Change
Journal of Logic, Language and Information
Fundamenta Informaticae
Epistemic Approach to Actions with Typical Effects
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Towards a Theory of Cooperative Problem Solving
MAAMAW '94 Proceedings of the 6th European Workshop on Modelling Autonomous Agents: Distributed Software Agents and Applications
Social and Individual Commitment
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
Intentional Agents and Goal Formation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
On evaluating decision procedures for modal logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Calibrating collective commitments
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Awareness as a vital ingredient of teamwork
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A Tuning Machine for Cooperative Problem Solving
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A Strong Completeness Result for a MAS Logic
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Complexity Issues in Multiagent Logics
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Towards Approximate BGI Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
A Framework for Graded Beliefs, Goals and Intentions
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Plan representation and execution in multi-actor scenarios by means of social commitments
Web Intelligence and Agent Systems
Collectively cognitive agents in cooperative teams
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Towards the adaptive organization: formation and conservative reconfiguration of agents coalitions
AIS-ADM 2005 Proceedings of the 2005 international conference on Autonomous Intelligent Systems: agents and Data Mining
Using socially deliberating agents in organized settings
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Agents in approximate environments
Games, Actions and Social Software
Games, Actions and Social Software
Hi-index | 0.00 |
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. Moreover, a dynamic logic component is added to this framework in order to capture the effects of the complex actions that are involved in the consecutive stages of CPS, namely potential recognition, team formation, plan formation and team action. During team action, the collective commitment leads to the execution of agent-specific actions. A dynamic and unpredictable environment may, however, cause the failure of some of these actions, or present the agents with new opportunities. The abstract reconfiguration algorithm, presented in a previous paper, is designed to handle the re-planning needed in such situations in an efficient way. In this paper, the dynamic logic component of the logical framework addresses issues pertaining to adjustments in collective commitment during the reconfiguration process.