Skip to main content
SpringerLink
Log in

Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN

  • Conference paper
  • First Online:
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC 2003)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2639))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Nakamatsu, K., Abe, J.M. and Suzuki, A.: Defeasible Reasoning Between Conflicting Agents Based on VALPSN. Proc. AAAI Workshop Agents’ Conflicts, AAAI Press, (1999) 20–27

    Google Scholar 

  2. Nakamatsu, K., Abe, J.M. and Suzuki, A.: Annotated Semantics for Defeasible Deontic Reasoning. Proc. the Second International Conference on Rough Sets and Current Trends in Computing LNAI 2005, Springer-Verlag, (2001) 470–478

    Google Scholar 

  3. Nakamatsu, K.: On the Relation Between Vector Annotated Logic Programs and Defeasible Theories. Logic and Logical Philosophy, Vol. 8, UMK Press, Poland, (2001) 181–205

    Google Scholar 

  4. Nakamatsu, K., Abe, J.M. and Suzuki, A.: A Defeasible Deontic Reasoning System Based on Annotated logic Programming. Computing Anticipatory Systems, CASYS2000, AIP Conference Proceedings Vol. 573, AIP Press, (2001) 609–620

    Google Scholar 

  5. Nakamatsu, K., Abe, J.M. and Suzuki, A.: Applications of EVALP Based Reasoning. Logic, Artificial Intelligence Robotics, Frontiers in Artificial Intelligence and Applications Vol. 71, IOS Press, (2001) 174–185

    Google Scholar 

  6. Nakamatsu, K., Suito, H., Abe, J.M. and Suzuki, A.: Paraconsistent Logic Program Based Safety Verification for Air Traffic Control. Proc. 2002 IEEE Int’l Conf. Systems, Man and Cybernetics (CD-ROM), IEEE, (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of H.E.P.T., Himeji Inst. Tech., HIMEJI, 670-0092, JAPAN

    Kazumi Nakamatsu

  2. Dept. Information, Shizuoka University, HAMAMATSU, 432-8011, JAPAN

    Toshiaki Seno & Atsuyuki Suzuki

  3. Dept. Informatics, Paulista University, SAO PAULO, 121204026-002, BRAZIL

    Jair Minoro Abe

Authors
  1. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Toshiaki Seno
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jair Minoro Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Atsuyuki Suzuki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science and Technology, Chongqing University of Posts and Telecommunications, Chongqing, 400065, P.R. China

    Guoyin Wang

  2. Department of Computer Science, Nanchang University, Nanchang, 330029, P.R. China

    Qing Liu

  3. Department of Computer Science, University of Regina, Regina, Saskatchewan, S4S 0A2, Canada

    Yiyu Yao

  4. Institute of Mathematics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Andrzej Skowron

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nakamatsu, K., Seno, T., Abe, J.M., Suzuki, A. (2003). Intelligent Real-Time Traffic Signal Control Based on a Paraconsistent Logic Program EVALPSN. In: Wang, G., Liu, Q., Yao, Y., Skowron, A. (eds) Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing. RSFDGrC 2003. Lecture Notes in Computer Science(), vol 2639. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39205-X_124

Download citation

  • DOI: https://doi.org/10.1007/3-540-39205-X_124

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-14040-5

  • Online ISBN: 978-3-540-39205-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation