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

韩春华; 易思蓉; 吕希奎

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

基金项目:

国家自然科学基金资助项目(50278082)

详细信息

作者简介:
韩春华(1976- ),男,博士,研究方向为交通地理信息系统,道路、铁路工程信息技术及智能CAD,电话:0871-3802298,E-mail:hanunhua@kmust.edu.cn

计量
- 文章访问数: 1603
- HTML全文浏览量: 47
- PDF下载量: 348
- 被引次数: 0
出版历程
- 收稿日期: 2008-05-09
- 刊出日期: 2009-02-18

Proposing-Testing Generic Reasoning and Its Application in Railway Location

HAN Chunhua,
YI Sirong,

摘要

摘要: 为开发可直接利用软件工程中事实知识并能在智能铁路选线系统中重用的推理机,提出并实现了提案-验证通用推理模型.用面向对象技术表示知识,使用规则层次模型,把知识表示为事实知识、约束知识、启发知识、策略知识和目标验证知识;采用双层形式化模型,把知识可阅读和可执行形式联系起来;把问题求解知识表示为推理控制知识,用目标验证知识描述任务目标,实现推理机与控制策略分离.推理基于数据驱动方式,利用反射技术实现动态模式匹配和规则执行;用分类组织知识和按领域特征排列知识对象的冲突消解机制,使推理有序进行.提出的方法已成功应用于新建铁路的线路平面自动生成.
- 通用推理 /
- 提案-验证 /
- 面向对象方法 /
- 铁路选线 /
- 知识表达
Abstract: To develop an inference engine that can be reused in an intelligent railway location system and directly utilize factual knowledge in software engineering,a proposing-testing generic inference model was put forward.In this model,knowledge is represented using the object-oriented technology.By using a hierarchical model,rules are described as factual knowledge,constraint knowledge,heuristic knowledge,tactful knowledge and goal verifying knowledge.knowledge’s executable form is related to its readable form by using a bi-formal model.Problem-solving method is described as inferential control knowledge,and task verifying knowledge is used to describe task goal.So reasoning control strategy can be separated from an inference engine.The inference engine takes data-driven as its control strategy.Dynamic pattern matching and rule executing are fulfilled using the reflection technology.By classifying knowledge based on knowledge categories and knowledge domain characteristics,conflict resolution mechanism is constructed.Therefore,the reasoning process is controllable.This method has been successfully used in railway location to automatically generate new railway horizontal alignment.
- generic reasoning /
- proposing-testing /
- object-oriented method /
- railway location /
- knowledge representation

HTML全文

参考文献(15)

韩春华,易思蓉,吕希奎.人工智能在选线领域的研究现状分析[J].计算机工程与应用,2005,41(29):229-232.HAN Chnnhna,YI Sirong,LU Xikni.The situation study of applying artificial intelligent to railway or highway alignment design[J].Computer Engineering and Applications,2005,41 (29):229-232.

韩春华,易思蓉,吕希奎.基于GIS的铁路选线智能环境及领域本体建模[J].中国铁道科学,2006,27(6):84-90.HAN Chunhua,YI Sirong,LU Xikui.GIS based railway location intelligent environment and domain ontology modeling method[J].China Railway Science,2006,27(6):84-90.

韩春华.基于GIS的铁路选线系统智能环境建模方法研究[D].成都:西南交通大学土木工程学院,2008.

STUDERA R,BENJAMINS V R,FENSELA D.Knowledge engineering:Principles and methods[J].Data & Knowledge Engineering,1998,25(1-2):161-197.

MUSEN M A.Ontology-oriented design and programming[C]//CUENA J,DEMAZEAU Y,Serrano A G,et al.Knowledge Engineering and Agent Technology.Amsterdam:lOS Press,2000:3-16.

MONICA C,MUSEN M A.Ontologies in support of problem solving[C]//STAAB S,STUDERA R.Handbook on Ontologies.Heidelberg:Springer-Verlag,2003:321-341.

BROMBY M,MACMILLAN M,MCKELLAR P.A common KADS representation for a knowledge based system to evaluate eyewitness identification[J].International Review of Law Computers & Technology,2003,17(1):99-108.

FENSEL D,MO'ITA E,DECKER S,et al.Using ontologies for defining tasks,problem-solving methods and their mappings[C]//PLAZA E,BENJAMIN V R.Knowledge Acquisition,Modeling and Management.Heidelberg:Springer Berlin,1997:113-128.

RAJPATHAK D G,MOTTA E,ZDRAHAL Z,et al.A generic library of problem solving methods for scheduling applications[J].IEEE Transactions on Knowledge and Data Engineering,2006,18(6):815-828.

STEVEN W.Knowledge acquisition and knowledge representation with class:The object-oriented paradigm[J].Expert Systems with Application,1998,15(2):235-244.

CHAUA K W,ALBERMANI F.Hybrid knowledge representation in a blackboard KBS for liquid retaining structure design[J].Engineering Applications of Artificial Intelligence,2004,17(1):11-18.

易思蓉.虚拟环境选线系统中的知识表达模式[J].铁道学报,2004,26(1):88-92.YI Sirong.Knowledge representation model for the virtual environment railway location system[J].Journal of the China Railway Society,2004,26(1):88-92.

何勇,沙宗尧.基于智能对象的决策支持系统体系结构研究[J].武汉大学学报:信息科学版,2004,29(2):116-119.HE Yong,SHA Zongyao.Structure of decision support system based on intelligent object[J].Geomatics and Information Science of Wuhan University,2004,29(2):116-119.

郑丽敏.人工智能与专家系统原理及其应用[M].北京:中国农业大学出版社,2004:152-154.

中华人民共和国铁道部.GB50090-2006铁路选线设计规范[S].北京:中国计划出版社,2006.

施引文献

附加材料(0)

访问统计

点击查看大图

计量

文章访问数: 1603
HTML全文浏览量: 47
PDF下载量: 348
被引次数: 0

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

作者简介: 韩春华(1976- ),男,博士,研究方向为交通地理信息系统,道路、铁路工程信息技术及智能CAD,电话:0871-3802298,E-mail:hanunhua@kmust.edu.cn

计量

出版历程

Proposing-Testing Generic Reasoning and Its Application in Railway Location

计量

出版历程

目录

作者简介:
韩春华(1976- ),男,博士,研究方向为交通地理信息系统,道路、铁路工程信息技术及智能CAD,电话:0871-3802298,E-mail:hanunhua@kmust.edu.cn