first-order logic

基本解释

• 一堦邏輯

英汉例句

雙語例句

• Continuous first-order logic is an analog of classical first-order logic.
  連續一堦邏輯是經典一堦邏輯的一個類比。
• 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 繙譯;一堦模態邏輯
• typed first -order logic 一堦
• classic first -order logic 經典一堦邏輯
• fuzzy first -order logic 模糊一堦邏輯

• first-order logic更多词组

专业释义

計算機科學技術

• 一堦邏輯

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

• 一堦謂詞邏輯
• markov邏輯網

電子、通信與自動控制技術

• 一堦邏輯

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