Research Project
Grant-in-Aid for Young Scientists (B)
情報化社会の発達にともない、クレジットカードや各種検査の結果などの多種多様なデータを、大量かつ容易に集めることができるようになってきている。このため、集められた膨大なデータからその傾向や規則性などの有用な情報を得ることを目的とした知識獲得の研究の重要性がさまざまな分野で指摘されている。本研究では、データと対応づけした論理関数を媒介として、データの持つ論理的内容を知識として抽出することを目指している。今年度は、まず、二分決定グラフ(Ordered Binary Decision Diagrams)を知識表現の手段として用いた知識ベース処理について、計算複雑さに関する考察とアルゴリズム設計を行った。具体的には、OBDDを用いた手法では演繹(deduction)が任意の論理関数に対して線形時間で可能となることを示した。仮説推論(abduction)は任意の論理関数に対してはNP-hardとなるが、扱う関数をHorn関数に限定することで、仮説に任意のリテラルを取りえるような説明を求める多項式時間アルゴリズムを示した。また、証明システムの複雑さと密接に関連するHajos calculusに着目し、その平面グラフ版の問題について考察を行った。Hajos calculusは3彩色不能なグラフを生成する非決定性のプロセスである。本研究では、3彩色不能な平面グラフのみを生成できる生成則を2種類提案し、それぞれの規則の健全性と完全性を証明した。また、その規則間の多項式時間模倣性を示した。また、自律学習機構を備えたハードウェアへの知識獲得手法の適用の基礎的な問題として、高位言語からハードウェア記述の自動合成を行う高位合成における、浮動小数点数のビット長最適化を扱った。誤差解析において正方向の誤差と負方向の誤差を独立して考慮し、また、非線形最適化ソルバーを利用してビット長最適化問題を解く手法を提案し、シミュレーションによる手法よりも良好な結果を得た。
All 2005 2004 Other
All Journal Article (3 results) Publications (8 results)
Proc.LA Symposium 3
Pages: 1-4
Discrete Applied Mathematics 142/1-3
Pages: 151-163
Proc.12^<th> Workshop on Synthesis and System Integration of Mixed Information Technologies 12
Pages: 466-471
