逻辑编程中面向对象知识库的查询回答：ASP 的描述与挑战
人工智能
2025-10-14 v1
摘要
开发高效且可扩展的 ASP 求解器的研究可以极大地受益于可用实验数据集的支持。KB_Bio_101 包含来自生物学教科书的知识，是 Project Halo 项目的一部分，最近已开放供研究使用。KB_Bio_101 是 ASP 中可用的最大知识库之一，其推理在一般情况下是不可判定的。我们描述了该知识库以及针对一系列具有实际意义的查询的 ASP 程序。我们解释了为何这些查询对当前的 ASP 求解器构成了重大的实际挑战。
引用
@article{arxiv.1312.6138,
title = {Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP},
author = {Vinay K. Chaudhri and Stijn Heymans and Michael Wessel and Tran Cao Son},
journal= {arXiv preprint arXiv:1312.6138},
year = {2025}
}
备注
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey