[論文レビュー] Sequential Thresholds: Context Sensitive Default Extensions

Choh Man Teng|arXiv (Cornell University)|Feb 6, 2013

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

ひとこと要約

本稿では、文脈に依存する閾値を統合することで、デフォルト論理の文脈に敏感な拡張としての逐次閾値化を導入し、変化する文脈に応じて推論が動的に進化する様子をモデル化する。非単調推論に文脈依存の閾値を組み込むことで、より柔軟で現実的であるCommon-sense推論のフレームワークを提供し、デフォルト論理と文脈に配慮した推論メカニズムの間の形式的ブリッジを築く。進化する推論環境における意味的表現力と適応性が向上する。

ABSTRACT

Default logic encounters some conceptual difficulties in representing common sense reasoning tasks. We argue that we should not try to formulate modular default rules that are presumed to work in all or most circumstances. We need to take into account the importance of the context which is continuously evolving during the reasoning process. Sequential thresholding is a quantitative counterpart of default logic which makes explicit the role context plays in the construction of a non-monotonic extension. We present a semantic characterization of generic non-monotonic reasoning, as well as the instantiations pertaining to default logic and sequential thresholding. This provides a link between the two mechanisms as well as a way to integrate the two that can be beneficial to both.

研究の動機と目的

• 動的かつ進化する文脈下でCommon-sense推論をモデル化する際のデフォルト論理における概念的制限を解消すること。
• 普遍的適用を仮定しない、定量的で文脈に依存する、従来のデフォルト規則の代替案を構築すること。
• デフォルト論理と逐次閾値化を統合した、一般的な非単調推論のための意味的枠組みを形式化すること。
• デフォルト論理と逐次閾値化の間で、相互に利益をもたらす原理的統合を確立すること。
• 推論中に文脈の進化に応じて拡張が敏感になるメカニズムを提供すること。

提案手法

• 文脈に応じて動的に調整される閾値を用いて、デフォルト論理の定量的対応として逐次閾値化を提案する。規則の適用閾値は文脈に依存して変化する。
• 推論中に文脈の進化を明示的にモデル化する非単調推論の意味的特徴付けを導入する。
• 規則の適用可能性が文脈に更新された閾値に依存する非単調拡張を構築するメカニズムを定義する。
• 共有される意味的原則を通じて、デフォルト論理と逐次閾値化を形式的枠組みで結びつける。
• 文脈が各推論段階でのデフォルトの発火に影響する動的評価プロセスを採用する。
• フレームワークを適用して、デフォルト論理の文脈に依存する推論を具体化し、適応的推論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてデフォルト論理を、推論中に文脈の進化を考慮するように拡張できるか？
• RQ2 非単調推論において、文脈に依存する規則適用を可能にする形式的メカニズムは何か？
• RQ3 逐次閾値化をどのようにしてデフォルト論理と統合し、推論の適応性を向上させられるか？
• RQ4 文脈に依存する非単調拡張において、一貫性と表現力を保証する意味的性質は何か？
• RQ5 文脈に配慮した閾値化は、従来のデフォルト論理に比べて、Common-sense推論のモデル化においてどのように改善されるか？

主な発見

• 逐次閾値化は、現実世界の推論ダイナミクスをよりよくモデル化する形式的で文脈に依存するデフォルト論理の代替手段を提供する。
• 本フレームワークは、共有される意味的特徴付けを通じて、デフォルト論理と逐次閾値化を成功裏に統合している。
• 文脈の進化が明示的にモデル化されており、新しい情報が組み込まれるにつれて推論が適応可能である。
• 規則の適用が進化する文脈的閾値に依存するようにすることで、より現実的な非単調拡張が可能になる。
• 不確実性や文脈依存性を持つ推論タスクを扱う際、標準的なデフォルト論理よりも表現力が向上していることが示された。
• 本稿は、動的環境における定性的なデフォルト推論と定量的閾値化を組み合わせる理論的基盤を確立した。