| Title | Coco: Runtime Reasoning about Conflicting Commitments |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Nirav Ajmeri, Jiaming Jiang, Rada Y. Chirkova, Jon Doyle, Munindar P. Singh |
| Conference Name | Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI) |
| Date Published | 07/2016 |
| Publisher | IJCAI |
| Conference Location | New York |
| Keywords | Commitments, Formal Specification and Analysis of Security-Critical Norms and Policies, July'16, NCSU, Norms, Policy-Governed Secure Collaboration, reasoning about conflicts |
| Abstract | To interact effectively, agents must enter into commitments. What should an agent do when these commitments conflict? We describe Coco, an approach for reasoning about which specific commitments apply to specific parties in light of general types of commitments, specific circumstances, and dominance relations among specific commitments. Coco adapts answer-set programming to identify a maximalsetofnondominatedcommitments. It provides a modeling language and tool geared to support practical applications. |
| Citation Key | IJCAI-16:Coco |
| Refereed Designation | Refereed |
Coco: Runtime Reasoning about Conflicting Commitments