Mobile
Log In Sign Up
Home > english-chinese > "谓词逻辑" in Chinese

Chinese translation for "谓词逻辑"

first-order logic
predicate logic


Related Translations:
谓词:  [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
谓词交:  predicate intersection model
谓词符号:  predicate symbol
输入谓词:  input predicate
程序谓词:  program predicate
篇章谓词:  discourse predicate
模拟谓词:  simulated predicate
输出谓词:  outer predicate
数谓词:  numerical predicatenumerical readout
假谓词:  false predicate
Example Sentences:
1.Drs and the formula of first - order predicate logic
与一阶谓词逻辑公式
2.On predicate logic ' s application in ai
谓词逻辑在人工智能中的应用
3.A model representation method based on first order predicate logic
一种基于一阶谓词逻辑的模型表示方法
4.Theory of quasi - truth degrees of formulas in two - valued predicate logic
一类二值谓词逻辑中公式的准真度理论
5.Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas
模糊谓词逻辑公式的有限和可数解释真度理论
6.I believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )
我相信对于学习布尔代数学和谓词逻辑的计算机科学学生(像我自己这样的)来说它是非常有用的。
7.Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application
一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用
8.Based on the principle of resolution refutation in fl , the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根据形式逻辑的归结反演原理,本文给出了一阶谓词逻辑的petri网推理的方法,实现了语义网络的petri网推理。
9.This program creates truth tables from boolean expressions . i believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )
这个程序从布尔表达式中创建真实的表格。我相信对于学习布尔代数学和谓词逻辑的计算机科学学生(像我自己这样的)来说它是非常有用的。
10.Then discusses common knowledge representation method such as predicate logic , semantic network , production rule , frame etc . and probes into the application of predicate logic in epr system
然后,较详细地讨论了谓词逻辑、语义网络、产生式规则和框架等常用的知识表示方法,重点研究了谓词逻辑知识表示技术在电子病历系统中应用问题。
Similar Words:
"谓词的" Chinese translation, "谓词分析, 表语分析" Chinese translation, "谓词符号" Chinese translation, "谓词交" Chinese translation, "谓词交叉模型" Chinese translation, "谓词逻辑语言" Chinese translation, "谓词名" Chinese translation, "谓词数据使用" Chinese translation, "谓词演算" Chinese translation, "谓词演算语言" Chinese translation