Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP...Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP) is given,where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalculus for ELP are proved, and the Rcalculus for ELP is implemented in Prolog. In addition, the research is compared with other relevan work.展开更多
This paper presents a framework called logical knowledge object (LKO),which is taken as a basis of the dependable development of knowledge based systems(KBSs). LKO combines logic programming and object-oriented progra...This paper presents a framework called logical knowledge object (LKO),which is taken as a basis of the dependable development of knowledge based systems(KBSs). LKO combines logic programming and object-oriented programming paradigms, where objects are viewed as abstractions with states,constraints, behaviors and inheritance. The operational semantics defined in the style of natural semantics is simple and clear. A hybrid knowledge represen-tation amalgamating rule, frame, semantic network and blackboard is available for both most structured and flat knowledge. The management of knowledge bases has been formally specified. Accordingly, LKO is well suited for the formal representation of knowledge and requirements of KBSs. Based on the framework, verification techniques are also explored to enhance the analysis of requirement specifications and the validation of KBSs. In addition, LKO pro-vides a methodology for the development of KBSs, applying the concepts of rapid prototyping and top-down design to deal with changing and incomplete requirements, and to provide multiple abstract models of the domain, where formal methods might be used at each abstract level.展开更多
In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditional knowledge base maintenance systems as it is a multiple con-text, open and non-monotonic system,...In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditional knowledge base maintenance systems as it is a multiple con-text, open and non-monotonic system, and possesses capacities of describing and characterizingknowledge increment, knowledge update and scientific discoveries. The relation of the open logicand this system is also discussed. Both of them aim at the computer simulation of higher mentalprocesses on theoretical foundation and implementation展开更多
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...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 C3I system.展开更多
文摘Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP) is given,where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalculus for ELP are proved, and the Rcalculus for ELP is implemented in Prolog. In addition, the research is compared with other relevan work.
文摘This paper presents a framework called logical knowledge object (LKO),which is taken as a basis of the dependable development of knowledge based systems(KBSs). LKO combines logic programming and object-oriented programming paradigms, where objects are viewed as abstractions with states,constraints, behaviors and inheritance. The operational semantics defined in the style of natural semantics is simple and clear. A hybrid knowledge represen-tation amalgamating rule, frame, semantic network and blackboard is available for both most structured and flat knowledge. The management of knowledge bases has been formally specified. Accordingly, LKO is well suited for the formal representation of knowledge and requirements of KBSs. Based on the framework, verification techniques are also explored to enhance the analysis of requirement specifications and the validation of KBSs. In addition, LKO pro-vides a methodology for the development of KBSs, applying the concepts of rapid prototyping and top-down design to deal with changing and incomplete requirements, and to provide multiple abstract models of the domain, where formal methods might be used at each abstract level.
文摘In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditional knowledge base maintenance systems as it is a multiple con-text, open and non-monotonic system, and possesses capacities of describing and characterizingknowledge increment, knowledge update and scientific discoveries. The relation of the open logicand this system is also discussed. Both of them aim at the computer simulation of higher mentalprocesses on theoretical foundation and implementation
基金Aeronautical Science Foundation !( 97D5 3 0 3 7)
文摘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 C3I system.
