利用ConceptNet向自动化定理证明器传授常识
人工智能
2020-01-01 v1
摘要
CoRg系统是一个解决常识推理问题的系统。CoRg系统的核心是被输入大量背景知识的自动化定理证明器Hyper。该背景知识在解决常识推理问题中起着关键作用。本文中，我们呈现了使用知识图谱作为背景知识的多种方法，并讨论了由此产生的挑战。
引用
@article{arxiv.1912.12957,
title = {Using ConceptNet to Teach Common Sense to an Automated Theorem Prover},
author = {Claudia Schon and Sophie Siebert and Frieder Stolzenburg},
journal= {arXiv preprint arXiv:1912.12957},
year = {2020}
}
备注
In Proceedings ARCADE 2019, arXiv:1912.11786