| Research Abstract |
人間が行う知的問題解決を計算機上で実現するためには,問題解決に必要な知識を計算機に記憶した上,計算機の有限な計算資源を利用して問題の解を推論しなければならない.従って,資源限定の立場からの推論方法の研究は,実用的で効率の良い知識ベースシステムを実現するために,不可欠である.このような問題を対処するために,われわれが既に推論時間を限定する立場から,知識ベースKBから質問alphaを推論する基本的な手続きKB〓alphaの停止性に注目し,知識ベースにおける時間制限推論の定式化を行ってきた。
本研究では,より一般的な分野で時間制限推論を利用するため,デフォルト推論システムの構成原理を与えた.具体的には,まず,知識の信頼性の立場から,デフォルト理論の拡張の内容が知識と信念に分けられることを示した.そして,時間限定推論が拡張の計算に与える影響を分析し,実際に有限の時間で構成できる部分拡張と近似拡張の概念を与えた.さらに,計算資源を節約し,不必要な計算をできるだけ排除する立場から,従来の枚挙的な拡張計算法の不合理性を指摘し,利用者の関心を示す質問による拡張構成法,新しい質問形式と処理方法を与え,このような構成法による推論システムが各時点で利用者にとって「最もよい信念集合」を自動的に構成できることを示した.最後は,推論プログラミング言語PROLOGで実現した.
時間限定推論と様相論理の関連,ある意味で従来の手続き的な世界と認知的な世界の間の関連については,研究の途中で,具体的な結果がまだ得られていない.これからもこの問題の研究を進めていきたい.
|
