Proposing-Testing Generic Reasoning and Its Application in Railway Location

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.