×

带有首选项的答案集编程的图形和颜色。 (英语) Zbl 1110.68424号

摘要:将偏好集成到答案集编程中是区分特定偏好答案集和非偏好答案集的重要实用工具。为此,我们详细阐述了规则依赖图及其着色,以表征文献中发现的不同偏好处理策略。我们从(三种类型的)首选答案集的全彩色依赖图特征开始。特别是,我们证明了这种方法允许我们通过高度函数的概念,在统一的设置中捕获偏好的所有三种方法。反过来,我们根据一种特定策略的部分着色算子,发展了偏好答案集的操作特征。与证明理论中的推导概念类似,我们的操作表征被表示为(非确定性形成的)着色序列,逐渐将未着色的图变成完全着色的图。

MSC公司:

68兰特 计算机科学中的图论(包括图形绘制)
05C15号 图和超图的着色
68N17号 逻辑编程

软件:

无MoRe
PDF格式BibTeX公司 XML格式引用