制約論理プログラミングに基づく高機能グラフィックインタ-フェ-スの設計

1991 Fiscal Year Annual Research Report

• Project/Area Number: 03235214
• Research Institution: Tokyo University of Science
• Principal Investigator: 溝口 文雄 東京理科大学, 理工学部・経営工学科, 教授 (50084463)
• Co-Investigator(Kenkyū-buntansha): 大和田 勇人 東京理科大学, 理工学部・経営工学科, 助手 (30203954)
• Keywords: 制約論理プログラミング / インタフェ-ス / レイアウト問題 / ロボット作業環境 / 制約伝播 / 制約評価機構

Research Abstract

本研究におけるインタフェ-ス設計へのアプロ-チは、関係すなわち制約概念を基にし、制約論理プログラミング言語を用いてオブジェクト間の関係を宣言的にプログラミングするというものである。前年度は、幾可的関係を処理する制約論理プログラミング言語Tritonを開発し、インタフェ-ス設計を2次元図形のレイアウト問題とみなして、図形を自動配置する方法を示した。本年度は3次元図形を扱えるような制約論理型言語ICL(Integrated constraint Language)を開発し、より高度な問題としてロボット作業環境の構築を取り上げ、制約論理プログラミングによるインタフェ-ス設計の有効性を明らかにした。 ICLの機能は以下のようである。
1.階層制約、条件制約、OR制約といった特殊な制約に対する評価機構
2.ベクトル演算、行列演算の制約評価機構
3.座標系演算(同次座標系表現)の制約評価機構
4.部分項、自由変数
5.関係表現
6.制約伝播の制御機構
ICLを用いることにより、以下の成果が得られた。
1.関係のみの記述であるためプログラムが簡潔である。
2.部分変更の際のユ-ザ-の負担を軽減する。
3.オブジェクトの再利用、再定義が容易である。
4.プログラムからオブジェクト間の関係を容易に理解できる.

Research Products

• [Publications] Hayato Ohwada and Fumio Mizoguchi: "Conditional Constraint and its Applications" Proc.of the Logic Programming Conterence '91. 91-100 (1991)
• [Publications] 犬飼 利宏,大和田 勇人,溝口 文雄: "制約概念に基づいたロボット言語の設計" 人工知能学会第5回全国大会論文集. 505-508 (1991)
• [Publications] 犬飼 利宏,溝口 文雄: "制約論理プログラミングに基づく三次元グラフィックス描画用言語" 情報処理学会第44回全国大会論文集. 5-65-5-66 (1992)