RatioLog 项目：逻辑推理的理性扩展
人工智能
2015-07-31 v2
摘要
高级认知包括逻辑推理和具备常识的问答能力。RatioLog 项目利用自动演绎和认知计算的方法，解决深度问答中的理性推理问题。在第一阶段，我们结合信息检索和机器学习技术，从德语版免费百科全书“维基百科”的海量文本中寻找合适的候选答案。在第二阶段，自动定理证明器试图基于候选答案的逻辑表示来验证它们。在第三阶段，由于知识可能不完整且不一致，我们考虑扩展逻辑推理以改进结果。在此背景下，我们致力于应用人类推理技术：我们采用可废止推理（defeasible reasoning）来比较答案的特异性，并涉及道义逻辑、规范性推理和模型构造。此外，我们基于问题和候选答案的语义结构，使用集成案例推理和机器学习技术来学习给出正确答案。
引用
@article{arxiv.1503.06087,
title = {The RatioLog Project: Rational Extensions of Logical Reasoning},
author = {Ulrich Furbach and Claudia Schon and Frieder Stolzenburg and Karl-Heinz Weis and Claus-Peter Wirth},
journal= {arXiv preprint arXiv:1503.06087},
year = {2015}
}
备注
7 pages, 3 figures