Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN

Detalhes bibliográficos
Autor(a) principal: Nakamatsu, K.
Data de Publicação: 2003
Outros Autores: Seno, T., Abe, J. M., Suzuki, A., Wang, G. Y., Liu, Q., Yao, Y. Y., Skowron, A.
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://hdl.handle.net/11449/194574
Resumo: 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.
id UNSP_3fe7f1d8bf2d45bcf040c1c3c57b859d
oai_identifier_str oai:repositorio.unesp.br:11449/194574
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSNtraffic signal controlparaconsistent logic programintelligent controldefeasible deontic reasoningIn 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.Himeji Inst Technol, Sch HEPT, Himeji, Hyogo 6700092, JapanShizuoka Univ, Dept Informat, Hamamatsu, Shizuoka 4328011, JapanUniv Estadual Paulista, Dept Informat, BR-12120402 Sao Paulo, BrazilUniv Estadual Paulista, Dept Informat, BR-12120402 Sao Paulo, BrazilSpringerHimeji Inst TechnolShizuoka UnivUniversidade Estadual Paulista (Unesp)Nakamatsu, K.Seno, T.Abe, J. M.Suzuki, A.Wang, G. Y.Liu, Q.Yao, Y. Y.Skowron, A.2020-12-10T16:30:28Z2020-12-10T16:30:28Z2003-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article719-723Rough Sets, Fuzzy Sets, Data Mining, And Granular Computing. Berlin: Springer-verlag Berlin, v. 2639, p. 719-723, 2003.0302-9743http://hdl.handle.net/11449/194574WOS:000184350600124Web of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengRough Sets, Fuzzy Sets, Data Mining, And Granular Computinginfo:eu-repo/semantics/openAccess2021-10-22T17:43:33Zoai:repositorio.unesp.br:11449/194574Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462021-10-22T17:43:33Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
title Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
spellingShingle Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
Nakamatsu, K.
traffic signal control
paraconsistent logic program
intelligent control
defeasible deontic reasoning
title_short Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
title_full Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
title_fullStr Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
title_full_unstemmed Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
title_sort Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
author Nakamatsu, K.
author_facet Nakamatsu, K.
Seno, T.
Abe, J. M.
Suzuki, A.
Wang, G. Y.
Liu, Q.
Yao, Y. Y.
Skowron, A.
author_role author
author2 Seno, T.
Abe, J. M.
Suzuki, A.
Wang, G. Y.
Liu, Q.
Yao, Y. Y.
Skowron, A.
author2_role author
author
author
author
author
author
author
dc.contributor.none.fl_str_mv Himeji Inst Technol
Shizuoka Univ
Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Nakamatsu, K.
Seno, T.
Abe, J. M.
Suzuki, A.
Wang, G. Y.
Liu, Q.
Yao, Y. Y.
Skowron, A.
dc.subject.por.fl_str_mv traffic signal control
paraconsistent logic program
intelligent control
defeasible deontic reasoning
topic traffic signal control
paraconsistent logic program
intelligent control
defeasible deontic reasoning
description 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.
publishDate 2003
dc.date.none.fl_str_mv 2003-01-01
2020-12-10T16:30:28Z
2020-12-10T16:30:28Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv Rough Sets, Fuzzy Sets, Data Mining, And Granular Computing. Berlin: Springer-verlag Berlin, v. 2639, p. 719-723, 2003.
0302-9743
http://hdl.handle.net/11449/194574
WOS:000184350600124
identifier_str_mv Rough Sets, Fuzzy Sets, Data Mining, And Granular Computing. Berlin: Springer-verlag Berlin, v. 2639, p. 719-723, 2003.
0302-9743
WOS:000184350600124
url http://hdl.handle.net/11449/194574
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Rough Sets, Fuzzy Sets, Data Mining, And Granular Computing
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 719-723
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv Web of Science
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1803046386845876224