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

組合せ問題を高速に解くための論理型言語の設計,実現及び応用

Research Project

Project/Area Number 05750383
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field System engineering
Research InstitutionKyushu Institute of Technology

Principal Investigator

周 能法  九州工業大学, 情報工学部, 助教授 (00235699)

Project Period (FY) 1993
Project Status Completed (Fiscal Year 1993)
Budget Amount *help
¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1993: ¥600,000 (Direct Cost: ¥600,000)
Keywords組合せ探索 / 論理プログラミング / Prolog / コンパイラ / グラク問題 / 制約充足問題 / プラニング問題 / TSP問題
Research Abstract

1.まず、Prologの拡張であるBeta-Prologの設計と実現を行なった.PrologにBoolean tableというバツクトラック可能なデータ構造を導入し,Boolean tableに対して,状態が真である組を選ぶ(select),状態をテストする(test),状態を更新する(up-date)及び状態が真である組を数える(count)などの述語を備えた.実際に,Beta-Prologのコンパイラを試作した.
2.Beta-Prologを基本的なグラフ問題,制約充足問題,プラニング問題,TSP問題などへ応用した.結果として,これらの組合せ問題を全部状態遷移問題として定式化でき,Beta-PrologがPrologより遥かに有効であることが実証された.
3.しかし,まだたくさんの問題が困難あるいは解決不能のままとなっている.例えば,108-queen問題の最初の解を求めるのに,10時間もかかってしまった.また,Deutshの四段層の配線問題は,一週間でも解けなかった.今後,コンパイラの最適化及び言語の並列化によって,さらに高速化を図る必要がある.

Report

(1 results)
  • 1993 Annual Research Report
  • Research Products

    (3 results)

All Other

All Publications (3 results)

  • [Publications] 周能法: "Beta-Prolog:An Extended Prolog with Boolean Tables" Proc.5th IEEE International Conf.on TAI. 312-319 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 周能法: "An Etticient Finite-Domain Constraint Solver in Beta Prolog" 人工知能学会誌. 9. 275-282 (1994)

    • Related Report
      1993 Annual Research Report
  • [Publications] 周能法: "On the Scheme of Passing Arquments in Stack Frames" Proc.Int.Conf.On Logic Programming. to appear. (1994)

    • Related Report
      1993 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi