An EVALP Based Traffic Simulation System
Kazumi Nakamatsu, Ryuji Ishikawa, Atsuyuki Suzuki · 2005
Driving actions of human beings such as putting the brake in order to control the car speed can be regarded to be decided by defeasible deontic reasoning based on environmental information such as the distance between two cars. We formalize such a car driving model in a paraconsistent logic program EVALP(Extended Vector Annotated Logic Program), which can deal with defeasible deontic reasoning. In this paper, we introduce an EVALP defeasible deontic reasoning based car driving model and a traffic simulation system based on the model, which can be implemented in the cell automaton method for traffic simulation.