1991 Fiscal Year Annual Research Report
演繹デ-タベ-スの手法を用いたCADシステムの高機能化に関する研究
Project/Area Number |
03452291
|
Research Institution | Kyushu University |
Principal Investigator |
牛島 和夫 九州大学, 工学部, 教授 (40037750)
|
Co-Investigator(Kenkyū-buntansha) |
木實 新一 九州大学, 工学部, 助手 (70234804)
佐藤 賢二 九州大学, 情報処理教育センター, 助手 (10215783)
程 京徳 九州大学, 工学部, 助教授 (30217228)
高木 利久 九州大学, 情報処理教育センター, 助教授 (30110836)
|
Keywords | 演繹デ-タベ-ス / CADデ-タベ-ス / 再帰質問処理 / マジックセット法 / ユ-ザ-インタ-フェ-ス / 間接的接続関係 / 線形再帰 / 非正規関係 |
Research Abstract |
平成3年度は,CADシステムのための演繹デ-タベ-スのプロトタイプを作成し,それを実用規模の問題に適用し評価した.その結果,CADシステムの高機能化において,演繹デ-タベ-スの手法が有効であることを確かめることができた.以下に具体的な研究成果を示す. 1.CADシステムにおいて,図面上の部品の条件付き・間接的接続関係を求める質問を記述する場合には,複合項の必要性が生じることがある.例えば,2つの部品間のすべての部品を列挙したい場合,列挙した部品を保持しておくために複合項(例えばリスト)を用いて処理することが考えられる.このような複合項を含む質問を処理するための効率化手法を提案した. 2.演繹デ-タベ-スをCADシステムに応用する場合,演繹デ-タベ-スの専門家でないユ-ザにとって,再帰ル-ルを用いて質問を記述することは容易ではない.特に,条件つき接続関係を記述するためには,再帰ル-ル中に条件の記述を埋め込む必要があり,ユ-ザによる記述はさらに困難になる.そこで,条件付き接続関係検索のための質問を分類し,検索問題を適切に記述できるようにユ-ザを支援する枠組を提案した.この枠組に従えば,ユ-ザは論理的な条件の記述に集中できる. 3.演繹デ-タベ-スにおける再帰質問(再帰ル-ルを用いて記述された質問)を効率よく処理するため,さまざまな質問処理手法が提案されている.ル-ルのボディリテラルの評価順序によって,これらの手法の適用可能性や効率が大きく変わる.我々は,再帰質問をよく処理するために有効な,ル-ルのボディリテラルの評価順序決定戦略を提案した.また,この戦略に基づいたル-ル変換手法を提案した.
|
-
[Publications] NengーFa ZHOU: "Bidirectional Inference of Mode Information for Logic Programs" Systems and Computers in Japan. 22. 1-9 (1991)
-
[Publications] Toshihisa Takagi: "Applicability of a Deductive Database to CAD Systems" Proc.Supplement 7th IEEE International Conference on Data Engineering. 51-58 (1991)
-
[Publications] 高木 利久: "CADにおける接続関係検索問題を用いた演繹デ-タベ-スの質問処理法の評価" 電子情報通信学会論文誌. J74ーDー1. 485-495 (1991)
-
[Publications] 鈴木 孝彦: "ル-ル制約に基づく再帰質問の記述と分類" 日本ソフトウェア科学会第8回大会論文集. 341-344 (1991)
-
[Publications] Takahiko SUZUKI: "Magic Set Computation with Differential Representation of Facts" 九州大学工学部紀要. 51. 299-312 (1991)
-
[Publications] 五斗進: "演繹デ-タベ-スにおける評価順序決定戦略" オブジェクトテクノロジ-の高度応用に関するObaseワ-クショップ. 61-68 (1992)