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

• 作者: 吕希奎 易思蓉 韩春华
• 来源期刊: 西南交通大学学报
• 学科: 交通运输
• 关键词: 通用推理 提案-验证 面向对象方法 铁路选线 知识表达
• 年，卷（期）: 2009,（1）
• 页码范围: 89-95
• 页数: 7页
• 分类号: U212.32
• 字数: 6202字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2009.01.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	易思蓉	西南交通大学土木工程学院	61	747	17.0	22.0
2	韩春华	西南交通大学土木工程学院	10	121	7.0	10.0
3	吕希奎	西南交通大学土木工程学院	12	170	8.0	12.0