論文の概要: Certain and Uncertain Inference with Indicative Conditionals
- arxiv url: http://arxiv.org/abs/2207.08276v2
- Date: Fri, 28 Apr 2023 14:52:43 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-01 17:49:24.472016
- Title: Certain and Uncertain Inference with Indicative Conditionals
- Title（参考訳）: 指示条件付きで確実かつ不確定な推論
- Authors: Paul \'Egr\'e and Lorenzo Rossi and Jan Sprenger
- Abstract要約: 我々は、真理条件と自然言語条件の確率の3値意味論を開発する。
いずれのフレームワークにおける推論の3価表現と確率表現の体系的対応を示す。
その結果は、条件推論の妥当性を分析するために有益に適用できる条件のセマンティクスと指示の統一的な説明である。
- 参考スコア（独自算出の注目度）: 0.3437656066916039
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: This paper develops a trivalent semantics for the truth conditions and the
probability of the natural language indicative conditional. Our framework rests
on trivalent truth conditions first proposed by W. Cooper and yields two logics
of conditional reasoning: (i) a logic C of inference from certain premises; and
(ii) a logic U of inference from uncertain premises. But whereas C is monotonic
for the conditional, U is not, and whereas C obeys Modus Ponens, U does not
without restrictions. We show systematic correspondences between trivalent and
probabilistic representations of inferences in either framework, and we use the
distinction between the two systems to cast light, in particular, on McGee's
puzzle about Modus Ponens. The result is a unified account of the semantics and
epistemology of indicative conditionals that can be fruitfully applied to
analyzing the validity of conditional inferences.
- Abstract（参考訳）: 本稿では,真理条件と自然言語指示条件の確率の3値意味論を開発する。
我々の枠組みは、W・クーパーが最初に提案した3価の真理条件に基づいており、条件推論の2つの論理を導出する。
(i)特定の前提からの推論の論理C、及び
(ii)不確定な前提からの推論の論理u。
しかし、C は条件付きでは単調であるが、U はそうではなく、C は Modus Ponens に従うが、U は制約を持たない。
いずれのフレームワークにおいても,推論の3値表現と確率表現の系統的対応を示し,この2つのシステムの区別を用いて,特にモーダスポネンに関するマッギーのパズルに光を投射する。
その結果は、指示的条件文の意味論と認識論を統一的に記述し、条件付き推論の妥当性を分析できる。
関連論文リスト
- 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。