Performance Tuning in Answer Set Programming
Performance Tuning in Answer Set Programming
复制标题
答案集编程中的性能调整
DOI：
10.1007/978-3-319-23264-5_17
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Yuliya Lierler
中科院分区：
文献类型：
--
作者：
Matthew Buddenhagen;Yuliya Lierler
性能分析和调优是命令式编程领域中建立良好的软件工程过程。这项工作是朝着建立答案集编程领域的性能分析标准迈出的一步-一个突出的约束编程范式。我们介绍并研究了人工调优和自动配置工具在此过程中的作用。案例研究发生在一个真实世界的答案集编程应用程序领域，需要几百行代码。实验结果表明，人类调整的逻辑编程编码和自动调整的答案集求解器是正交（互补）的问题。
Performance analysis and tuning are well established software engineering processes in the realm of imperative programming. This work is a step towards establishing the standards of performance analysis in the realm of answer set programming – a prominent constraint programming paradigm. We present and study the roles of human tuning and automatic configuration tools in this process. The case study takes place in the realm of a real-world answer set programming application that required several hundred lines of code. Experimental results suggest that human-tuning of the logic programming encoding and automatic tuning of the answer set solver are orthogonal (complementary) issues.