完全/不完全知識を扱う高次推論型データベースにおける知識獲得

1993 Fiscal Year Annual Research Report

• Project/Area Number: 05213210
• Research Institution: Osaka University
• Principal Investigator: 馬場口 登 大阪大学, 産業科学研究所, 助教授 (30156541)
• Co-Investigator(Kenkyū-buntansha): 大川 剛直 大阪大学, 情報処理教育センター, 助手 (30223738)
• Keywords: 演繹データベース / 論理型データベース / 不完全知識 / 非単調推論 / 帰納的学習 / 類推 / 自己組織化 / 例外

Research Abstract

本研究は,完全な知識と不完全な知識の双方を扱いうる高次論理型データベースALDBを対象に,高次推論環境下での帰納的知識自動獲得法の確立を目標とするものである.本研究に関し,今年度の研究成果を要約する.
1.関係代数によるALDBの問合せ手続き
これまでにALDBの問合せ手続きとして,反駁証明プロセスによるものを開発したが,データベースの操作性という点からは不十分であったので,関係代数に基づく問合せ手続きを提案した.ALDBの不完全ルールの評価が,関係代数演算の射影,自然結合,選択により表現されることを示した.また,例外を記述する述語を導入し,論理式を関係代数式に変換してボトムアップ的に評価する手続きを与えた.
2.例外事例を含む外延データベースからの知識獲得
事実を表す集合である外延データベースに例外が存在することを仮定して,帰納的学習の基礎検討を行った.本研究では,通常の帰納的学習で用いる正負の事例に加えて例外事例という考え方を導入し,事例の典型的な特徴に着目して例外事例を検出する手法を提案した.さらに,提案手法により検出された例外事例のクラスを反転させ,再学習したところ,極めてコンパクトな記述が得られることを実験的に確認した.
3.ルール変換によるALDBの自己組織化
データベースは一般に大規模化するに従い,ノイズや例外などのデータが増加し,この種のデータのハンドリング技術の確立が望まれる.本研究では,新規追加データに起因する矛盾が発生したとき,これを発見し,完全ルールから不完全ルールに変換して,自己組織化することにより,無矛盾性を維持する手法を提案した.

Research Products

• [Publications] 井戸 譲治 他: "完全知識から不完全知識へのルール変換について" 電子情報通信学会技術研究報告. AI93-73. 9-16 (1994)
• [Publications] 大原 剛三 他: "関係代数による高次論理型データベースALDBの問合せ手続き" 情報処理学会第48回全国大会. (発表予定). (1994)
• [Publications] 岩佐 英彦 他: "正の事例の典型的特徴に着目した例外事例の検出法" 1994年電子情報通信学会春季全国大会. (発表予定). (1994)