• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Development of Traffic Signal Control and its Simulator Based on Paraconsistent Logic Program

Research Project

Project/Area Number 16560468
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 交通工学・国土計画
Research InstitutionUniversity of Hyogo

Principal Investigator

NAKAMATSU Kazumi  University of Hyogo, School of Human Science and Environment, Associate Professor, 環境人間学部, 助教授 (60227874)

Co-Investigator(Kenkyū-buntansha) SUZUKI Atsuyuki  Shizuoka University, Department of Information, Emeritus Professor, 情報学部, 名誉教授 (70022184)
Project Period (FY) 2004 – 2005
Project Status Completed (Fiscal Year 2005)
Budget Amount *help
¥3,000,000 (Direct Cost: ¥3,000,000)
Fiscal Year 2005: ¥1,600,000 (Direct Cost: ¥1,600,000)
Fiscal Year 2004: ¥1,400,000 (Direct Cost: ¥1,400,000)
KeywordsParaconsistent Logic / Traffic Signal Control / Simulator / Logic Program / Coordinated Traffic Signal Control / EVALP
Research Abstract

An EVALP based traffic simulation system that can simulate traffic signal control and flow in the central area of Hamamatsu has been implemented on a PC in JAVA. We have researched traffic density data in the area and executed traffic simulation for both actual traffic signal control and EVALP based one based on the researched traffic density data. As the simulation results, we have obtained that EVALP based traffic signal control reduces traffic jam 10% to 20% than that of actual control at each intersection in the objective area, where we take the number of car stops as the traffic jam criterion. Even though they have roads whose traffic signals are coordinately controlled in the area, EVALP based single traffic signal control reduces traffic jam 10% to 15% than that of the coordinated traffic signal control. Moreover, we have constructed an EVALPSN based model for coordinated traffic signal control and implemented its simulator on a PC in JAVA as well as. As the results of the simulation to compare the EVALPSN based coordinated traffic signal control to the actual one, it has been shown that the EVALPSN based one has 10% to 15% higher performance than the actual one.
Additionally, considering to PLC (Programmable Logic Controller) that is used as a controller for traffic signal, it is required for EVALPSN traffic signal control to be implemented on PLC as well as the actual one. Therefore, we have shown that EVALPSN traffic signal control can be translated into PLC ladder program.

Report

(3 results)
  • 2005 Annual Research Report   Final Research Report Summary
  • 2004 Annual Research Report
  • Research Products

    (15 results)

All 2005 Other

All Journal Article (13 results) Book (2 results)

  • [Journal Article] Intelligent Safety Verification for Pipeline Based on EVALPSN2005

    • Author(s)
      Kazumi Nakamatsu et al.
    • Journal Title

      Frontiers in Artificial Intelligence and Applications 132

      Pages: 63-70

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Annual Research Report 2005 Final Research Report Summary
  • [Journal Article] An EVALP Based Traffic Simulation System2005

    • Author(s)
      Kazumi Nakamoto et al.
    • Journal Title

      Frontiers in Artificial Intelligence and Applications 132

      Pages: 79-86

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Autoepistemic Theory and Paraconsistent Logic Program2005

    • Author(s)
      Kazumi Nakamatsu, Atsuyuki Suzuki
    • Journal Title

      Frontiers in Artificial Intelligence and Applications 132

      Pages: 177-184

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Annual Research Report 2005 Final Research Report Summary
  • [Journal Article] Annotated Semantics for Non-monotonic Reasonings in Artificial Intelligence I2005

    • Author(s)
      Kazumi Nakamatsu, Atsuyuki Suzuki
    • Journal Title

      Frontiers in Artificial Intelligence and Applications 132

      Pages: 185-191

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Annual Research Report 2005 Final Research Report Summary
  • [Journal Article] An Intelligent Safety Verification Based on a Paraconsistent Logic Program2005

    • Author(s)
      Kazumi Nakamatsu et al.
    • Journal Title

      Lecture Notes in Artificial Intelligence 3682

      Pages: 708-715

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Annual Research Report 2005 Final Research Report Summary
  • [Journal Article] A Discrete Event Control Based on EVALPSN Stable Model Computation2005

    • Author(s)
      Kazumi Nakamatsu et al.
    • Journal Title

      Lecture Notes in Artificial Intelligence 3641

      Pages: 671-681

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Annual Research Report 2005 Final Research Report Summary
  • [Journal Article] A Discrete Event Control Based on EVALPSN Stable Model Computation2005

    • Author(s)
      Kazumi Nakamatsu et al.
    • Journal Title

      Lecture Notes in AI 3641

      Pages: 671-681

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An Intelligent Safety Verification Based on a Paraconsistent Logic Program2005

    • Author(s)
      Kazumi Nakamatsu et al.
    • Journal Title

      Lecture Notes in AI 3682

      Pages: 708-715

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Intelligent Safety Verification for Pipeline Based on EVALPSN2005

    • Author(s)
      Kazumi Nakamatsu et al.
    • Journal Title

      Frontiers in Artificial Intelligent and Applications 132

      Pages: 63-70

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An EVALP Based Traffic Simulation Systems2005

    • Author(s)
      Kazumi Nakamatsu et al.
    • Journal Title

      Frontiers in Artificial Intelligence and Applications 132

      Pages: 79-86

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An EVALP Based Traffic Simulation System2005

    • Author(s)
      Kazumi Nakamatsu et al.
    • Journal Title

      Frontiers in Artificial Intelligence and Applications 132

      Pages: 79-86

    • Related Report
      2005 Annual Research Report
  • [Journal Article] An EVALP Based Traffic Simulation System2005

    • Author(s)
      Kazumi Nakamatsu
    • Journal Title

      Frontiers in Artificial Intelligence and Applications (未定)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Advances Logic Based Intelligent Systems

    • Author(s)
      Kazumi Nakamatsu, Jair Minoro Abe (Eds.)
    • Journal Title

      Frontiers in Artificial Intelligent and Applications 132

      Pages: 289-289

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Book] Advances in Logic Based Intelligent Systems2005

    • Author(s)
      Kazumi Nakamatsu, Jair M.Abe 編著
    • Total Pages
      289
    • Publisher
      IOS Press, Netherland
    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Book] Advances in Logic Based Intelligent Systems2005

    • Author(s)
      Kazurai Nakaimatsu, Jair M.Abe 編著
    • Total Pages
      289
    • Publisher
      IOS Press, Netherland
    • Related Report
      2005 Annual Research Report

URL: 

Published: 2004-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi