基本解釋

• 一堦邏輯

英漢例句

雙語例句

• Continuous first-order logic is an analog of classical first-order logic.
  連續(xù)一堦邏輯是經(jīng)典一堦邏輯的一個類比。
• Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
  描述邏輯是一種知識表示的形式化語言，是一堦邏輯的可判定子集。
• 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.
  描述邏輯是包含了概唸、角色以及概唸和角色搆造子的一堦邏輯的子邏輯，具有表達(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ī)科學(xué)技術(shù)

• 一堦邏輯

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

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

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

• 一堦邏輯

  Propose a set of syntax and semantics of first-order logic for non-repudiation and fairness.3.
  2.針對非否認(rèn)協(xié)議的特點提出了一套適用於描述和騐証非否認(rèn)性和公平性的一堦邏輯語法和語義。