|
本研究では不完全なデフォルト知識を含むデフォルト理論や論理プログラムにおいて、プログラムから導かれる情報の内容を区別し、異なるプログラムの間で情報量を比較し、プログラムを順序化するための理論的枠組を構築した。具体的にはデフォルト理論から帰結される論理式に対して、束構造を持つ多値論理に基づく論理的解釈を与え、複数のデフォルト理論をそれぞれが帰結する情報の確からしさによって順序化を行った。また、デフォルト知識を含む非単調な論理プログラムに対して同様の順序化手法を適用し、多値論理の意味論の下でのプログラムの性質を議論した。さらに本研究の応用事例として、デフォルト知識を含む論理プログラムから帰納推論を行う際に順序化構造に基づいてプログラムを帰納的に一般化する方法を検討した。本手法によると一般に不完全な情報を含む背景知識から、与えられた事例を説明するデフォルト規則を帰納的に生成するプロセスが論理的に形式化されることが示された。本研究の今後の展開としては、マルチエージェントシステムのように複数の異なる情報源が存在する状況において、これらの情報源を比較・評価し、より信頼できる情報源を選別して優先的にコミュニケーションを行うための協調問題解決への応用などが考えられる。
|
