EVALPに基づく交通信号制御

摘要

不適切な交通信号制御によって引き起こされた交通渋滞は，解決するべき重大な問題である．この間題を解決するためにEVALPSNと呼ばれるPara consistent Logic programに基づく知的実時間の交通信号制御システムを紹介する．基本的な考えは以下の通りである．センサーにより検知された交通量が入力され，defensible deonticreasoningによって点灯変化の許可あるいは禁止が導出され，許可が導出されたら点灯変化を実行し，禁止が導出されたら実行しない．EVAIPSNを説明した後に，日本での典型的な交差点を例にとり交通信号制御をEVALPSNでどうやって記述できるかを示す．EVALPSNに基づいた交通信号制御と固定時間の交通信号制御と両方のシミュレーション結果を載せる．