[論文レビュー] A flexible framework for defeasible logics

Grigoris Antoniou, David P. Billington+2 more|ArXiv.org|Mar 7, 2000

Logic, Reasoning, and Knowledge参考文献 20被引用数 109

ひとこと要約

本論文は、非単調的推論システムのチューニング可能な設計を可能にする、柔軟で論理的メタプログラミングに基づく欠損論理のフレームワークを提示する。欠損性、曖昧性の伝播、チームによる破壊のモジュラー設定を可能にすることで、整合性を保証する形式化された推論規則と強力な否定原理を用いて、一貫性のあるカスタマイズ可能な欠損論理の構築が可能になる。

ABSTRACT

Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others. A solution to this problem is to choose from several logics and, when necessary, combine the representations. In general, such an approach results in a very difficult problem of combination. However, if we can choose the logics from a uniform framework then the problem of combining them is greatly simplified. In this paper, we develop such a framework for defeasible logics. It supports all defeasible logics that satisfy a strong negation principle. We use logic meta-programs as the basis for the framework.

研究の動機と目的

• 知識表現論理における過剰な特化の問題に対処し、欠損論理の統一的で合成可能なフレームワークを提供すること。
• 固定された意味論と互換性のない論理の組み合わせの制限を克服し、論理設計の均一な基盤を提供すること。
• 曖昧性の伝播やチームによる破壊といった、カスタマイズ可能な特性を有する欠損論理の構築手法を開発すること。
• 形式化された推論規則とメタプログラミングを用いて、さまざまな欠損論理バリアント間での論理的整合性と一貫性を保証すること。
• 異なる失敗の概念と推論行動を有する論理を、原理的かつ整合的な方法で組み合わせる基盤を確立すること。

提案手法

• 欠損論理理論の表現と推論のためのコア実装メカニズムとして論理的メタプログラミングを用いる。
• 支援、破壊、優越関係を用いて、厳密な、欠損可能な、破壊された結論をサポートする推論規則（c1–c13）を定義する。
• 論理的一致性を保証し、パラドックスを回避するための強力な否定原理を設計基準として導入する。
• 推論規則を置換または拡張することで論理の振る舞いをモジュラーに設定する（例：c5 → c11 で曖昧性の伝播を有効化、c12 でチームによる破壊を無効化）。
• DL（欠損論理）の変種にこのフレームワークを適用し、柔軟性と一貫性を実証する。
• 事実、厳密な規則、欠損可能な規則、破壊者を含む命題ルール集合に加え、優越関係を用いて規則の競合と上書きをモデル化する。

実験結果

リサーチクエスチョン

• RQ1 広範な欠損論理をサポートしつつ一貫性を保証する統一的フレームワークをどのように設計できるか？
• RQ2 曖昧性の伝播やチームによる破壊といった欠損論理特性の柔軟なチューニングを可能にするメカニズムは何か？
• RQ3 推論規則の異なる設定が、欠損論理システムにおける結論の証明可能性にどのように影響するか？
• RQ4 さまざまな欠損論理バリアント同士の間で、表現力と論理的強度の関係は何か？
• RQ5 論理的メタプログラミングアプローチは、異なる失敗意味論を有する欠損論理の組み合わせを効果的にサポートできるか？

主な発見

• フレームワークは推論規則のモジュラー設定を可能にすることで、異なる推論行動を有する論理の設計を可能にし、広範な欠損論理のサポートを実現する。
• 論理的メタプログラミングアプローチにより、各バリアント設定に対して形式的に証明されたように、構築されたすべての欠損論理が一貫性を保つ。
• 規則c5を変更し、上書き条件で「defeasibly」の代わりに「supported」を使用することで、曖昧性の伝播を有効化でき、相互上書きの状況下で−∂¬antimilitaryのような結論が得られる。
• c5とc6をc12に置き換えることでチームによる破壊を無効化でき、優越性と欠損可能な支援に基づく上書きに依存するが、依然として一貫性を持つより弱い論理が得られる。
• 表現力の厳密な階層が確立される：+∆ ⊂ +∂a,ntd ⊂ +∂a ⊂ +∂ ⊂ +Σ であり、各包含関係が真に成立するため、推論強度が段階的に向上することが示される。
• フレームワークにより、一貫性とチューニング可能性を両立した論理の設計が可能となり、カスタマイズ可能な欠損性と衝突解決戦略を備えた実用的知識表現が実現される。