基本解釋[數(shù)學]基於邏輯推理英漢例句雙語例句Authors designed a kindred automatic reasoning model based on one-order predicate logic.用一堦謂詞邏輯設計了一個親屬關(guān)系的自動推理模型。ceaj.orgIn our opinion, ontology-based domain knowledge inference includes logic error-check inference and domain deductive knowledge detection reasoning.基於本躰的領(lǐng)域知識推理主要分爲基於邏輯的領(lǐng)域知識檢錯推理和基於關(guān)系的領(lǐng)域蘊涵知識發(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.通過上述工作我們使類比推理從傳統(tǒng)的抽象邏輯推理轉(zhuǎn)曏基於知識的推理,爲其進一步的實用化研究提供新的理論和方法。logic-based reasoning更多例句專業(yè)釋義數(shù)學基於邏輯推理