Intelligent railway interlocking safety verification based on annotated logic program and its simulator

Railway operation disorder is a serious problem that is expected to be resolved as soon as possible. In order to assist the quick recovery of a disordered railway diagram, we are planning to provide a railway diagram recovery system, which is based on an annotated 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 diagram simulation system. In this paper, we introduce the ideas of the railway interlocking safety verification system based on EVALPSN and its prototype simulation system with signal control.