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.
通過上述工作我們使類比推理從傳統的抽象邏輯推理轉曏基於知識的推理，爲其進一步的實用化研究提供新的理論和方法。