检索结果-南通市图书馆

Situated Learning of a Behavior-Based Mobile Robot Path Planner

Journal of Computer Science & Technology 1995年第4期10卷 375-379页

作者：姚殊张钹 departmentofcomputerscienceandTechnology TsinghuaUniversityBeijing100084 departmentofcomputersciencea

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.

关键词： Situated learning behavior-based path planning CMAC neural networks

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Logical Object as a Basis of Knowledge Based Systems

引用

Journal of Computer Science & Technology 1995年第5期10卷 425-438页

作者：徐殿祥郑国梁 departmentofcomputerscienceandTechnology NanjingUniversityNanjing210093 departmentofcomputersciencea

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.

关键词： Knowledge based system logic programming object-oriented programming specification verification

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Towards a Declarative Semantics of Inheritance with Exceptions

引用

Journal of Computer Science & Technology 1996年第1期11卷 67-71页

作者：徐殿祥郑国梁 departmentofcomputerscienceandTechnology NanjingUniversityNanjing210093 departmentofcomputersciencea

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.

关键词： Declarative semantics inheritance exception logic programming object-oriented programming

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：