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

Solving Constraint Satisfaction Problems by Genetic Algorithms

Research Project

Project/Area Number 08680384
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionUniversity of Tsukuba

Principal Investigator

KANOH Hitoshi  University of Tsukuba, Institute of Information Sciences and Electronics, Associate Professor, 電子・情報工学系, 助教授 (40251045)

Co-Investigator(Kenkyū-buntansha) NISHIHARA Seiichi  University of Tsukuba, Institute of Information Sciences and Electronics, Associ, 電子・情報工学系, 教授 (50026168)
Project Period (FY) 1996 – 1997
Project Status Completed (Fiscal Year 1997)
Budget Amount *help
¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 1997: ¥300,000 (Direct Cost: ¥300,000)
Fiscal Year 1996: ¥1,400,000 (Direct Cost: ¥1,400,000)
Keywordsgentic algorithm / constraint satisfaction / knowledge / local search / path planning / car navigation / 制約充足問題 / 局所探索法
Research Abstract

Several approximate algorithms have been reported to solve large constraint satisfaction problems (CSPs) in a practical time. While these papers discuss techniques to escape from local optima, this study describes a method that actively performs global search. We, first, proposed a hybrid search method that combines a genetic algorithm (GA) with a min-conflicts hill-climbing (MCHC). In our method, the individual that has the fewest conflicts in the population of a GA is used as the intitial value of MCHC to search locally.
Secondly, we proposed the method that is to improve the of search of a GA using viral infection instead of mutation. Partial solutions of a CSP,that is domain specific knowledge, are considered to be viruses, and a population of viruses is created as well as a population of candidate solutions. Crossover and infection conduct search for a solution. Infection substitutes the gene of a virus for the locus decided by the virus. Experimental results using randomly generated CSPs prove that the proposed method is faster than a usual GA and a randomly restating MCHC to find a solution when the constraint density of a CPS is low.
Finally, we propose a path-planning algorithm for car navigation systems based on the present method. This method can find the quasi-shortest route between two crossings in a map while considering the amenity of drivers. We regard the routes from the start to the destination as chromosomes and express them by using sequences of crossin symbols. We also regard wide and/or straight routes as viruses. In a comparison with the Diikstra algorithm, experimental results prove that the present method can find the route that is easiest to drive.

Report

(3 results)
  • 1997 Annual Research Report   Final Research Report Summary
  • 1996 Annual Research Report
  • Research Products

    (15 results)

All Other

All Publications (15 results)

  • [Publications] H.Kanoh, K.Hasegawa: "Solving Constraint Satisfaction Problems by a Genetic Algorithm" IEEE International Joint Symposia on Intelligence and Systems. 67-73 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 後藤, リエン, 狩野: "ウイルス感染を用いたハイブリッドGAによるリアルタイム経路探索" 情報処理学会第54回全国大会. IM02 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] 松本, 狩野, 西原: "制約違反最小化戦略に基づくハイブリッドGAによる制約充足問題の解法" 情報処理学会論文誌. 38-5. 962-970 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] H.Kanoh, M.Matsumoto: "Solving Constraint Satisfaction Problems by a Genetic Algorithm Adopting Viral Infection" International Journal on Engineering Applications of Artificial Intelligence. (印刷中). (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] H.Kanoh, L.Bui: "Real-time path planning using viral infection in genetic algorithms" International Conference on Computational Intelligence And Multimedia Applications. 558-563 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] H.Kanoh, K.Hasegawa: "Solving Constraint Satisfaction Problems by a Genetic Algorithm Adopting Viral Infection" IEEE International Joint Symposia on Intelligence and Systems. 67-73 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] M.Gotoh, L.Bui, M.Matsumoto, H.Kanoh: "Real-time Path Planning by a Genetic Algorthm Adopting Viral Infection" National conference of IPS of Japan. 1M-02 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] M.Matsumoto, H.Kanoh, S.Nishihara: "Solving Constratint Satisfaction Problems by Hybrid GA Based on Min-Conflicts Heuristic" Trans.of IPS of Japan. Vol.38-5. 962-970 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] H.Kanoh, M.Matsumoto: "Solving Constraint Satisfaction Problems by a Genetic Algorithm Adopting Viral Infection" International Journal on EAAI. (be in press). (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] H.Kanoh, L.Bui, M.Matsumoto, Masahiro Gotoh, Atsuko Kashiwazaki, Seiichi Nishihara: "Real-time path planning using viral infection in genetic algorthms" International Conference on Computational Intelligence and Multimedia Applications. 558-563 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1997 Final Research Report Summary
  • [Publications] H.kanoh, et al.: "Real-time path planning using viral intection in GA" Proc.of International Conference an computatinal Intellgeme. (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] 柏崎・ブイ・狩野・西原: "動的環境を対象としたGAによる実時間経路探索" 情報処理学会第56回全国大会講演論文集. (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] ブイ・柏崎・狩野・西原: "ウイルス進化論に基づくGAによるカ-ナビのための実時間経路探索" 計測自動制御学会第25回知能システムシンポジウム. (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 狩野・長谷川・松本・加藤・西原: "Solving Constraint Satisfaction Problem by a GA Adopting Viral Infection" IEEE Proc.of International Joint Symposia on I&S-96. 1. 67-73 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 後藤・リエン・松本・水野・狩野・西原: "ウイルス感染を用いたハイブリッドGAによるリアルタイム経路探索" 情報処理学会第54回全国大会講演論文集. 2. 287-288 (1997)

    • Related Report
      1996 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi