不完全情報下における知識の表現とモジュール化に関する研究

1993 Fiscal Year Annual Research Report

• Project/Area Number: 05213206
• Research Institution: Nagoya University
• Principal Investigator: 稲垣 康善 名古屋大学, 工学部, 教授 (10023079)
• Co-Investigator(Kenkyū-buntansha): 杉野 花津江 名古屋大学, 工学部, 助手 (40023155) ; 渡辺 豊英 名古屋大学, 工学部, 助教授 (80093342) ; 坂部 俊樹 名古屋大学, 工学部, 教授 (60111829) ; 外山 勝彦 中京大学, 情報科学部, 助教授 (70217561)
• Keywords: 非単調論理 / 自己認識論理 / 属性継承 / 決定手続き / メタ知識 / 談話理解

Research Abstract

本研究では、不完全な情報下における知識の表現とモジュール化の過程の理論化を画ることを目的として、
A.確率論理による知識表現とモジュール化、
B.自己認識論理に基づく知識の表現とモジュール化、
C.書換え型規則で与えられた知識のモジュール化とその部分評価、
D.部分情報からの構造情報の抽出とそのモジュール化
の5つの項目について研究を進めた。
以下に、各項目毎に本年度の研究実績の概要を述べる。まず、A.については、最近、音声認識や言語処理の分野で注目されているHMM(隠れマルコフモデル)が確率オートマトンで表現できることを示し、その安定性について論じ、強安定であるための条件を明かにすると共に、その同定ならびに学習アルゴリズムについて検討し、いくつかの知見を与えた。B.については、多エージェント自己認識論理を用いた時空間的変化を伴う知識の表現法を明かにすると共に、リゾリューション原理に基づく手法と戦略を用いてその決定問題を解く能率の良いアルゴリズムを与えた。また、不完全な情報しか得られない過程として、談話のプロセスを取り上げ、発話の連続性と状況に基づく発話理解モデルを提案した。C.については、動的項書換えモデル(DTRC)を用いて書換え形規則で与えられるモジュールの機能的性質の証明を記述することによって、証明のプロセスに帰着できることを示した。また、オブジェクトのクラス定義から制約を導出しそれに基づいて型推論をする手法を明かにした。D.については、帳票文書のための書式構造知識の自動獲得の方法を明かにし、また、多種帳票文書の構造認識の手法へ拡張した。

Research Products

• [Publications] Feng,Su: "Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning" Lecture Notes in Computer Science. 722. 256-271 (1993)
• [Publications] 松原茂樹: "発話の連続性と状況に基づく発話理解モデル" 人工知能学会研究会資料SIG-FAI. 9303-6. 41-48 (1994)
• [Publications] 竹下俊徳: "LFGと文脈状態に基づく日本語テキストの意味解析" 信学技報. NLC93-49. 9-16 (1993)
• [Publications] 大久保弘嵩: "Simple Objectにおけるクラス定義・単位の型制約導出と型検査" 情報処理学会研究会資料プログラミング・言語・基礎実践. 14-7. 57-64 (1993)
• [Publications] 駱琴: "帳票文書の構造認識のための書式構造知識の自動獲得" 電子情報通信学会論文誌. J76-D-II. 534-546 (1993)
• [Publications] 駱琴: "多種帳票文書の構造認識" 電子情報通信学会論文誌. J76-D-II. 2165-2176 (1993)