提案-验证通用推理及在铁路选线中的应用

被引：3

作者：

韩春华

易思蓉

吕希奎

机构：

[1] 西南交通大学土木工程学院

来源：

西南交通大学学报 | 2009年 / 44卷 / 01期

关键词：

通用推理; 提案-验证; 面向对象方法; 铁路选线; 知识表达;

D O I：

暂无

中图分类号：

U212.32 [选线设计];

学科分类号：

0814 ; 082301 ;

摘要：

为开发可直接利用软件工程中事实知识并能在智能铁路选线系统中重用的推理机,提出并实现了提案-验证通用推理模型.用面向对象技术表示知识,使用规则层次模型,把知识表示为事实知识、约束知识、启发知识、策略知识和目标验证知识;采用双层形式化模型,把知识可阅读和可执行形式联系起来;把问题求解知识表示为推理控制知识,用目标验证知识描述任务目标,实现推理机与控制策略分离.推理基于数据驱动方式,利用反射技术实现动态模式匹配和规则执行;用分类组织知识和按领域特征排列知识对象的冲突消解机制,使推理有序进行.提出的方法已成功应用于新建铁路的线路平面自动生成.

引用

页码：89 / 95

页数：7

共 7 条

[1]

A CommonKADS Representation for a Knowledge-based System to Evaluate Eyewitness Identification.[J].Michael Bromby;Moira MacMillan;Patricia Mckellar.International Review of Law; Computers & Technology.2003, 1

[2]

基于GIS的铁路选线系统智能环境建模方法研究.[D].韩春华.西南交通大学.2008, 06

[3] 基于GIS的铁路选线智能环境及领域本体建模方法 [J].