{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T20:19:59Z","timestamp":1649017199840},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":7331,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1989,2]]},"abstract":"<jats:p>This paper presents an expert system (called ADES, i.e. ATP Design Expert System) for the automatic design of Automatic Train Protection systems (ATP). An ATP system is a railway signalling system constituted by a set of logic circuits that control the safe movement of trains within a railway station.<\/jats:p><jats:p>AI techniques proved feasible to address the particular design problem discussed: ADES is able to rapidly design good control circuits to meet operational requirements by using a well-structured, explicitly represented, in depth knowledge of Automatic Train Protection. The use of AI techniques facilitates the maintenance and extension of ADES to face new or unplanned requirements.<\/jats:p><jats:p>Implementing both the expert system and its environment tools in the PROLOG language, by using meta-interpretation techniques, has led to the rapid prototyping of the overall system. Optimization techniques have also been developed to allow ADES to be efficiently executed.<\/jats:p>","DOI":"10.1017\/s0890060400001062","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T13:48:46Z","timestamp":1270043326000},"page":"1-21","source":"Crossref","is-referenced-by-count":2,"title":["ADES: An expert system for ATP design"],"prefix":"10.1017","volume":"3","author":[{"given":"Roberto","family":"Cremonini","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S0890060400001062_ref018","first-page":"18","volume-title":"Logics for Artificial Intelligence","author":"Turner","year":"1984"},{"key":"S0890060400001062_ref016","volume-title":"Proceedings of IFIP-86","author":"S.","year":"1986"},{"key":"S0890060400001062_ref002","unstructured":"Chandrasekaran B. 1987. Towards a functional architecture for intelligence based on generic information processing tasks. Paper presented at IJCAI-87, Milan, Italy."},{"key":"S0890060400001062_ref019","volume-title":"Proceedings of ECAI-84","author":"Venken","year":"1984"},{"key":"S0890060400001062_ref015","volume-title":"Principles of Artificial Intelligence","author":"Nilsson","year":"1980"},{"key":"S0890060400001062_ref017","volume-title":"Proceedings of the 2nd International Conference on Logic Programming","author":"Tamaki","year":"1984"},{"key":"S0890060400001062_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90003-0"},{"key":"S0890060400001062_ref012","unstructured":"McDermott J. 1980. R1: A Rule Based Configurer of Computer Sysems. Technical Report CMU-CS-80\u2013119, Dept. of Computer Science, Carnegie Mellon University, Pittsburg, PA."},{"key":"S0890060400001062_ref001","doi-asserted-by":"publisher","DOI":"10.1109\/MEX.1986.4306977"},{"key":"S0890060400001062_ref003","volume-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"key":"S0890060400001062_ref004","unstructured":"Cremonini R. , Lamma E. and Mello P. 1987 a. Building and Optimizing an Expert System Using Partial Evaluation Techniques: a case study. DEIS Technical Report, University of Bologna, Bologna."},{"key":"S0890060400001062_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(87)90087-1"},{"key":"S0890060400001062_ref010","volume-title":"Building Expert Systems","author":"Hayes-Roth","year":"1983"},{"key":"S0890060400001062_ref006","volume-title":"Proceedings of the 1988 Eastern Simulation Conferences","author":"Cremonini","year":"1988"},{"key":"S0890060400001062_ref011","unstructured":"Lloyd J. W. and Stepherdson J. C. 1987. Partial Evaluation in Logic Programming, Technical Report CS-87\u201309, University of Bristol, Bristol."},{"key":"S0890060400001062_ref009","unstructured":"Gallagher J. 1986. Transforming logic programs by specializing interpreters. Proceedings of ECAI-86."},{"key":"S0890060400001062_ref013","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1985.4767698"},{"key":"S0890060400001062_ref008","unstructured":"Duda R. O. 1978. Development of the PROSPECTOR Consultation System for Mineral Exploration. Final Report, SRI Projects 5821 and 6415, SRI International Inc., Menlo Park, CA."},{"key":"S0890060400001062_ref014","volume-title":"Proceedings of AAAI-86","author":"Mittal","year":"1986"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060400001062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:02:02Z","timestamp":1558299722000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060400001062\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,2]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1989,2]]}},"alternative-id":["S0890060400001062"],"URL":"https:\/\/doi.org\/10.1017\/s0890060400001062","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,2]]}}}