Coco: Runtime Reasoning about Conflicting Commitments
Authors: Nirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle, Munindar P. Singh
IJCAI 2016 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | Coco provides representations for commitments and dominance, as well as tractable decision procedures for determining compliance of actions with commitment instances. Coco (1) applies answer-set programming (ASP) [Gelfond, 2008; Gebser et al., 2014] to identify nondominated commitments given knowledge of the world and of the specific situation, and (2) applies ADL s techniques to determine compliance of agent actions with nondominated commitment instances. This paper also provides theoretical results on the correctness and tractability of the problems of (3) determining maximal sets of nondominated commitment instances, and (4) determining liveness and safety of a system of commitments. |
| Researcher Affiliation | Academia | Nirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle, Munindar P. Singh North Carolina State University, Raleigh, NC 27695, USA {najmeri, jjiang13, rychirko, Jon Doyle, singh}@ncsu.edu |
| Pseudocode | Yes | Listing 1: Definition of the g Com schema ... Listing 10: Distance Dominance Relation |
| Open Source Code | No | The paper does not provide any concrete access information (e.g., specific repository link, explicit code release statement, or code in supplementary materials) for the described methodology. |
| Open Datasets | No | The paper does not report on experiments using a specific dataset that would require public access information. It uses examples for illustration, not for empirical evaluation. |
| Dataset Splits | No | The paper does not report on experiments using datasets with train/validation/test splits. |
| Hardware Specification | No | No specific hardware details (e.g., GPU/CPU models, processor types, memory amounts) used for running experiments were mentioned in the paper. |
| Software Dependencies | No | The paper mentions 'answer-set programming (ASP)' and cites 'Gebser et al., 2014' which refers to 'Clingo'. However, it does not provide specific version numbers for any software dependencies used. |
| Experiment Setup | No | The paper does not describe a concrete experimental setup with specific hyperparameter values, training configurations, or system-level settings. It focuses on theoretical formalisms and demonstrations. |