利用 WordNet 对一阶逻辑本体进行黑盒测试
人工智能
2018-03-26 v3
摘要
人工智能旨在为计算机程序提供常识知识，以对其所处的世界进行推理。本文提出了一种新的实用方法，用于基于一阶逻辑（FOL）本体的自动常识推理。我们通过利用 WordNet 及其到 SUMO 的映射，提出了一种基于 FOL SUMO 的本体的新黑盒测试方法。我们的提议包括一种（半）自动创建大规模能力问题基准测试的方法，以及一种使用自动定理证明器（ATP）对其进行自动评估的流程。应用不同的质量标准，我们的测试提议能够成功评估：a) SUMO 到 FOL 的多种翻译的能力，以及 b) 各种自动定理证明器的性能。最后，我们还对当前基于 FOL SUMO 的本体的常识推理能力进行了细粒度且完整的分析。
引用
@article{arxiv.1705.10217,
title = {Black-box Testing of First-Order Logic Ontologies Using WordNet},
author = {Javier Álvez and Paqui Lucio and German Rigau},
journal= {arXiv preprint arXiv:1705.10217},
year = {2018}
}
备注
59 pages,14 figures, 6 tables