Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN.
Kazumi NakamatsuToshiaki SenoJair Minoro AbeAtsuyuki SuzukiPublished in: RSFDGrC (2003)
Keyphrases
- logic programs
- logic programming
- real time
- traffic signal control
- answer set programming
- answer sets
- fixpoint
- stable models
- deductive databases
- nonmonotonic reasoning
- inductive logic programming
- inside outside algorithm
- normal logic programs
- logic program updates
- prolog programs
- loop formulas
- horn clauses
- possibilistic logic
- computational properties
- classical logic
- default logic
- traffic signal
- markov decision processes
- general logic programs
- knowledge representation
- control system
- machine learning