一个回答集程序并行求解器的研究与实现

摘要

ASP(Answer Set Programming，回答集编程)是一种声明式的逻辑程序设计语言，在人工智能等领域有广泛应用。使用ASP求解问题的核心工具是ASP Solver(回答集程序求解器，简称为回答集求解器)。本文主要研究基于多核技术的回答集并行求解器，以提高回答集求解器的效率。
　　本文的主要工作有：1)研究与比较已有回答集求解器及多核技术；2)研究适合于回答集求解的并行机制，设计一个回答集并行求解器；3)使用多核技术实现回答集并行求解器；4)通过实验测试回答集并行求解器的效果。
　　本文的主要贡献有：1)借鉴smodels中回答集求解算法的思想，设计了适宜并行化的串行回答集求解算法Zmodels；2)基于面向任务编程的并行程序设计思想，提出了用于改进Zmodels的并行机制，并在此基础上设计了回答集并行求解器ParaZmodels；3)使用Intel Parallel Studio和Intel线程构建模块实现了回答集并行求解器ParaZmodels。实验结果表明，基于多核技术的回答集并行求解器有较好的加速效果。
　　本文工作对回答集求解器的研究人员具有参考价值，对推动回答集编程的应用也有一定的意义。