Proceedings

Coco: Runtime Reasoning about Conflicting Commitments

Download BibTeX Cite

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 17-22.

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 maximal set of nondominated commitments. It provides a modeling language and tool geared to support practical applications.

Nirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle, and Munindar P. Singh. 2016. Coco: Runtime Reasoning about Conflicting Commitments. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 17–22. https://ijcai.org/proceedings/2016/10
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards