基本解釋

• 一階邏輯

英漢例句

雙語例句

• Continuous first-order logic is an analog of classical first-order logic.
  連續(xù)一階邏輯是經(jīng)典一階邏輯的一個(gè)類比。
• Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
  描述邏輯是一種知識(shí)表示的形式化語言，是一階邏輯的可判定子集。
• Description logics are fragments of the first-order logic, which contain concepts, roles, and concept and role constructors; and have features of strong expressivity and decidable reasoning.
  描述邏輯是包含了概念、角色以及概念和角色構(gòu)造子的一階邏輯的子邏輯，具有表達(dá)能力強(qiáng)且推理可判定的特征。
  blog.sina.com.cn

• first-order logic更多例句

詞組短語

短語

• if first -order logic if一階邏輯
• first -order modal logic 翻譯;一階模態(tài)邏輯
• typed first -order logic 一階
• classic first -order logic 經(jīng)典一階邏輯
• fuzzy first -order logic 模糊一階邏輯

• first-order logic更多詞組

專業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 一階邏輯

  First-order rule mining technique based on first-order logic is often called as Inductive Logic Programming (ILP).
  基于一階邏輯的一階規(guī)則挖掘技術(shù)常被稱作歸納邏輯程序設(shè)計(jì)(ILP)。

• 一階謂詞邏輯
• markov邏輯網(wǎng)

電子、通信與自動(dòng)控制技術(shù)

• 一階邏輯

  Propose a set of syntax and semantics of first-order logic for non-repudiation and fairness.3.
  2.針對(duì)非否認(rèn)協(xié)議的特點(diǎn)提出了一套適用于描述和驗(yàn)證非否認(rèn)性和公平性的一階邏輯語法和語義。