論文の概要: A logical theory for conditional weak ontic necessity based on context update

• arxiv url: http://arxiv.org/abs/2208.11917v1
• Date: Thu, 25 Aug 2022 07:57:44 GMT
• ステータス: 処理完了
• システム内更新日: 2022-08-26 13:25:59.201695
• Title: A logical theory for conditional weak ontic necessity based on context update
• Title（参考訳）: 文脈更新に基づく条件的弱オンティクスの必要性の論理理論
• Authors: Fengkui Ju
• Abstract要約: 弱オンティックな必需品は、英語で「すべき」または「すべき」で表されるオンティックな必需品である。 この必要性の1つの特徴は、その存在が先行するかどうかに何の関係も持たないかどうかである。 文脈更新に基づく条件的弱オンティック性の必要性に対する論理理論を提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Weak ontic necessity is the ontic necessity expressed by ``should'' or ``ought to'' in English. An example of it is ``I should be dead by now''. A feature of this necessity is whether it holds does not have anything to do with whether its prejacent holds. In this paper, we present a logical theory for conditional weak ontic necessity based on context update. A context is a set of ordered defaults, determining expected possible states of the present world. Sentences are evaluated with respect to contexts. When evaluating the conditional weak ontic necessity with respect to a context, we first update the context with the antecedent, then check whether the consequent holds with respect to the updated context. The logic is complete. Our theory combines premise semantics and update semantics for conditionals.
• Abstract（参考訳）: 弱オンティックな必要性は、英語で『should』または『ought to』で表されるオンティックな必要性である。 その一例が ``i should be dead by now''' である。 この必要性の1つの特徴は、その存在が先行するかどうかに何の関係も持たないかどうかである。 本稿では,文脈更新に基づく条件的弱オンティック性の必要性の論理理論を提案する。 コンテキストは順序付けられたデフォルトのセットであり、現在の世界の期待される状態を決定する。 文は文脈に関して評価される。 文脈に関して条件の弱いオンティック性の必要性を評価する際、まず先行者を用いて文脈を更新し、その状況が更新された文脈に対して保持されるかどうかを確認する。 論理は完全です。 我々の理論は前提セマンティクスと条件セマンティクスの更新を組み合わせる。

関連論文リスト

• Are language models rational? The case of coherence norms and belief revision [63.78798769882708]
  我々は、論理的コヒーレンス規範と、言語モデルにおける信念の強さに結びついたコヒーレンス規範を考察する。 コヒーレンスに結びついた有理ノルムはいくつかの言語モデルに適用できるが、他のモデルには適用されない。
  論文  参考訳（メタデータ） (2024-06-05T16:36:21Z)
• Normative Conditional Reasoning as a Fragment of HOL [0.0]
  本稿では(参照に基づく)条件付き規範推論の機械化について論じる。 我々の焦点は条件付き義務のためのAqvistのシステムEとその拡張である。 フレームワークの2つの可能性について検討する。
  論文  参考訳（メタデータ） (2023-08-21T12:47:30Z)
• A logical theory for strong and weak ontic necessities in branching time [0.0]
  分岐時間における強で弱いオンティックな必要条件に対する完全な論理理論を示す。 弱いオンティックの必要性は、エージェントのオンティック規則の体系によって決定される、受け入れられたタイムラインの領域上で定量化される。 強いオンティックの必要性は、決定不能なオンティック規則によって決定される、受け入れられたタイムラインの領域上で定量化される。
  論文  参考訳（メタデータ） (2022-08-25T08:06:44Z)
• Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
  本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。 これは、説明に表される論理述語に基づいて、反実仮説を生成する。 そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
  論文  参考訳（メタデータ） (2022-05-25T03:40:59Z)
• Situated Conditional Reasoning [10.828616610785524]
  本研究では,状況に基づく条件を一連の仮定で記述できることを示す。 次に、位置条件付き知識ベースに対するエンテーメントの形式を定義し、最小のクロージャ(minimum closure)と呼ぶ。
  論文  参考訳（メタデータ） (2021-09-03T14:23:18Z)
• Probabilistic modelling of rational communication with conditionals [0.0]
  条件に関する実用的推論には確率論的アプローチを採用する。 本モデルは,文献で検証された推論を一様に説明できることを示す。
  論文  参考訳（メタデータ） (2021-05-12T08:21:25Z)
• Provable Limitations of Acquiring Meaning from Ungrounded Form: What will Future Language Models Understand? [87.20342701232869]
  未知のシステムが意味を習得する能力について検討する。 アサーションによってシステムが等価性のような意味関係を保存する表現をエミュレートできるかどうか検討する。 言語内のすべての表現が参照的に透明であれば,アサーションによってセマンティックエミュレーションが可能になる。 しかし、言語が変数バインディングのような非透過的なパターンを使用する場合、エミュレーションは計算不能な問題になる可能性がある。
  論文  参考訳（メタデータ） (2021-04-22T01:00:17Z)
• Comment on "Strong Quantum Darwinism and Strong Independence are Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
  条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。 我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
  論文  参考訳（メタデータ） (2021-01-21T16:06:25Z)
• On Possibilistic Conditions to Contextuality and Nonlocality [0.0]
  論理的文脈性と不等式のない証明に関する洞察を提供する。 本稿では,論理的文脈性に必要かつ十分条件である確率的パラドックスの存在を示す。
  論文  参考訳（メタデータ） (2020-11-08T23:52:40Z)
• ConjNLI: Natural Language Inference Over Conjunctive Sentences [89.50542552451368]
  連接文における連接関係の推論は、連接関係のより深い理解にとって重要である。 既存のNLIストレステストでは、結合の非ブール的使用は考慮されていない。 本稿では,接続文に対する自然言語推論のためのストレステストであるConjNLIを紹介する。
  論文  参考訳（メタデータ） (2020-10-20T16:29:13Z)
• Logical Neural Networks [51.46602187496816]
  ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。 すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。 推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
  論文  参考訳（メタデータ） (2020-06-23T16:55:45Z)

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

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