knowledge predicate logic
常见例句
- 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;
第四部分:探讨在构建知道谓词逻辑系统中遇到的一些困难:认知主体知识的一致性,即跨世界识别个体的问题; - 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.
封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法,也是完全可以引入本体知识库进行知识信息的增广完备的。 返回 knowledge predicate logic