Building and optimizing an expert system for ATP design

Proceedings. Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering Pub Date : 1989-10-16 DOI:10.1109/DKSME.1989.107443

R. Cremonini, E. Lamma, P. Mello

{"title":"Building and optimizing an expert system for ATP design","authors":"R. Cremonini, E. Lamma, P. Mello","doi":"10.1109/DKSME.1989.107443","DOIUrl":null,"url":null,"abstract":"A description is presented of an expert system called ADES (ATP design expert system) for the design of automatic train-protection (ATP) systems. (An ATP system is a railway signaling system consisting of a set of logic circuits that control the safe movements of trains within a railway station.) Artificial intelligence techniques proved feasible to address this particular design problem, and ADES, which uses artificial intelligence techniques, makes it possible to design good control circuits to meet operational requirements rapidly by using well-structured, explicitly represented knowledge on ATP. ADES' inference engine works as a partial evaluator for the knowledge representation language KARL which is used to write design rules. Since every circuit produced by the expert system is still expressed in KARL, the KARL interpreter has also been used as a simulator for a designed circuit. Prototypes of the inference engine and the KARL interpreter have been implemented as extended Prolog metainterpreters.<<ETX>>","PeriodicalId":228213,"journal":{"name":"Proceedings. Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DKSME.1989.107443","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

A description is presented of an expert system called ADES (ATP design expert system) for the design of automatic train-protection (ATP) systems. (An ATP system is a railway signaling system consisting of a set of logic circuits that control the safe movements of trains within a railway station.) Artificial intelligence techniques proved feasible to address this particular design problem, and ADES, which uses artificial intelligence techniques, makes it possible to design good control circuits to meet operational requirements rapidly by using well-structured, explicitly represented knowledge on ATP. ADES' inference engine works as a partial evaluator for the knowledge representation language KARL which is used to write design rules. Since every circuit produced by the expert system is still expressed in KARL, the KARL interpreter has also been used as a simulator for a designed circuit. Prototypes of the inference engine and the KARL interpreter have been implemented as extended Prolog metainterpreters.<>

查看原文本刊更多论文

构建并优化ATP设计专家系统

介绍了一种用于列车自动保护(ATP)系统设计的专家系统ADES (ATP设计专家系统)。(ATP系统是一种铁路信号系统，由一组控制火车站内列车安全运行的逻辑电路组成。)人工智能技术被证明是解决这一特定设计问题的可行方法，而使用人工智能技术的ADES，通过使用结构良好、明确表示的ATP知识，使设计良好的控制电路以快速满足操作要求成为可能。ADES的推理引擎作为知识表示语言KARL的部分求值器，用于编写设计规则。由于专家系统产生的每个电路仍然用KARL表示，因此KARL解释器也被用作设计电路的模拟器。推理引擎和KARL解释器的原型已经被实现为扩展的Prolog元解释器。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings. Second International Conference on Data and Knowledge Systems for Manufacturing and Engineering

自引率

0.00%

发文量