論文の概要: Situated Conditional Reasoning

• arxiv url: http://arxiv.org/abs/2109.01552v2
• Date: Mon, 17 Apr 2023 16:44:43 GMT
• ステータス: 処理完了
• システム内更新日: 2023-04-19 01:12:34.763673
• Title: Situated Conditional Reasoning
• Title（参考訳）: 位置条件推論
• Authors: Giovanni Casini, Thomas Meyer, Ivan Varzinczak
• Abstract要約: 本研究では,状況に基づく条件を一連の仮定で記述できることを示す。 次に、位置条件付き知識ベースに対するエンテーメントの形式を定義し、最小のクロージャ(minimum closure)と呼ぶ。
• 参考スコア（独自算出の注目度）: 10.828616610785524
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Conditionals are useful for modelling, but are not always sufficiently expressive for capturing information accurately. In this paper we make the case for a form of conditional that is situation-based. These conditionals are more expressive than classical conditionals, are general enough to be used in several application domains, and are able to distinguish, for example, between expectations and counterfactuals. Formally, they are shown to generalise the conditional setting in the style of Kraus, Lehmann, and Magidor. We show that situation-based conditionals can be described in terms of a set of rationality postulates. We then propose an intuitive semantics for these conditionals, and present a representation result which shows that our semantic construction corresponds exactly to the description in terms of postulates. With the semantics in place, we proceed to define a form of entailment for situated conditional knowledge bases, which we refer to as minimal closure. It is reminiscent of and, indeed, inspired by, the version of entailment for propositional conditional knowledge bases known as rational closure. Finally, we proceed to show that it is possible to reduce the computation of minimal closure to a series of propositional entailment and satisfiability checks. While this is also the case for rational closure, it is somewhat surprising that the result carries over to minimal closure.
• Abstract（参考訳）: 条件付きはモデリングに有用であるが、情報を正確に捉えるのに十分表現できるとは限らない。 本稿では,状況に基づく条件付けの形式について述べる。 これらの条件は古典的条件よりも表現力が高く、いくつかのアプリケーション領域で使われるのに十分な一般性を持ち、例えば期待と反事実を区別することができる。 形式的には、クラース、レーマン、マギドールのスタイルで条件設定を一般化することが示される。 状況に基づく条件は,一組の合理性仮定を用いて記述できることを示す。 次に,これらの条件に対する直感的な意味論を提案し,意味的構成が命題の表現と正確に一致することを示す表現結果を示す。 セマンティクスを具体化して、位置条件付き知識ベースのためのエンテーメントの形式を定義し、最小限のクロージャ(minimal closure)と呼ぶ。 これは有理閉包(rational closure)として知られる命題条件付き知識ベースに関する補足のバージョンを思い起こさせるものであり、実際にインスパイアされている。 最後に、最小限のクロージャの計算を一連の命題の絞り込みと満足度チェックに還元できることを示す。 これは有理閉包のケースでもあるが、結果が最小閉包へと続くことは少々驚きである。

関連論文リスト

• (Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
  微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。 その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。 本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
  論文  参考訳（メタデータ） (2024-10-22T00:41:47Z)
• Probabilistic Conformal Prediction with Approximate Conditional Validity [81.30551968980143]
  本研究では,共形手法の柔軟性と条件分布の推定を組み合わせ,予測セットを生成する手法を開発した。 我々の手法は、条件付きカバレッジの観点から既存の手法よりも一貫して優れています。
  論文  参考訳（メタデータ） (2024-07-01T20:44:48Z)
• A probabilistic analysis of selected notions of iterated conditioning under coherence [0.0]
  デ・フィネッティの条件付き概念は3つの値を持つ対象であり、賭けの枠組みにおける条件付き乱数量であると考えている。 複素確率定理やその他の基本的な性質がこれらの対象によって保存されないことを示す。 すべての基本特性は, 主に Gilio と Sanfilippo によって開発された反復条件によってのみ満たされる。
  論文  参考訳（メタデータ） (2023-08-20T18:48:37Z)
• Abductive Commonsense Reasoning Exploiting Mutually Exclusive Explanations [118.0818807474809]
  帰納的推論は、イベントのもっともらしい説明を見つけることを目的としている。 自然言語処理における帰納的推論のための既存のアプローチは、しばしば監督のために手動で生成されたアノテーションに依存している。 この研究は、ある文脈に対して、説明のサブセットのみが正しいという事実を活用する、帰納的コモンセンス推論のアプローチを提案する。
  論文  参考訳（メタデータ） (2023-05-24T01:35:10Z)
• $\omega$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs [64.25762042361839]
  $omega$PAP 空間は表現的微分可能および確率的プログラミング言語についての推論のための空間である。 我々の意味論は、最も実践的な確率的で微分可能なプログラムに意味を割り当てるのに十分である。 確率プログラムのトレース密度関数のほぼすべての微分可能性を確立する。
  論文  参考訳（メタデータ） (2023-02-21T12:50:05Z)
• Certain and Uncertain Inference with Indicative Conditionals [0.3437656066916039]
  我々は、真理条件と自然言語条件の確率の3値意味論を開発する。 いずれのフレームワークにおける推論の3価表現と確率表現の体系的対応を示す。 その結果は、条件推論の妥当性を分析するために有益に適用できる条件のセマンティクスと指示の統一的な説明である。
  論文  参考訳（メタデータ） (2022-07-17T20:06:00Z)
• Reasoning over Logically Interacted Conditions for Question Answering [113.9231035680578]
  我々は、論理的に相互作用する条件のリストによって答えが制約される、より困難なタスクについて研究する。 本稿では,この難解な推論タスクのための新しいモデルTReasonerを提案する。 TReasonerは、2つのベンチマーク条件付きQAデータセットで最先端のパフォーマンスを達成する。
  論文  参考訳（メタデータ） (2022-05-25T16:41:39Z)
• A General Framework for Modelling Conditional Reasoning -- Preliminary Report [4.340338299803562]
  ここでは、幅広い推論システムの定義を可能にする条件文の形式化を紹介し、検討する。 このフレームワークは論理ベースのKRにおいて、最も一般的な条件推論をカバーしている。
  論文  参考訳（メタデータ） (2022-02-15T17:33:39Z)
• Rationales for Sequential Predictions [117.93025782838123]
  シーケンスモデルは現代のNLPシステムにおいて重要な要素であるが、それらの予測は説明が難しい。 モデル説明は有理だが、個々のモデル予測を説明できる文脈のサブセットを考える。 この目的を近似する効率的なグリードアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2021-09-14T01:25:15Z)
• Probabilistic modelling of rational communication with conditionals [0.0]
  条件に関する実用的推論には確率論的アプローチを採用する。 本モデルは,文献で検証された推論を一様に説明できることを示す。
  論文  参考訳（メタデータ） (2021-05-12T08:21:25Z)
• Modeling Contrary-to-Duty with CP-nets [19.561116525421316]
  条件付き嗜好ネット(CP-nets)は、セテリスパリバスの嗜好を表現・分析するためのコンパクトなフォーマリズムである。 本稿では,条件付き嗜好モデルを用いてデオン概念を捉える方法について述べる。
  論文  参考訳（メタデータ） (2020-03-23T18:23:18Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。