[論文レビュー] An Abductive Framework for Knowledge Base Dynamics

Radhakrishnan Delhibabu|arXiv (Cornell University)|Jan 1, 2014

Logic, Reasoning, and Knowledge参考文献 49被引用数 3

ひとこと要約

本論文は、不変の信念構成要素を別個の論理的体系として扱い、独自の帰結関係および閉包作用素を持つものとして、知識ベースの動的変化を記述する帰謬的枠組みを提案する。Hanssonの二項的信念表現と帰謬的推論を統合することで、帰納的閉包でない信念状態を維持しつつ不変性を保つことが可能となり、自律的システムにおける動的知識管理のための新規な基盤を提供する。

ABSTRACT

The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. We introduced the knowledge base dynamics to deal with two important points: fi rst, to handle belief states that need not be deductively closed; and the second point is the ability to declare certain parts of t he belief as immutable. In this paper, we address another, radically new approach to this problem. This approach is very close to the Hansson's dyadic representation of belief. Here, we consider the immutable part as defining a new logical system. By a logical syste m, we mean that it defines its own consequence relation and closure oper ator. Based on this, we provide an abductive framework for knowledge base dynamics.

研究の動機と目的

• 帰納的閉包でない信念状態を扱う伝統的信念動的理論の限界を解消すること。
• 不変の信念構成要素を、独自の帰結関係および閉包作用素を持つ自己完結的論理的体系として形式化すること。
• 二項的信念構造内での帰謬的推論を可能にする、知識ベースの動的変化を扱う新規な枠組みを構築すること。
• 自律的システムが新しい情報を統合しつつも、固定された不変の知識構成要素を維持できること。

提案手法

• Hanssonの二項的信念枠組みを用いて信念状態を表現し、信念とその閉包を分離する。
• 不変の信念構成要素を、独自の帰結関係および閉包作用素を持つ別個の論理的体系として扱う。
• 論理的制約のもとで信念の再構成および拡張を扱えるように、帰謬的推論を枠組みに統合する。
• 論理的体系の不変性を尊重する動的操作（例：再構成、拡張）を定義する。
• 帰謬的推論プロセスと不変論理的体系の閉包性の間に一貫性を保証する。
• 信念更新の過程で構造的整合性を保つために、論理的体系の閉包作用素を用いる。

実験結果

リサーチクエスチョン

• RQ1 帰納的閉包でない信念状態を動的に管理する方法は何か？ その際、不変の知識構成要素を維持するには？
• RQ2 不変の信念をどのように形式的構造で表現すれば、それ自体が一貫した論理的体系とその帰結関係を定義できるか？
• RQ3 不変の論理的体系と変動可能な信念を区別する信念動的枠組みに、帰謬的推論をどのように統合できるか？
• RQ4 帰謬的更新が不変の論理的体系と一貫性を保つための条件は何か？
• RQ5 二項的信念表現は、動的知識ベースにおける非単調的推論をどのように支援するか？

主な発見

• 本枠組みは、帰納的閉包を必要としない信念状態を効果的にモデル化でき、より柔軟な知識表現を可能にする。
• 不変の信念構成要素は、独自の帰結関係および閉包作用素を持つ閉じた論理的体系として形式的に扱われる。
• 枠組みへの帰謬的推論の統合により、不変知識の構造的整合性を損なわず、妥当な推論が可能になる。
• 本アプローチにより、信念更新が不変論理的体系の閉包性を破壊しないことが保証される。
• 二項的構造により、変動可能な信念と不変知識の論理的基盤との明確な分離が実現される。
• 本枠組みは、恒久的かつ変更不可能な知識構成要素を有する自律的システムにおける動的知識管理の形式的基盤を提供する。