CSP中值撤回解释
多智能体系统
2007-05-23 v1 人工智能
摘要
本工作致力于受制于约束逻辑程序调试（类似 GNU-Prolog）的约束求解。本文仅关注约束。在此框架下，约束求解等同于域缩减。计算以混沌迭代形式形式化。计算结果描述为闭包。该模型非常适合设计调试概念和工具，例如失败解释或错误诊断。本文详细阐述了将该模型应用于域中值撤回解释的实现。其他一些工作已经表明，这种解释概念不仅对失败分析具有意义。
引用
@article{arxiv.cs/0012004,
title = {Improving Performance of heavily loaded agents},
author = {Fatma Ozcan and VS Subrahmanian and Juergen Dix},
journal= {arXiv preprint arXiv:cs/0012004},
year = {2007}
}
备注
63 pages, 26 figures, 10 tables