logic-based reasoning

基本解釋

Authors designed a kindred automatic reasoning model based on one-order predicate logic.
用一階謂詞邏輯設(shè)計(jì)了一個(gè)親屬關(guān)系的自動(dòng)推理模型。
ceaj.org
In our opinion, ontology-based domain knowledge inference includes logic error-check inference and domain deductive knowledge detection reasoning.
基于本體的領(lǐng)域知識(shí)推理主要分為基于邏輯的領(lǐng)域知識(shí)檢錯(cuò)推理和基于關(guān)系的領(lǐng)域蘊(yùn)涵知識(shí)發(fā)現(xiàn)推理。
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.
通過(guò)上述工作我們使類(lèi)比推理從傳統(tǒng)的抽象邏輯推理轉(zhuǎn)向基于知識(shí)的推理，為其進(jìn)一步的實(shí)用化研究提供新的理論和方法。