可能世界モデルに基づく知識の表現とメタ推論機構に関する研究

点击翻译按钮获取中文摘要

本研究では、論理を基にした有用な知識表現言語を設計し、高度な知的処理のためのメタ推論といった機構実現のための基礎理論を構築することが目的である。本年度は次の具体的課題について研究を行なった。1.知識表現言語の設計論:論理に様相や高階性の概念を導入し、多様な知識構造を表現可能な知識表現言語を設計する問題について考察し、論理の持つ理論的明快さを保ったまま知識のモジュ-ル構造や階層構造が表現可能なフレ-ム適論理型知識表現言語を具体的に構成した。2.ユニフィケ-ションアルゴリズムの研究:論理型知識表現言語による構文や証明機構と意味構造を結びつけるのがユニフィケ-ション操作であるとの観点から、高階論理におけるユニフィケ-ションアルゴリズムについて考察した。一般に2階以上の論理項間のユニフィケ-ションは非可解であるが、幾つかの可解なクラスや効率的アルゴリズム設計のための理論的性質を明らかにした。3.メタ推論機構の研究:論理の高階性や様相を基にして、知識のモジュ-ル構造、階層性を定義し、これをオブジェクトレベルとメタレベルの知識とみなす新しい観点からのメタ推論や類推といった処理機構を定式化した。このモデルを基に、意味構造に忠実で健全かつ完全な推論機構について幾つかの性質を明らかにした。4.知識処理システムの構成:新しく提案したメタ推論方式を回路の自動合成問題に応用し、具体的に類推による回路設計システムとして実現した。構成システムは、Prologで構成されているが、提案した方式が原理的に可能であることを検証した。