[論文レビュー] A Unified Framework for Nonmonotonic Reasoning with Vagueness and Uncertainty

Sandip Paul, Kumar S. Ray+1 more|arXiv (Cornell University)|Oct 1, 2019

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

ひとこと要約

本稿では、区間値をとるファジィ集合を真偽値として用い、順序付き前順序に基づく三角形を導入することで、曖昧さと不確実性を統合的に扱う非単調推論の統一的枠組みを提案する。差分方程式を用いた収束保証付きの反復的答え集合計算手法を導入し、曖昧さと不確実性の両方の下で、優先順位付けされたルールや例外処理が可能な直感的な推論を可能にする。

ABSTRACT

An interval-valued fuzzy answer set programming paradigm is proposed for nonmonotonic reasoning with vague and uncertain information. The set of sub-intervals of $[0,1]$ is considered as truth-space. The intervals are ordered using preorder-based truth and knowledge ordering. The preorder based ordering is an enhanced version of bilattice-based ordering. The system can represent and reason with prioritized rules, rules with exceptions. An iterative method for answer set computation is proposed. The sufficient conditions for termination of iterations are identified for a class of logic programs using the notion of difference equations.

研究の動機と目的

• 既存のファジィ論理プログラミング、可能性論的、確率論的論理プログラミング枠組みが、曖昧さと不確実性を同時に扱う点での限界を解消すること。
• 非単調推論における二値格子に基づく知識順序の欠陥、特に不完全情報下での比較不能な真偽値の問題を克服すること。
• 古典的否定、失敗による否定、および区間値真偽度を伴う重み付きルールをサポートする統一的意味論を確立すること。
• 収束の十分条件を明示する数学的に根拠のある反復的答え集合計算手法を提供すること。
• 曖昧さと不確実性が本質的な医療意思決定支援システムなどの応用分野における、より直感的で強固な推論を可能にすること。

提案手法

• 真偽空間は、[0,1]のすべての部分区間の集合として定義され、真偽度と確実性レベルを表現する。
• 従来の二値格子に基づく順序に代えて、前順序に基づく三角形を導入することで、一方が他方の部分集合でない場合でも区間同士の意味的な比較を可能にする。
• 重み付きルールを導入し、ルールの重みを区間として定義することで、不確実性の度合いを表現し、例外処理や優先順位付けされた推論を可能にする。
• 肯定的および否定的証拠を統合する知識集約演算子を用いることで、非単調推論の直感性を向上させる。
• 答え集合の計算を反復的に行い、古典的ASPの三段階計算を模倣するが、実数値真偽度に適応させたものである。
• 値伝搬グラフの表現から導かれる差分方程式を用いて反復の収束を解析し、収縮写像定理を用いて終了の十分条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 曖昧さと不確実性を同時に扱う非単調推論において、統一的論理プログラミング枠組みがどのように効果的にモデル化できるか。
• RQ2 不完全情報下の状況において、知識比較を可能にするより直感的で強固な区間値真偽度の順序とは何か。
• RQ3 実数値真偽度を伴う広範なクラスの論理プログラムに対して、反復的答え集合計算がどのように終了保証が得られるか。
• RQ4 前順序に基づく三角形は、二値格子に基づく三角形に比べて、非単調性および信念修正の処理においてどのように改善されるか。
• RQ5 区間値をとる重み付きルールは、非単調な文脈において、例外処理と優先順位付けされた知識の推論をどのように支援するか。

主な発見

• 提案された前順序に基づく三角形により、一方が他方の部分集合でない場合でも、区間値真偽値同士の意味的な比較が可能となり、二値格子に基づく順序の主要な限界が解消される。
• この枠組みは、古典的否定と失敗による否定の両方をサポートしており、従来のFASPやPFASPのアプローチに比べてより豊かな非単調推論を可能にする。
• 答え集合の反復的計算手法は、値伝搬グラフから導かれる差分方程式を用いて数学的に解析され、収束解析の新しい手法を提供する。
• 反復プロセスの収束のための十分条件が明示的に同定され、収縮写像定理に基づき、広範なクラスのプログラムに対して終了保証が得られる。
• 曖昧さと不確実性を含む医療知識（例：自然言語ルールや確率的診断）の直感的なモデル化が可能となり、臨床意思決定支援システムへの適用に適している。
• 知識集約演算子の統合により、矛盾する証拠の処理が向上し、非単調推論の現実性と強固さが向上する。