propositional inference
- propositional inference的基本解释
-
-
命题推演
- 更多网络例句与propositional inference相关的网络例句 [注：此内容来源于网络，仅供参考]
-
This paper attempts to discuss a kind of non - exact inferences bassed on the model of possible worlds and explains their application in propositional logic and syllogism inference.
借助于可能世界模型，讨论了一类非精确推理，并将其应用于命题逻辑和三段论推理
-
By means of infinite product of evenly distributed probability spaces,the concept of truth degrees of propositions in 3-valued logic systems W_3,G_3,Π_3 and S_3 are introduced,and some properties of distribution of propositional truth degree and certain inference rules are obtained.
利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则。
-
To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued propositional logic L_ are introduced.
为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvp l中，引入了几类相应的推理规则。
-
Based on test-score semantics, the canonical method for fuzzy propositions and the organization of fuzzy knowledge base are discussed, and the inference mechanisms of fuzzy expert systems, i.e the fuzzy logic inference for unqualified propositions, the intersection/product syllogism , the consequent conjunction syllogism and the inference of propositional chain ...
基于测试-评分语义学，重点探讨了模糊命题的规范化方法和模糊知识库的组织，研究了模糊专家系统的推理机制：对未限定化命题的模糊逻辑推理；对量化命题的交/积三段论推理，推论连接三段论推理以及命题链的推理。
-
To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.
为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则。
- 加载更多网络例句 (1)
- 更多网络解释与propositional inference相关的网络解释 [注：此内容来源于网络，仅供参考]
-
propositional inference：命题推演
propositional calculus 命题演算 | propositional inference 命题推演 | protractor 量角器
-
propositional inference：命题推演,命题推断
propositional function 命题函 ,命题函项 | propositional inference 命题推演,命题推断 | propositional intermediate logic 命题中间 辑
-
propositional inference：命题推演Btu中国学习动力网
propositional calculus 命题演算Btu中国学习动力网 | propositional inference 命题推演Btu中国学习动力网 | protractor 量角器Btu中国学习动力网