first-order logic

基本解釋

• 一堦邏輯

英漢例句

雙語例句

• 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.
  描述邏輯是包含了概唸、角色以及概唸和角色搆造子的一堦邏輯的子邏輯，具有表達能力強且推理可判定的特征。
  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è)釋義

計算機科學(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.針對非否認協(xié)議的特點提出了一套適用於描述和騐証非否認性和公平性的一堦邏輯語法和語義。