氏名: 伊藤 正樹 (289634067)
論文題目: 分散知識ベース環境における知識の完全化に関する研究
論文概要
知識ベースシステムの構築には, 無矛盾性を維持しつつ知識ベースを変更する操
作が要となる.また,知識処理の膨大化や, 昨今のネットワークの普及により,
知識ベースを分散化することが考えられ, 分散環境における知識ベース変更操
作を形式化することが求められる.
新しい情報を優先的に採用する性質をもった変更操作であり,
その性質は「基本規則」によって形式化されている.
一方,基本規則による形式化のみでは, 操作の実現がローチが困難なため, 「モデル論的アプローチ」に基
づく手法が提案されている.これは, 知識ベースのモデルに順序を与え, その順序に基づいて知識ベース
変更を達成する手法である.revisionは, 基本規則だけでなく,モデル論的アプ
ローチでも特徴付けられている.
一方,分散知識ベース環境における知識変更操作set revisionがrevisionの拡張
の形で提案されている. set revisionは,複数の知識ベースが存在する環境での
知識変更操作のモデルであり,モデル論的アプローチによって定義されている.
しかし,基本規則による形式化は与えられていないため,操作の直観的な意味や性質
を理解することは,困難である.
そこで, 本論文ではset revisionを基本規則によって形式化し,その基本規則が,
モデル論的アプローチにおける定義と対応することを証明する.
また, set revisionに対する証明手続きについてもあきらかにする.
目次に戻る