핵심 개념
量的双極論理フレームワークにおいて、論理的根拠の強さを説明するために、攻撃と支持の役割を定量的に分析する新しい理論を提案する。
초록
本論文では、量的双極論理フレームワーク(QBAF)における論理的根拠の強さを定量的に説明する新しい理論を提案している。
まず、QBAFの概要と既存の論理的根拠の説明手法について説明する。従来の手法は論理的根拠の寄与度を論理的根拠単位で評価するが、攻撃と支持の役割を十分に考慮していない。
そこで本論文では、関係帰属説明(RAE)と呼ばれる新しい手法を提案する。RAEは、ゲーム理論のシャプレー値を応用して、論理的根拠間の攻撃と支持の寄与度を定量化する。RAEは、効率性、正符号性、中立性、対称性、優越性などの望ましい性質を満たすことを示す。
また、RAEを効率的に近似計算するための確率的アルゴリズムを提案し、その収束性を理論的・実験的に検証する。
最後に、不正検出とLarge Language Modelsの2つのケーススタディを通して、RAEの実用性を示す。RAEは、論理的根拠の強さを解釈する上で、攻撃と支持の役割を詳細に分析できるため、従来の手法よりも有用な洞察を提供できることが確認された。
통계
論理的根拠αの強さ σ(α) は、その基礎スコア τ(α) と、すべての関係r∈Rの関係帰属説明ϕα
σ(r)の和で表される。
関係r1は論理的根拠αに対して正の寄与(ϕα
σ(r1) > 0)を、関係r3は負の寄与(ϕα
σ(r3) < 0)を持つ。
인용구
"量的双極論理フレームワーク(QBAFs)は、矛盾する情報の推論をサポートするため、説明可能な人工知能の分野で有望なツールである。"
"従来の手法は論理的根拠の寄与度を論理的根拠単位で評価するが、攻撃と支持の役割を十分に考慮していない。"
"関係帰属説明(RAE)は、ゲーム理論のシャプレー値を応用して、論理的根拠間の攻撃と支持の寄与度を定量化する新しい手法である。"