Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN In this paper, we introduce an intelligent real-time traffic signal control system based on a paraconsistent logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation), that can deal with contradiction and defeasible deontic reasoning. We show how the traffic signal control is implemented in EVALPSN with taking a simple intersection example in Japan. Simulation results for comparing EVALPSN traffic signal control to fixed-time traffic signal control are also provided.
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Nakamatsu, Kazumi; Akama, Seiki: Programming with annotated logics (2016)
- Nakamatsu, Kazumi; Chung, Sheng-Luen; Komaba, Hayato; Suzuki, Atsuyuki: A discrete event control based on EVALPSN stable model computation (2005)
- Nakamatsu, Kazumi; Komaba, Hayato; Suzuki, Atsuyuki; Lie, Chung-Lun; Chung, Sheng-Luen: Defeasible deontic control for discrete events based on EVALPSN (2004)
- Nakamatsu, Kazumi; Seno, Toshiaki; Abe, Jair Minoro; Suzuki, Atsuyuki: Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN (2003)