Intelligent real-time traffic signal control based on a paraconsistent logic program EVALPSN
Autor(a) principal: | |
---|---|
Data de Publicação: | 2003 |
Outros Autores: | , , , , , , |
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:29462024-08-05T17:11:24.278252Repositó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_ |
1808128769101135872 |