查询词典 predicate logic
- 与 predicate logic 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds; logic almightiness; knowability paradox
第四部分：探讨在构建知道谓词逻辑系统中遇到的一些困难：认知主体知识的一致性，即跨世界识别个体的问题；逻辑全能问题；可知性悖论
-
Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.
任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。
-
This is the first thing you will learn to do in quantifier logic,which is also called predicate logic.
这是在限定逻辑，也称谓词逻辑中你首先要明白的。
-
My thesis built the theory of predicate logic on the basis of L* propositional logic.
本文在命题逻辑的基础上以系统为背景建立谓词逻辑理论。
-
This paper summarizes some inferential proof methods in propositional logic and predicate logic by using some examples.
本文结合适当的例题总结了命题逻辑和谓词逻辑的几种常见推理证明方法。
-
Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate.
谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理，是人工智能科学赖以产生和发展的最古老，最直接，也是最为完备的理论基础。
-
At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.
在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。
-
Then the paper changes the algorithms, and applies them to Predicate/Transition net model of first-order predicate logic.
这些算法都具有较高的效率，为逻辑推论的P／T网和Pr／T网模型的推理提供了新的有效的方法。
-
Moreover, predicate logic is the generalization of propositional logic and possesses larger flexibility, so it is very difficult for students to grasp.
而谓词逻辑是命题逻辑的推广，其灵活性就更大，故很难掌握。
-
Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.
描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。