| 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
然后，较详细地讨论了谓词逻辑、语义网络、产生式规则和框架等常用的知识表示方法，重点研究了谓词逻辑知识表示技术在电子病历系统中应用问题。 |
