论文部分内容阅读
根据客运专线综合运营调度系统结构,为建立系统知识库,将客运专线的运输环境分为静态环境和动态环境。静态环境包括车站顺序关系、站场配置和列车运行计划。动态环境包括列车、车站、线路和自然环境。按照知识工程思想和anget理论,采用一阶谓词逻辑和映射分别对静态环境和动态环境进行形式化描述,给出推理规则的形式化描述。在仿真系统中推理规则采用IF-THEN形式存储,agent采用数据驱动的方式进行推理。仿真结果表明,采用一阶谓词和映射对agent的知识进行描述是可行的。
According to the structure of integrated operation dispatching system of passenger dedicated line, a system knowledge base is established to divide the transport environment of passenger dedicated line into static environment and dynamic environment. The static environment includes station order, station configuration and train operation plan. Dynamic environments include trains, stations, routes and the natural environment. According to the theory of knowledge engineering and anget theory, the first order predicate logic and the mapping are used to formally describe the static environment and the dynamic environment respectively, and the formal description of the inference rules is given. In the simulation system inference rules using IF-THEN form of storage, agent data-driven approach to reasoning. Simulation results show that using first-order predicate and mapping to describe the agent’s knowledge is feasible.