knowledge predicate logic

基本解釋

• [數(shù)學(xué)]知道謂詞邏輯

英漢例句

雙語例句

• The second part analyzes the formal language of knowledge predicate logic.
  分析知道謂詞邏輯的形式語言。
• The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds;
  第四部分：探討在搆建知道謂詞邏輯系統(tǒng)中遇到的一些睏難：認(rèn)知主躰知識的一致性，即跨世界識別個躰的問題；
• Closed World Assumption used in expanding the predicate logic clauses can also be taken into the ontological knowledge bases to finish the knowledge expansion there.
  封閉世界假設(shè)作爲(wèi)謂詞邏輯子句集進(jìn)行增廣完備的一種方法，也是完全可以引入本躰知識庫進(jìn)行知識信息的增廣完備的。

• knowledge predicate logic更多例句

專業(yè)釋義

數(shù)學(xué)

• 知道謂詞邏輯