1. At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

2. At last predicate logic is combined with production KR, as which a method to describe the warning rule in the knowledge base.

3. At last predicate logic is combined with production KR, as which a method to describe the reasoning rule in the knowledge base.

4. In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.

5. Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed.

6. Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.

7. Predicate logic is a kind of highly formalized language and its inferences in view of the analysis of predicate,[/predicate logic.html] and is one of the most important theoretical bases of AI.

8. For medium predicate logic system MF, a new infinite value semantic interpretation that is l-interpretation is introduced, the l-resolution method is led into the MF.

9. By predicate logic, the solution is set up and the process of analysis is provided.

10. Predicate logic of first order is the most classical calculation system in modern logic.

11. Whether the classical predicate logic systems with the primitive rule of universal generalization have the strung semantic soundness depends on the restriction of the rule.

12. In the end, predicate logic has still some problems and we hope more people take part in the study of logic.

13. Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

14. Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

15. Proper names and definite descriptions are singular conceptions in traditional logic[], while they are named as singular terms in predicate logic .

16. In this knowledge base system model, we adopt both first order predicate logic (FOPL) and case knowledge representation modes to represent the knowledge.

17. I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

18. Analyzing the vulnerabilities of security bootstrapping procedures in existing trusted mobile platforms, an improved procedure is proposed and it is verified according to predicate logic.

19. The second part analyzes the formal language of knowledge predicate logic.

20. Symbolic logic is often divided into two branches, propositional logic and predicate logic.

21. Authors designed a kindred automatic reasoning model based on one-order predicate logic.