单调逻辑中知识库的交互式调试理论

Patrick Rodler

单调逻辑中知识库的交互式调试理论

人工智能 2016-09-22 v1

作者: Patrick Rodler

摘要

各类基于知识的应用,如推荐系统、专家系统、规划系统或配置系统,通常在以某种逻辑语言表示的知识基础上运行。这种逻辑知识库(KB)使此类系统具备智能行为,允许其自动推理、回答感兴趣的查询或解决复杂的现实问题。如今,信息获取成本低下且常常自动进行,所应用的 KB 在规模、信息内容和复杂性方面不断增长。这些发展促使这些 KB 中出现错误,从而对所有参与 KB 演化、维护和应用的人员和工具构成重大挑战。如果某个 KB 未能满足诸如逻辑一致性等最低质量标准,它对基于知识的应用就变得毫无用处。为了保证 KB 符合给定要求,人们提出了(非交互式)KB 调试器。然而,这些调试器通常无法定位所有潜在故障,对有缺陷的 KB 提出的修改过大或不正确,或者由于 KB 调试问题的固有复杂性而存在可扩展性差的问题。作为这些问题的补救措施,基于完善的理论基础,本文提出了用于 KB 交互式调试的完备、可靠且最优的方法,这些方法建议对有缺陷的 KB 进行一次(微创式)错误纠正,从而产生具有完全预期语义的修复后 KB。用户(例如领域专家)通过回答自动生成的查询来参与调试过程,即回答某些给定语句在当前有问题的 KB 所应建模的领域中是否必须成立。

关键词

交互式调试知识库单调逻辑逻辑一致性最小模型修复

引用

@article{arxiv.1609.06375,
  title  = {A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics},
  author = {Patrick Rodler},
  journal= {arXiv preprint arXiv:1609.06375},
  year   = {2016}
}

单调逻辑中知识库的交互式调试理论

摘要

关键词

引用

相关论文