Theory of Approximate Reasoning in Two-Valued Predicate Logic Based on the Quasi-truth Degrees

Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation of the pseudo-metric between first-order formulae and the quasi-truth degrees of first-order formulae is discussed, and it is proved that there is no isolated point in the logic metric space (F, ρ ). Thus the pseudo-metric between first-order formulae is well defined to develop the study about approximate reasoning in the logic metric space (F, ρ ). Then, three different types of approximate reasoning patterns are proposed, and their equivalence under some condition is proved. This work aims at filling in the blanks of approximate reasoning in quantitative predicate logic.

Modeling Trusted Computing

In this paper, a formal approach based on predicate logic is proposed for representing and reasoning of trusted computing models. Predicates are defined to represent the characteristics of the objects and the relationship among these objects in a trusted system according to trusted computing specifications. Inference rules of trusted relation are given too. With the semantics proposed, some trusted computing models are formalized and verified, which shows that Predicate calculus logic provides a general and effective method for modeling and reasoning trusted computing systems.

INTELLIGENT RESOLUTION OF COOPERATIVE CONFLICT

First, the concept of cooperative conflict is presented, and the characteristic of cooperative air combat is researched. Then, four methods of conflict resolution are designed by way of the first order predicate logic, i.e. , link up, coordination, accommodation and integration, and corresponding examples are given. A 2 vs 2 air combat simulation was carried out; after conflict resolution, the loss ratio is dropped to 0.54 from the original 1.32, so the enhancement of effectiveness is notable. The present research findings are that the wide conflicts discover the essence of multi fighter cooperation, i.e. , to as fully as possible enhance the effectiveness of each fighter to attain global optimization, and that the possibility of conflict resolution shows the application prospect. The proposed method in this paper is a helpful try to the application of the Fifth Generation Computer in the new generation of C 3I system.

Semantic Description and Verification of Security Policy Based on Ontology

To solve the shortage problem of the semantic descrip- tion scope and verification capability existed in the security policy, a semantic description method for the security policy based on ontology is presented. By defining the basic elements of the security policy, the relationship model between the ontology and the concept of security policy based on the Web ontology language （OWL） is established, so as to construct the semantic description framework of the security policy. Through modeling and reasoning in the Protege, the ontology model of authorization policy is proposed, and the first-order predicate description logic is introduced to the analysis and verification of the model. Results show that the ontology-based semantic description of security policy has better flexibility and practicality.