Intelligent Railway Interlocking Safety on Annotated Logic Program and Verification Based its Simulator
Kazumi Nakarnatsu, Yosuke Kiuchi · 2004
Railway operation disorder is a serious problem and eqected to be recovered as soon as possi- ble. In order to assist the quick recovery of disordered railway diagram, we are planning to provide a railway diagram recovery system, which is based on an anno- tated logic program called EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) with temporal reasoning. The system is based on a railway interlocking safety verification system and a railway di- agram simulation system. In this paper, we introduce the ideas of the railway interlocking safety verification system based on EVALPSN and its prototype simula- tion system with signal control.