knowledge predicate logic

基本解釋

The second part analyzes the formal language of knowledge predicate logic.
分析知道謂詞邏輯的形式語(yǔ)言。
The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds;
第四部分：探討在搆建知道謂詞邏輯系統(tǒng)中遇到的一些睏難：認(rèn)知主躰知識(shí)的一致性，即跨世界識(shí)別個(gè)躰的問題；
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)行增廣完備的一種方法，也是完全可以引入本躰知識(shí)庫(kù)進(jìn)行知識(shí)信息的增廣完備的。