A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments

This paper describes the outcomes of a project that involved DISI, the Computer Science Department of Genoa University, and Ansaldo Segnalamento Ferroviario, the Italian leader in design and construction of signalling and automation systems for conventional and high speed railway lines. The result of the project, started in February 2008 and ended in September 2008, is an implemented MAS prototype that monitors processes running in a railway signalling plant, detects functioning anomalies, and provides support to the early notification of problems to the Command and Control System Assistance. The MAS has been implemented using DCaseLP, a multi-language prototyping environment developed at DISI, that provides libraries for integrating TuProlog agents into Jade. Due to the intrinsic rule-based nature of monitoring agents, Prolog has been proved extremely suitable for their implementation.

[1]  Ladislau Bölöni,et al.  Space Shuttle ground processing with monitoring agents , 2006, IEEE Intelligent Systems.

[2]  Michael Gelfond,et al.  A-Prolog as a tool for declarative programming , 2000 .

[3]  Luís Moniz Pereira,et al.  A Deliberative and Reactive Diagnosis Agent Based on Logic Programming , 1996, ATAL.

[4]  Oren Etzioni,et al.  PRODIGY4.0: The Manual and Tutorial , 1992 .

[5]  Andrea Omicini,et al.  The A&AProgramming Model and Technology for Developing Agent Environments in MAS , 2007, PROMAS.

[6]  Viviana Mascardi,et al.  DCaseLP: A Prototyping Environment for Multi-language Agent Systems , 2008, LADS.

[7]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[8]  A. Roadmapof.  A Roadmap of Agent Research and Development , 1995 .

[9]  Michael Gelfond,et al.  Diagnostic reasoning with A-Prolog , 2003, Theory Pract. Log. Program..

[10]  José Aguilar-Castro,et al.  Agents-based design for fault management systems in industrial processes , 2007, Comput. Ind..

[11]  Kenwood H. Hall,et al.  Rockwell automation agents for manufacturing , 2005, AAMAS '05.

[12]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[13]  Nicholas R. Jennings,et al.  Using Archon, Part 2: Electricity Transportation Management , 1996, IEEE Expert.

[14]  Edmund H. Durfee,et al.  A Distributed Problem-Solving Infrastructure for Computer Network Management , 1992, Int. J. Cooperative Inf. Syst..

[15]  Robert A. Kowalski,et al.  From logic programming towards multi‐agent systems , 1999, Annals of Mathematics and Artificial Intelligence.

[16]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[17]  R. Weihmayer,et al.  Modeling cooperative agents for customer network control using planning and agent-oriented programming , 1992, [Conference Record] GLOBECOM '92 - Communications for Global Users: IEEE.

[18]  R. Weihmayer,et al.  A distributed AI architecture for customer network control , 1990, [Proceedings] GLOBECOM '90: IEEE Global Telecommunications Conference and Exhibition.

[19]  Ming Zhao,et al.  Communication and coordination for intelligent fault diagnosis agents , 1997 .

[20]  Nicholas R. Jennings,et al.  Using Archon to Develop Real-World DAI Applications, Part 1 , 1996, IEEE Expert.

[21]  Viviana Mascardi,et al.  Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents , 2008, CISIS.

[22]  Hyacinth S. Nwana,et al.  ZEUS: a toolkit and approach for building distributed multi-agent systems , 1999, AGENTS '99.

[23]  Toshiharu Sugawara.  A cooperative LAN diagnostic and observation expert system , 1990, Ninth Annual International Phoenix Conference on Computers and Communications. 1990 Conference Proceedings.

[24]  J. R. McDonald,et al.  A multi agent system for monitoring industrial gas turbine start-up sequences , 2001, PICA 2001. Innovative Computing for Power - Electric Energy Meets the Market. 22nd IEEE Power Engineering Society. International Conference on Power Industry Computer Applications (Cat. No.01CH37195).

[25]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[26]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[27]  Michael Gelfond,et al.  An A Prolog decision support system for the Space Shuttle , 2001, Answer Set Programming.

[28]  Andrea Omicini,et al.  tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures , 2001, PADL.

[29]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.