論文の概要: Certain and Uncertain Inference with Trivalent Conditionals

• arxiv url: http://arxiv.org/abs/2207.08276v1
• Date: Sun, 17 Jul 2022 20:06:00 GMT
• ステータス: 処理完了
• システム内更新日: 2022-07-19 18:41:56.101612
• Title: Certain and Uncertain Inference with Trivalent Conditionals
• Title（参考訳）: 三価条件付き確実かつ不確定な推論
• Authors: Paul \'Egr\'e and Lorenzo Rossi and Jan Sprenger
• Abstract要約: 条件の確率の非古典的な説明と条件推論の2つの論理を提供する。 それらは条件推論のための統一的な枠組みを提供し、既存の理論を一般化し、モーダス・ポネンスの妥当性、インポート・輸出、その他の条件論理の原理に関する議論の洞察に富んだ分析をもたらす。
• 参考スコア（独自算出の注目度）: 0.3437656066916039
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Research on indicative conditionals usually aims either at determining their truth conditions, or at explaining how we should reason with them and when we can assert them. This paper integrates these semantic and epistemological projects by means of articulating trivalent, truth-functional truth conditions for indicative conditionals. Based on this framework, we provide a non-classical account of the probability of conditionals, and two logics of conditional reasoning: (i) a logic C of inference from certain premises that generalizes deductive reasoning; and (ii) a logic U of inference from uncertain premises that generalizes defeasible reasoning. Both logics are highly attractive in their domain. They provide a unified framework for conditional reasoning, generalize existing theories (e.g., Adams's logic of "reasonable inference") and yield an insightful analysis of the controversies about the validity of Modus Ponens, Import-Export, and other principles of conditional logic.
• Abstract（参考訳）: 指示条件の研究は、通常、真理条件を決定するか、どのように推論すべきか、いつそれを主張できるかを説明することを目的としている。 本稿では,これらの意味論的・認識論的プロジェクトを,三値・真理機能的真理条件を表現条件として統合する。 この枠組みに基づいて、条件の確率の非古典的な説明と条件推論の2つの論理を提供する。 (i)帰納的推論を一般化する特定の前提からの推論の論理C (ii)デファシブル推論を一般化する不確実な前提からの推論の論理U。 両方のロジックはドメインにおいて非常に魅力的です。 彼らは条件付き推論のための統一的な枠組みを提供し、既存の理論(例えばアダムズの「合理的推論」論理)を一般化し、モドゥス・ポネンズ、インポート-エクスポート、その他の条件付き論理の原理の有効性に関する議論を洞察的に分析する。

関連論文リスト

• A probabilistic analysis of selected notions of iterated conditioning under coherence [0.0]
  デ・フィネッティの条件付き概念は3つの値を持つ対象であり、賭けの枠組みにおける条件付き乱数量であると考えている。 複素確率定理やその他の基本的な性質がこれらの対象によって保存されないことを示す。 すべての基本特性は, 主に Gilio と Sanfilippo によって開発された反復条件によってのみ満たされる。
  論文  参考訳（メタデータ） (2023-08-20T18:48:37Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems [0.0]
  条件付き事象,複合条件,条件付き乱数,p-一貫性,p-エンターメントについて,いくつかの結果が得られた。 条件付ベットと条件付ベットの等価性を示し、デ・フィネッティの条件付ベットの3価分析をレビューする。
  論文  参考訳（メタデータ） (2023-03-17T22:35:06Z)
• MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
  複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。 推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。 この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
  論文  参考訳（メタデータ） (2022-10-22T16:01:13Z)
• Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations [71.2950434944196]
  ノイズや一貫性のない言語モデルでさえも問題に対する正しい答えを推測するMaieutic Promptingを開発する。 Maieutic Promptingは最先端のプロンプト法よりも最大20%精度が高い。
  論文  参考訳（メタデータ） (2022-05-24T06:36:42Z)
• Situated Conditional Reasoning [10.828616610785524]
  本研究では,状況に基づく条件を一連の仮定で記述できることを示す。 次に、位置条件付き知識ベースに対するエンテーメントの形式を定義し、最小のクロージャ(minimum closure)と呼ぶ。
  論文  参考訳（メタデータ） (2021-09-03T14:23:18Z)
• Nested Counterfactual Identification from Arbitrary Surrogate Experiments [95.48089725859298]
  観測と実験の任意の組み合わせからネスト反事実の同定について検討した。 具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
  論文  参考訳（メタデータ） (2021-07-07T12:51:04Z)
• Probabilistic modelling of rational communication with conditionals [0.0]
  条件に関する実用的推論には確率論的アプローチを採用する。 本モデルは,文献で検証された推論を一様に説明できることを示す。
  論文  参考訳（メタデータ） (2021-05-12T08:21:25Z)
• Comment on "Strong Quantum Darwinism and Strong Independence are Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
  条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。 我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
  論文  参考訳（メタデータ） (2021-01-21T16:06:25Z)
• Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
  確率感性決定図は、解離ゲートの入力が確率値によってアノテートされる論理回路である。 我々は、局所確率を質量関数のクレーダル集合に置き換えることができる確率の一般化である、クレーダル感性決定図を開発する。 まず,ノイズの多い7セグメント表示画像に基づく簡単なアプリケーションについて検討する。
  論文  参考訳（メタデータ） (2020-08-19T16:04:34Z)
• Probabilistic Reasoning across the Causal Hierarchy [10.138180861883635]
  私たちの言語は厳格に表現力を高めている。 それぞれの言語に対する満足度と妥当性は空間的に決定可能であることを示す。
  論文  参考訳（メタデータ） (2020-01-09T08:52:14Z)

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

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