单调逻辑中知识库的交互式构造理论
A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics
摘要：
各种各样的基于知识的应用，如推荐系统、专家系统、规划系统或配置系统，通常都是以某种逻辑语言表示的知识为基础进行操作的。这种逻辑知识库（KB）通过允许系统自动推理、回答感兴趣的查询或解决复杂的现实问题来实现此类系统的智能行为。如今，信息获取成本低，而且往往是自动进行的，应用知识库在规模、信息内容和复杂性方面不断增长。这些发展促进了这些知识库中错误的出现，从而对知识库发展、维护和应用中涉及的所有人员和工具提出了重大挑战。如果某些知识库不能满足某些最低质量标准（如逻辑一致性），那么它对于基于知识的应用程序来说就变得毫无用处。为了保证知识库符合给定的要求，（非交互式）知识库调试器已被提出。然而，这些通常不能定位所有潜在的错误，建议错误KB的太大或不正确的修改，或者由于KB调试问题的固有复杂性而遭受差的可扩展性。作为对这些问题的补救措施，基于一个有根有据的理论基础，这项工作提出了完整的，健全的和最佳的方法，建议一个（微创）错误纠正错误的KB，产生一个修复的KB与预期的语义知识库的交互式调试。用户，例如领域专家，通过回答自动生成的查询来参与调试过程，该查询是关于某些给定语句是否必须在应该由手头的有问题的KB建模的域中保持。
英文摘要：
A broad variety of knowledge-based applications such as recommender, expert, planning or configuration systems usually operate on the basis of knowledge represented by means of some logical language. Such a logical knowledge base (KB) enables intelligent behavior of such systems by allowing them to automatically reason, answer queries of interest or solve complex real-world problems. Nowadays, where information acquisition comes at low costs and often happens automatically, the applied KBs are continuously growing in terms of size, information content and complexity. These developments foster the emergence of errors in these KBs and thus pose a significant challenge on all people and tools involved in KB evolution, maintenance and application. If some minimal quality criteria such as logical consistency are not met by some KB, it becomes useless for knowledge-based applications. To guarantee the compliance of KBs with given requirements, (non-interactive) KB debuggers have been proposed. These however often cannot localize all potential faults, suggest too large or incorrect modifications of the faulty KB or suffer from poor scalability due to the inherent complexity of the KB debugging problem. As a remedy to these issues, based on a well-founded theoretical basis this work proposes complete, sound and optimal methods for the interactive debugging of KBs that suggest the one (minimally invasive) error correction of the faulty KB that yields a repaired KB with exactly the intended semantics. Users, e.g. domain experts, are involved in the debugging process by answering automatically generated queries whether some given statements must or must not hold in the domain that should be modeled by the problematic KB at hand.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
