This paper presents a declarative semantics of compositional inheritancein an object-oriented logic programming' framework wit h explicit exceptions,based on the iterated least Aspoint semantics to normal logic pr...This paper presents a declarative semantics of compositional inheritancein an object-oriented logic programming' framework wit h explicit exceptions,based on the iterated least Aspoint semantics to normal logic programs. Tak-ing logic objects with exceptions as a ldnd of nonmonotonic theory, the nonmonotonicity of inheritance is achieved, which is of importance for modelingincomplete knowledge and requirement specffications in both artificial intelli-gence and softwa-re engineering.展开更多
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, we propose a behaviorbased path planner that can self learn in anunknown environment. A situated learning algorithm is designed which allows therobot to learn to coordinate several concurrent behaviors ...In this paper, we propose a behaviorbased path planner that can self learn in anunknown environment. A situated learning algorithm is designed which allows therobot to learn to coordinate several concurrent behaviors and improve its performanceby interacting with the environmellt. Behaviors are implemented using CMAC neuralnetworks. A simulation environment is set up and some simulation experiments arecarried out to rest our learning algorithm.展开更多
文摘This paper presents a declarative semantics of compositional inheritancein an object-oriented logic programming' framework wit h explicit exceptions,based on the iterated least Aspoint semantics to normal logic programs. Tak-ing logic objects with exceptions as a ldnd of nonmonotonic theory, the nonmonotonicity of inheritance is achieved, which is of importance for modelingincomplete knowledge and requirement specffications in both artificial intelli-gence and softwa-re engineering.
文摘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, we propose a behaviorbased path planner that can self learn in anunknown environment. A situated learning algorithm is designed which allows therobot to learn to coordinate several concurrent behaviors and improve its performanceby interacting with the environmellt. Behaviors are implemented using CMAC neuralnetworks. A simulation environment is set up and some simulation experiments arecarried out to rest our learning algorithm.
