ASP中交互式冲突解决的排序策略
摘要：实践中的答案集程序经常面临变化。这可能导致修改后程序中的不一致性，因为规则之间存在冲突，这些规则是由推导得出的强互补文字。为了促进答案集程序的一致性维护，在本文中，我们继续研究一个最近提出的框架，通过向冲突规则的体部添加合适的文字，即所谓的$lambda$扩展，来实现交互式冲突解决。更具体地说，我们提出了选择$lambda$扩展的策略，以便以最小的(认知)努力为目标解决多个冲突。特别地，我们提出了一种冲突与其可能解决方案之间的连接的图形表示。这样的表示可以用于通过以合适的顺序显示冲突和建议解决方案，有效地引导用户进行冲突解决过程。
作者：Andre Thevapalan, Gabriele Kern-Isberner
论文ID：2308.15889
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-31