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

基于约束逻辑编程的高性能图形界面设计

• 批准号: 03235214
• 负责人: 溝口 文雄
• 金额: $ 1.28万
• 依托单位: Tokyo University of Science
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1991
• 资助国家: 日本
• 起止时间: 1991 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-03235214/
• 关键词: 制約論理プログラミング; インタフェ-ス; レイアウト問題; ロボット作業環境; 制約伝播; 制約評価機構

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

This study aims to design a framework for the study of language and language use and the relationship between language and language. This paper presents a method for processing the relationship between the constraint logic and the geometry of the two-dimensional geometry design. This year, the development of three-dimensional constraint language ICL(Integrated Constraint Language), the improvement of the construction of the operating environment, and the improvement of the design of constraint logic ICL(Integrated Constraint Language) are discussed. ICL functions as follows: 1. Hierarchical constraints, conditional constraints, OR constraints, and special constraints are evaluated. 2. Constraint evaluation mechanism for matrix calculation and column calculation. 3. Constraint evaluation mechanism for coordinate system calculation (same coordinate system representation). 4. Partial terms, free variables. 5. Relationship representation. 6. Control mechanism for constraint propagation. ICL. 1. The description of the relationship is concise. 2. Part of the change in time to reduce the burden 3. It is easy to reuse and redefine. 4. It is easy to understand the relationship between the two groups.

项目成果

犬飼 利宏,溝口 文雄: "制約論理プログラミングに基づく三次元グラフィックス描画用言語" 情報処理学会第44回全国大会論文集. 5-65-5-66 (1992)

Toshihiro Inukai、Fumio Mizoguchi：“基于约束逻辑编程的 3D 图形绘制语言”第 44 届日本信息处理学会全国会议论文集 5-65-5-66（1992 年）。

Hayato Ohwada and Fumio Mizoguchi: "Conditional Constraint and its Applications" Proc.of the Logic Programming Conterence '91. 91-100 (1991)

Hayato Ohwada 和 Fumio Mizoguchi：“条件约束及其应用”Proc.of the LogicProgramming Conterence 91。

犬飼 利宏,大和田 勇人,溝口 文雄: "制約概念に基づいたロボット言語の設計" 人工知能学会第5回全国大会論文集. 505-508 (1991)

Toshihiro Inukai、Hayato Owada、Fumio Mizoguchi：“基于约束概念的机器人语言设计”日本人工智能学会第五届全国会议论文集 505-508（1991）。