当前位置: X-MOL 学术Theory Pract. Log. Program. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
eclingo : A Solver for Epistemic Logic Programs
Theory and Practice of Logic Programming ( IF 1.4 ) Pub Date : 2020-09-22 , DOI: 10.1017/s1471068420000228
Pedro Cabalar , Jorge Fandinno , Javier Garea , Javier Romero , Torsten Schaub

We describe eclingo, a solver for epistemic logic programs under Gelfond 1991 semantics built upon the Answer Set Programming system clingo. The input language of eclingo uses the syntax extension capabilities of clingo to define subjective literals that, as usual in epistemic logic programs, allow for checking the truth of a regular literal in all or in some of the answer sets of a program. The eclingo solving process follows a guess and check strategy. It first generates potential truth values for subjective literals and, in a second step, it checks the obtained result with respect to the cautious and brave consequences of the program. This process is implemented using the multi-shot functionalities of clingo. We have also implemented some optimisations, aiming at reducing the search space and, therefore, increasing eclingo ’s efficiency in some scenarios. Finally, we compare the efficiency of eclingo with two state-of-the-art solvers for epistemic logic programs on a pair of benchmark scenarios and show that eclingo generally outperforms their obtained results.

中文翻译:

eclingo : 认知逻辑程序的求解器

我们描述了 eclingo,这是一个基于 Gelfond 1991 语义的认知逻辑程序的求解器,它建立在答案集编程系统 cligo 之上。eclingo 的输入语言使用 cligo 的语法扩展功能来定义主观文字,就像在认知逻辑程序中一样,允许检查程序的所有或部分答案集中的常规文字的真实性。eclingo 求解过程遵循猜测和检查策略。它首先为主观文字生成潜在的真值,然后在第二步中,根据程序的谨慎和勇敢结果检查获得的结果。这个过程是使用 cligo 的多镜头功能实现的。我们还实施了一些优化,旨在减少搜索空间,因此,在某些情况下提高 eclingo 的效率。最后,我们将 eclingo 的效率与两个最先进的认知逻辑程序求解器在一对基准场景上进行比较,并表明 eclingo 通常优于他们获得的结果。
更新日期:2020-09-22
down
wechat
bug