[論文レビュー] Epistemic Logic with Functional Dependency Operator

Yifeng Ding|arXiv (Cornell University)|Jun 7, 2017

Logic, Reasoning, and Knowledge参考文献 7被引用数 4

ひとこと要約

本稿は、変数間の関数的依存関係に関する知識を表現するための新しい知識論的論理演算子 $K\!f$ を導入する。関数ドメイン $\mathbf{F}$ を用いて、可能な依存関係を制約し、単一のエージェントにおける3つの論理を公理化し、関数ドメインがエージェントや可能な世界で異なるマルチエージェント設定に統合する。完全性を示し、単なる値の知識を超えた関数的関係に関する知識の推論のための意味論的および証明論的基盤を提供する。

ABSTRACT

Epistemic logic with non-standard knowledge operators, especially the "knowing-value" operator, has recently gathered much attention. With the "knowing-value" operator, we can express knowledge of individual variables, but not of the relations between them in general. In this paper, we propose a new operator Kf to express knowledge of the functional dependencies between variables. The semantics of this Kf operator uses a function domain which imposes a constraint on what counts as a functional dependency relation. By adjusting this function domain, different interesting logics arise, and in this paper we axiomatize three such logics in a single agent setting. Then we show how these three logics can be unified by allowing the function domain to vary relative to different agents and possible worlds. A multiagent axiomatization is given in this case.

研究の動機と目的

• 変数間の関数的依存関係に関する知識を形式化し、『値を知る』演算子を超えて拡張すること。
• 妥当な関数的関係を捉えるために、関数ドメイン $\mathbf{F}$ を用いた $K\!f$ の意味論を定義すること。
• 関数ドメイン $\mathbf{F}$ に異なる制約を課した3つの単一エージェント論理の完全な公理化を提供すること。
• 関数ドメインがエージェントや可能な世界で異なるマルチエージェントフレームワークにおいて、これらの論理を統合すること。
• $K\!f$ 演算子の論理的および計算的性質、特に完全性と有限モデル性を調査すること。

提案手法

• 関数ドメイン $\mathbf{F}$ に属するある関数 $f$ に対して $d = f(c)$ が成り立つことを知っていることを表現する新しい知識論的演算子 $K\!f(C,d)$ を提案する。
• 関数ドメイン $\mathbf{F}$ を用いた意味論を定義し、$K\!f(C,d)$ が、すべての認識的に到達可能な世界で $d = f(c)$ を満たすような $f \in \mathbf{F}$ が存在する場合に成立するようにする。
• 関数的依存関係の評価のための到達可能性を定義するために、関係 $R$（例えば認識的または時間的関係）を用いたモダールフレームワークを用いる。
• フィルトレーション技法を用いて完全性を証明し、特に有限モデルおよび固定された $\mathbf{F}$ に対して有効である。
• エージェント固有の関数ドメイン $\mathbf{F}_i(w)$ を許容することで、マルチエージェントシステムに拡張し、依存関係に関する共有または非共有の知識の推論を可能にする。
• $K_i(K\!v_j(c) \land K\!v_j(d)) \to K_iK\!f_j(c,d) \lor K_i\neg K\!f_j(c,d)$ のような妥当性を導入し、他者が依存関係を説明できるかどうかを知っていることをモデル化する。

実験結果

リサーチクエスチョン

• RQ1 関数的依存関係に関する知識は、個々の値の知識を超えて、知識論的論理でどのように形式的に捉えられるか？
• RQ2 単一エージェント設定における $K\!f$ の整合性と完全性を保証するための意味論と公理は何か？
• RQ3 関数ドメイン $\mathbf{F}$ は $K\!f$ の論理的挙動にどのように影響を与え、エージェントや世界で $\mathbf{F}$ を変化させることの結果は何か？
• RQ4 非自明な相互作用を伴う関数的説明に関する知識について、$K\!f$ 演算子をマルチエージェントシステムに拡張できるか？
• RQ5 モデル理論的および証明論的性質として、有限モデル性や完全性を含む、論理の性質は何か？

主な発見

• 本稿は、関数ドメイン $\mathbf{F}$ を変化させることで、固定、変動、中間のドメインを含む3つの単一エージェント論理について完全な公理化を提供する。
• フィルトレーションを用いて完全性を確立し、モデルのサイズに明示的な上限を与えるが、固定の中間ドメインの場合、サイズ要件は二重指数関数的になる。
• マルチエージェント設定では、エージェントや世界で異なる関数ドメインを統合し、依存関係に関する共有または非共有の知識の推論を可能にする。
• $K_i(K\!v_j(c) \land K\!v_j(d)) \to K_iK\!f_j(c,d) \lor K_i\neg K\!f_j(c,d)$ のような妥当性が導出され、エージェントが他者が依存関係を説明できるかどうかを知っていることを示す。
• 表現力と計算複雑性のトレードオフをサポートするが、すべてのバリアントで有限モデル性が成立する。
• 本フレームワークは従来の依存論理や「値を知る」論理を一般化し、機能的依存性を最小限の要件として含むが、より洗練された知識論的推論を可能にする。