资源论文On Computing World Views of Epistemic Logic Programs

On Computing World Views of Epistemic Logic Programs

2019-10-29 | |  51 |   37 |   0
Abstract This paper presents a novel algorithm for computing world views of different semantics of epistemic logic programs (ELP) and two of its realization, called EP-ASP (for an older semantics) and EPASPse (for the newest semantics), whose implementation builds on the theoretical advancement in the study of ELPs and takes advantage of the multishot computation paradigm of the answer set solver CLINGO. The new algorithm differs from the majority of earlier algorithms in its strategy. Specifi- cally, it computes one world view at a time and utilizes properties of world views to reduce its search space. It starts by computing an answer set and then determines whether or not a world view containing this answer set exists. In addition, it allows for the computation to focus on world views satisfying certain properties. The paper includes an experimental analysis of the performance of the two solvers comparing against a recently developed solver. It also contains an analysis of their performance in goal directed computing against a logic programming based conformant planning system, DLV-K. It concludes with some final remarks and discussion on the future work

上一篇:On Automating the Doctrine of Double Effect

下一篇:On the Complexity of Learning from Label Proportions

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...