Hostname: page-component-cd9895bd7-fscjk Total loading time: 0 Render date: 2024-12-26T08:02:53.919Z Has data issue: false hasContentIssue false
  • English
  • Français

ADES: An expert system for ATP design

Published online by Cambridge University Press:  27 February 2009

Roberto Cremonini ,
Evelina Lamma  and
Paola Mello
Roberto Cremonini
Affiliation:
DEIS, Universita di Bologna, Viale Risorgimento 2, 40136 Bologna, Italy
Evelina Lamma
Affiliation:
DEIS, Universita di Bologna, Viale Risorgimento 2, 40136 Bologna, Italy
Paola Mello
Affiliation:
DEIS, Universita di Bologna, Viale Risorgimento 2, 40136 Bologna, Italy
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

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.

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.

Type
Research Article
Information
AI EDAM , Volume 3 , Issue 1 , February 1989 , pp. 1 - 21
Copyright
Copyright © Cambridge University Press 1989

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Chandrasekaran, B. 1986. Generic tasks in knowledge-based reasoning: High-level building blocks for expert system design. IEEE Expert, 1, No. 3, 23–30.Google Scholar
Chandrasekaran, B. 1987. Towards a functional architecture for intelligence based on generic information processing tasks. Paper presented at IJCAI-87, Milan, Italy.Google Scholar
Clocksin, W. F. and Mellish, C. S. 1981. Programming in Prolog. Berlin: Springer-Verlag.Google Scholar
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.Google Scholar
Cremonini, R., Lamma, E. and Mello, P. 1987 b. Optimization techniques in building expert systems. Microprocessing and Microprogramming 21, 531–538.Google Scholar
Cremonini, R., Lamma, E. and Mello, P. 1988. A simulator for an automatic train protection system. Proceedings of the 1988 Eastern Simulation Conferences, Orlando. The Society for Computer Simulation International.Google Scholar
Davis, R., Buchanan, B. and Shortliffe, E. 1977. Production rules as a representation for a knowledge-based consultation program. Artificial Intelligence, 8, 15–45.Google Scholar
Duda, R. O. et al. 1978. Development of the PROSPECTOR Consultation System for Mineral Exploration. Final Report, SRI Projects 5821 and 6415, SRI International Inc., Menlo Park, CA.Google Scholar
Gallagher, J. 1986. Transforming logic programs by specializing interpreters. Proceedings of ECAI-86.Google Scholar
Hayes-Roth, F., Waterman, D. A. and Lenat, D. B. 1983. Building Expert Systems. Reading, MA: Addison Wesley.Google Scholar
Lloyd, J. W. and Stepherdson, J. C. 1987. Partial Evaluation in Logic Programming, Technical Report CS-87–09, University of Bristol, Bristol.Google Scholar
McDermott, J. 1980. R1: A Rule Based Configurer of Computer Sysems. Technical Report CMU-CS-80–119, Dept. of Computer Science, Carnegie Mellon University, Pittsburg, PA.Google Scholar
Mitchell, T. M. et al. 1985. A knowledge-based approach to design. IEEE Transactions on Pattern Analysis and Machine Intelligence, 7, No. 5, 502–510.Google Scholar
Mittal, S. and Araya, A. 1986. A knowledge-based framework for design. Proceedings of AAAI-86, Philadelphia, Morgan Kaufmann.Google Scholar
Nilsson, N. J. 1980. Principles of Artificial Intelligence. Berlin: Springer-Verlag.Google Scholar
S., Safra and E., Shapiro, 1986. Meta-interpreters for real. In Kugler, H. G. (ed.), Proceedings of IFIP-86. Amsterdam: Elsevier.Google Scholar
Tamaki, H. and Sato, T. 1984. Unfold/fold transformation of logic programs. Proceedings of the 2nd International Conference on Logic Programming. Amsterdam: Elsevier–North-Holland.Google Scholar
Turner, R. 1984. Logics for Artificial Intelligence, pp. 18–31. Chichester: Ellis Horwood.Google Scholar
Venken, R. 1984. A prolog meta-interpreter for partial evaluation and its application to source to source transformation and query-optimization. Proceedings of ECAI-84, Amsterdam: Elsevier–North-Holland.Google Scholar