logic-based reasoning

基本解释

Authors designed a kindred automatic reasoning model based on one-order predicate logic.
用一阶谓词逻辑设计了一个亲属关系的自动推理模型。
ceaj.org
In our opinion, ontology-based domain knowledge inference includes logic error-check inference and domain deductive knowledge detection reasoning.
基于本体的领域知识推理主要分为基于逻辑的领域知识检错推理和基于关系的领域蕴涵知识发现推理。
By these, we turn the traditional analogy from abstract logic reasoning to knowledge-based reasoning and support new theories and methods for the practical research of analogy reasoning.
通过上述工作我们使类比推理从传统的抽象逻辑推理转向基于知识的推理，为其进一步的实用化研究提供新的理论和方法。