| Title: |
Rational Revision of Group Intentions |
| Authors: |
Motamed, Nima; Alechina, Natasha; Dastani, Mehdi; Doder, Dragan |
| Source: |
Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 40 No. 23: AAAI-26 Technical Tracks 23; 19303-19311 ; 2374-3468 ; 2159-5399 |
| Publisher Information: |
Association for the Advancement of Artificial Intelligence |
| Publication Year: |
2026 |
| Collection: |
Association for the Advancement of Artificial Intelligence: AAAI Publications |
| Description: |
In systems such as group calendars or collaborative platforms, agents make group commitments to future actions that must adapt as new facts or constraints emerge. We develop a formal framework for revising such group intentions in systems where coalitions adopt shared, temporally extended intentions represented in a logic based on Alternating-Time Temporal Logic with strategy contexts. After formulating coherence criteria for systems of group intentions, we establish representation theorems in the style of Katsuno and Mendelzon, showing that revision operators satisfy rationality postulates precisely when they can be represented by preorders on strategy profiles. These results extend classical revision theory by covering non-total preorders and a logic of higher expressive power. Altogether, the framework lays the groundwork for principled revision of group intentions in systems where both coordination and change are essential. |
| Document Type: |
article in journal/newspaper |
| File Description: |
application/pdf |
| Language: |
English |
| Relation: |
https://ojs.aaai.org/index.php/AAAI/article/view/39006/42968; https://ojs.aaai.org/index.php/AAAI/article/view/39006 |
| DOI: |
10.1609/aaai.v40i23.39006 |
| Availability: |
https://ojs.aaai.org/index.php/AAAI/article/view/39006; https://doi.org/10.1609/aaai.v40i23.39006 |
| Rights: |
Copyright (c) 2026 Association for the Advancement of Artificial Intelligence |
| Accession Number: |
edsbas.ED32CFAA |
| Database: |
BASE |