Parallel answer set solving algorithm based on multi-core processor technology
Automatic Control and Artificial Intelligence(2012)
摘要
Answer Set Programming (ASP) is widely used in many areas of Artificial Intelligence. A parallel answer set solving algorithm based on multi-core processor technology is proposed in this paper. The parallel algorithm is designed on the shared-memory parallel computing model which is the abstract model of multi-core processor. The algorithm can distribute the whole solving task to several threads separately run on different cores of the multi-core processor. To make this parallel algorithm more efficient, we implement load balancing among different threads by the technique of shared global queue. The experimental results show that the parallel algorithm can improve the solving efficiency by times with the growth of processor cores.
更多查看译文
关键词
asp solver,answer set programming,multi-core,parallel,multi core
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络