| 提案-验证通用推理及在铁路选线中的应用 |
| |
| 引用本文： | 韩春华,易思蓉,吕希奎.提案-验证通用推理及在铁路选线中的应用[J].西南交通大学学报,2009,44(1). |
| |
| 作者姓名： | 韩春华 易思蓉 吕希奎 |
| |
| 作者单位： | 西南交通大学土木工程学院,四川,成都,610031 |
| |
| 摘 要： | 为开发可直接利用软件工程中事实知识并能在智能铁路选线系统中重用的推理机，提出并实现了提案-验证通用推理模型．用面向对象技术表示知识，使用规则层次模型，把知识表示为事实知识、约束知识、启发知识、策略知识和目标验证知识；采用双层形式化模型，把知识可阅读和可执行形式联系起来；把问题求解知识表示为推理控制知识，用目标验证知识描述任务目标，实现推理机与控制策略分离．推理基于数据驱动方式，利用反射技术实现动态模式匹配和规则执行；用分类组织知识和按领域特征排列知识对象的冲突消解机制，使推理有序进行．提出的方法已成功应用于新建铁路的线路平面自动生成．
|
| 关 键 词： | 通用推理 提案-验证 面向对象方法 铁路选线 知识表达 |
Proposing-Testing Generic Reasoning and Its Application in Railway Location |
| |
| HAN Chunhua,YI Sirong,L Xikui.Proposing-Testing Generic Reasoning and Its Application in Railway Location[J].Journal of Southwest Jiaotong University,2009,44(1). |
| |
| Authors: | HAN Chunhua YI Sirong L Xikui |
| |
| Institution: | HAN Chunhua,YI Sirong,L(U) Xikui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
