Deontic verification for railway interlocking safety based on vector annotated logic programming (preliminar version)

Obra: Deontic verification for railway interlocking safety based on vector annotated logic programming (preliminar version)
Autor: Kazumi Nakamatsu, Jair Minoro Abe e Atsuyuki Suzuki3

Resumo

We have already proposed an annotated logic program called an EVALP (Extended Vector Annotated Logic Program) to deal with deontic reasoning. In this paper, we propose an automatic verification system forrailway interlocking safety based on EVALP programming as an application of EVALP.