COCO: Runtime Reasoning About Conflicting Commitments

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. PDF

Cite

Text

Ajmeri et al. "COCO: Runtime Reasoning About Conflicting Commitments." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Ajmeri et al. "COCO: Runtime Reasoning About Conflicting Commitments." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/ajmeri2016ijcai-coco/)

BibTeX

@inproceedings{ajmeri2016ijcai-coco,
  title     = {{COCO: Runtime Reasoning About Conflicting Commitments}},
  author    = {Ajmeri, Nirav and Jiang, Jiaming and Chirkova, Rada and Doyle, Jon and Singh, Munindar P.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {17-23},
  url       = {https://mlanthology.org/ijcai/2016/ajmeri2016ijcai-coco/}
}