Basic Ideas of Defeasible Deontic Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN

摘要

Traffic jam caused by inappropriate traffic signal control is a big issue that we have to resolve. In this paper, we introduce an intelligent real-time traffic signal control based on a paraconsistent logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), which can deal with contradiction and defeasible deontic reasoning. The basic idea of the control is that ; sensed traffic amount of each lane is input to the control; permission for or for-biddance from changing the traffic light such as green to red arrow are derived ; then if permission is derived by defeasible deontic reasoning, the change is performed ; if forbiddance is derived, the change is not performed. After reviewing EVALPSN formally, we show how the traffic signal control is performed as EVALPSN programming with taking a typical T-shaped intersection example in Japan. Simulation results for comparing EVALPSN traffic signal control to fixed-time traffic signal control are also provided.