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

2002 Fiscal Year Final Research Report Summary

Construction of Program Synthesis System Based on Equivalent Transformation

Research Project

Project/Area Number 12480076
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionHOKKAIDO UNIVERSITY

Principal Investigator

AKAWA Kiyoshi  Center for Information and Multimedia Studies, Prof., 情報メディア教育研究総合センター, 教授 (50126265)

Co-Investigator(Kenkyū-buntansha) MUNETOMO Masaharu  Center for Information and Multimedia Studies, Asso. Prof., 情報メディア教育研究総合センター, 助教授 (00281783)
MIZUTA Masahiro  Center for Information and Multimedia Studies, Prof., 情報メディア教育研究総合センター, 教授 (70174026)
Project Period (FY) 2000 – 2002
KeywordsProgram Synthesis / Meta-Rule / Equivalent Transformation Rule / Definite Clause / Specification / Correctness / Program Transformation / Priority
Research Abstract

1. Development of a general theory of meta-computation We developed a general theory for program synthesis based on a new class of representation called separated descriptions. We clarified the fundamental difference between program transformation and fule generation, and showed that program transformation can be regarded as a part of our program synthesis.
2. Extension of the program sysnthesis system using first-order expressions We constructed an expertimental program synthesis system, which automatically synthesizes a program by repeatedly generating and accumulating new rules. We obtained several successful results. For example, the system can automatically synthesize, from a definition of a language represented by a first-order expression, a program corresponding to a finite automaton that recognizes the language.
3. Extension of meta-computation We extended meta-decriptions to improve the system to be able to generate a larger class of rules. We introduced expressions of constraints on variables and extended a theory of meta-computation. This enabled the system to generate with applicability conditions and can be more controllable. We also investigated a theoretical foudation of generation of such rules.
4. Evaluation of the program synthesis system We applied the system to generation of parser programs. Highly optimized programs are obtained at the experiments. However they can be more efficient by optimization of execution parts of rules and by transforming the rules into deterministic ones. Although we conducted them manually, complete automation is a future work.

  • Research Products

    (12 results)

All Other

All Publications (12 results)

  • [Publications] 馬淵 浩司: "区間変数に関する包含制約の等価変換"人工知能学会誌. 17. 23-31 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 小池 英勝: "負制約の等価変換による問題解決の基礎理論"人工知能学会誌. 17. 354-362 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takahiko Ishikawa: "Multi-Head Rules in Equivalent Transformation"2002 IEEE International Conference on Intelligent Engineering Systems (INES2002). 333-338 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Yuichi Yamamoto: "Obtaining More Efficient Programs by Accumulating Desirable Rules"2002 IEEE International Conference on Intelligent Engineering Systems (INES2002). 345-350 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Kiyoshi Akama: "A Basic Framework for Infinite Computation"The 2002 International Conference on Artificial Intelligence (IC-AI'2002). 1080-1086 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takahiko Ishikawa: "How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm"Proceedings of the Third International Conference on Intelligent Technologies. 74-81 (2002)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Koji Mabuchi: "Equivalent Transformation of Member Constraints in the Interval Variable Domain"Journal of Japanese Society for Artificial Intelligence. 17(1). 23-1 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Hidekatsu Koike: "Foudation of Problem Solving by Equivalent Transformation of Negative Constraints"Journal of Japanese Society for Artificial Intelligence. 17(1). 354-362 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Takahiko Ishikawa: "Multi-Head Rules in Equivalent Transformation"2002 IEEE International Conference on Intelligent Engineering Systems(INES2002). 333-338 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Yuichi Yamamoto: "Obtaining More Efficient Programs by Accumulating Desirable Rules"2002 IEEE International Conference on Intelligent Engineering Systems(INES2002). 345-350 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Kiyoshi Akawa: "A Basic Framework for Infinite Computation"The 2002 International Conference on Artificial Intelligence(IC-AI'2002). 1080-1086 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Takahiko Ishikawa: "How to Make Program Descriptions in the Equivalent Transformation Paradigm"Proceedings of the third International Conference on Intelligent Technologies. 74-81 (2002)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2004-04-14  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi