200902_提案_验证通用推理及在铁路选线中应用.pdfVIP

44 1 Vo.l 44 No. 1 2009 2 JOURNAL OF SOUTHW EST JIAOTONG UN IVERSITY Feb. 2009 : 02582 24( 2009) 0100890 韩春华, 易思蓉, 吕希奎 (, 610031) : , . , , ; , ; , , . , ; , . . : ; ; ; ; : U212. 32 : A ProposingTesting G eneric R eason ing and Its App lication in Railway Location HAN Chunhua, YI S irong, L X ikui ( School of C ivil Eng. , Southwest Jiaotong Un iversity, Chengdu 610031, Ch ina) Abs tract: To develop an inference engine that can be reused in an intelligent raiwl ay location system and d irectly utilize factual know ledge in softw are engineering, a proposingtesting generic inference model w as put forw ard. In th is mode,l know ledge is represented using the objectoriented technology. By using a h ierarchical mode,l rules are described as factual know ledge, constraint know ledge, heuristic know ledge, tactful know ledge and goal verifying know ledge. know ledges executable form is related to its readable form by using a b iformal mode.l Problemsolving method is described as inferential control know ledge, and task verifying know ledge isused to describe task goa.l So reason ing control strategy can be separated from an inference engine. The inference engine takes datadriven as its control strategy. Dynam ic pattern match ing and rule executing are fulfilled using the reflection technology. By classifying know ledge based on know ledge categories and know ledge domain characteristics, conflict resolution mechan ism is constructed. Therefore, the reason ing process is controllable. This method has been successfully used in railway location