Visible to the public Coco: Runtime Reasoning about Conflicting CommitmentsConflict Detection Enabled

TitleCoco: Runtime Reasoning about Conflicting Commitments
Publication TypeConference Paper
Year of Publication2016
AuthorsNirav Ajmeri, Jiaming Jiang, Rada Y. Chirkova, Jon Doyle, Munindar P. Singh
Conference NameProceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI)
Date Published07/2016
Conference LocationNew York
KeywordsCommitments, Formal Specification and Analysis of Security-Critical Norms and Policies, July'16, NCSU, Norms, Policy-Governed Secure Collaboration, reasoning about conflicts
AbstractTo 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 KeyIJCAI-16:Coco
Refereed DesignationRefereed