期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于语义网络的知识表示的形式转换及推理 被引量：14
1
作者 夏幼明 刘海庆 徐天伟 《武汉大学学报（信息科学版）》 EI CSCD 北大核心 2001年第4期369-373,共5页
介绍了基于语义网络的知识表示 ,并利用基于知识的方法将SNetL的知识表示转换为谓词逻辑的表现形式 ,将其用于推理。本文讨论知识表示的交互式输入方法以及中间模型的设计。按SNetL语言的描述机制 ,确定了用户描述的控制、导航方式 。
关键词 语义网络 知识表示 谓词逻辑 智能系统 snetl语言 形式转换 交互式输入方法
下载PDF
基于Agent的人工生命研究 被引量：1
2
作者 祝永志 赵景秀 +1 位作者 曹宝香 夏幼明 《北华大学学报（自然科学版）》 CAS 2003年第3期266-269,共4页
从Agent的角度,在个体级以及群体级上对人工生命进行了研究,提出了基于Agent的人工生命的模型,用扩充的SnetL语言,构建Al-agent知识库,设计了推理的模态逻辑算法基本思想.
关键词 人工生命 AGENT snetl语言 模态逻辑
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部