期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
提案-验证通用推理及在铁路选线中的应用
被引量：
4
1
作者
韩春华
易思蓉
吕希奎
《西南交通大学学报》
EI
CSCD
北大核心
2009年第1期89-95,共7页
为开发可直接利用软件工程中事实知识并能在智能铁路选线系统中重用的推理机,提出并实现了提案-验证通用推理模型.用面向对象技术表示知识,使用规则层次模型,把知识表示为事实知识、约束知识、启发知识、策略知识和目标验证知识;采用双...
为开发可直接利用软件工程中事实知识并能在智能铁路选线系统中重用的推理机,提出并实现了提案-验证通用推理模型.用面向对象技术表示知识,使用规则层次模型,把知识表示为事实知识、约束知识、启发知识、策略知识和目标验证知识;采用双层形式化模型,把知识可阅读和可执行形式联系起来;把问题求解知识表示为推理控制知识,用目标验证知识描述任务目标,实现推理机与控制策略分离.推理基于数据驱动方式,利用反射技术实现动态模式匹配和规则执行;用分类组织知识和按领域特征排列知识对象的冲突消解机制,使推理有序进行.提出的方法已成功应用于新建铁路的线路平面自动生成.
展开更多
关键词
通用推理
提案-验证
面向对象方法
铁路选线
知识表达
在线阅读
下载PDF
职称材料
题名
提案-验证通用推理及在铁路选线中的应用
被引量：
4
1
作者
韩春华
易思蓉
吕希奎
机构
西南交通大学土木工程学院
出处
《西南交通大学学报》
EI
CSCD
北大核心
2009年第1期89-95,共7页
基金
国家自然科学基金资助项目(50278082)
文摘
为开发可直接利用软件工程中事实知识并能在智能铁路选线系统中重用的推理机,提出并实现了提案-验证通用推理模型.用面向对象技术表示知识,使用规则层次模型,把知识表示为事实知识、约束知识、启发知识、策略知识和目标验证知识;采用双层形式化模型,把知识可阅读和可执行形式联系起来;把问题求解知识表示为推理控制知识,用目标验证知识描述任务目标,实现推理机与控制策略分离.推理基于数据驱动方式,利用反射技术实现动态模式匹配和规则执行;用分类组织知识和按领域特征排列知识对象的冲突消解机制,使推理有序进行.提出的方法已成功应用于新建铁路的线路平面自动生成.
关键词
通用推理
提案-验证
面向对象方法
铁路选线
知识表达
Keywords
generic reasoning
proposing
-
testing
object
-
oriented method
railway location
knowledge representation
分类号
U212.32 [交通运输工程—道路与铁道工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
提案-验证通用推理及在铁路选线中的应用
韩春华
易思蓉
吕希奎
《西南交通大学学报》
EI
CSCD
北大核心
2009
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
