为何不成立？用 Evee 解释缺失的蕴含（技术报告）
人工智能
2023-08-16 v2 计算机科学中的逻辑
摘要
本体论用户并非总能直观理解由描述逻辑推理器推导出的逻辑蕴含。为此，各种利用辩护与证明来解释蕴含的方法已被开发并作为本体编辑器 Protégé 的插件实现。然而，当用户期望某个缺失的结论成立时，解释它为何不能从本体推出同样重要。在本文中，我们描述了 的新版本，这是一个 Protégé 插件，现在也通过基于溯因和反例的现有及新技术，为缺失结论提供解释。
引用
@article{arxiv.2308.07294,
title = {Why Not? Explaining Missing Entailments with Evee (Technical Report)},
author = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Patrick Koopmann and Mikhail Kotlov},
journal= {arXiv preprint arXiv:2308.07294},
year = {2023}
}