Obra: Deontic verification for railway interlocking safety based on vector annotated logic programming (preliminar version)
Autor: Kazumi Nakamatsu, Jair Minoro Abe e Atsuyuki Suzuki3
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.
© 1999-2013 - Universidade Paulista - Todos os direitos reservados.