論文の概要: Broadening the Applicability of Conditional Syntax Splitting for Reasoning from Conditional Belief Bases
- arxiv url: http://arxiv.org/abs/2604.12660v1
- Date: Tue, 14 Apr 2026 12:27:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-04-15 19:11:32.440763
- Title: Broadening the Applicability of Conditional Syntax Splitting for Reasoning from Conditional Belief Bases
- Title（参考訳）: 条件付き信念ベースからの推論における条件付き構文分割の適用性の拡大
- Abstract要約: 条件付き信念ベースからの非単調な推論において、構文分割仮定を満たす推論演算子は、信念ベースに関連する部分のみを考慮に入れることができる。
近年、この条件の重複は自給自足条件に制限されていることが示されている。
そこで本稿では,安全な条件付き構文分割の一般化を提案し,その適用範囲を広げる。
- 参考スコア（独自算出の注目度）: 17.087561406710723
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: In nonmonotonic reasoning from conditional belief bases, an inference operator satisfying syntax splitting postulates allows for taking only the relevant parts of a belief base into account, provided that the belief base splits into subbases based on disjoint signatures. Because such disjointness is rare in practice, safe conditional syntax splitting has been proposed as a generalization of syntax splitting, allowing the conditionals in the subbases to share some atoms. Recently this overlap of conditionals has been shown to be limited to trivial, self-fulfilling conditionals. In this article, we propose a generalization of safe conditional syntax splittings that broadens the applicability of splitting postulates. In contrast to safe conditional syntax splitting, our generalized notion supports syntax splittings of a belief base Δ where the subbases of Δ may share atoms and nontrivial conditionals. We illustrate how this new notion overcomes limitations of previous splitting concepts, and we identify genuine splittings, separating them from simple splittings that do not provide benefits for inductive inference from Δ. We introduce adjusted inference postulates based on our generalization of conditional syntax splitting, and we evaluate several popular inductive inference operators with respect to these postulates. Furthermore, we show that, while every inductive inference operator satisfying generalized conditional syntax splitting also satisfies conditional syntax splitting, the reverse does not hold.
- Abstract（参考訳）: 条件付き信念ベースからの非単調な推論において、構文分割仮定を満たす推論演算子は、不随伴シグネチャに基づくサブベースに分割することを条件として、信念ベースに関連する部分のみを考慮に入れることができる。
このような不整合性は実際には稀であるため、安全な条件付き構文分割は構文分割の一般化として提案され、サブベース内の条件がいくつかの原子を共有できる。
近年、この条件の重複は自給自足条件に制限されていることが示されている。
本稿では,安全な条件付き構文分割の一般化を提案する。
安全な条件付き構文分割とは対照的に、我々の一般化された概念は、Δのサブベースが原子と非自明な条件を共有できる信念ベースΔの構文分割をサポートする。
この新たな概念は、従来の分割概念の限界を克服し、Δからの帰納的推論の恩恵を与えない単純な分割から分離して、真の分割を識別する方法について説明する。
本稿では、条件付き構文分割の一般化に基づく調整された推論仮定を導入し、これらの仮定に関して、いくつかの一般的な帰納的推論演算子を評価する。
さらに、一般化された条件付き構文分割を満たすインダクティブ推論演算子も条件付き構文分割を満たすが、逆は成立しないことを示す。
関連論文リスト
- On the Proper Treatment of Units in Surprisal Theory [50.52310749207036]
仮定に基づく予測は,2つの異なるモデリング選択を記述したアドホックな手順に暗黙的に依存していることを示す。
素因に基づく分析はこれらの選択を明確にし、トークン化を実装の詳細として扱うべきだと我々は主張する。
論文 参考訳（メタデータ） (2026-04-30T17:33:58Z) - LOGICAL-COMMONSENSEQA: A Benchmark for Logical Commonsense Reasoning [6.8658995041250455]
LOGical-ComMONSENSEQAは、原子文の対上の論理的構成として常識推論を再編成する。
モデルが接続的かつ適度に解離的推論を行うのに対して,性能は否定的質問によって著しく低下することがわかった。
論文 参考訳（メタデータ） (2026-01-23T07:07:19Z) - Rational Inference in Formal Concept Analysis [0.4499833362998487]
定義可能な条件は非単調推論の形式である。
KLMフレームワークは、defeasible conditionalsという命題のセマンティクスを定義する。
論文 参考訳（メタデータ） (2025-04-07T20:15:20Z) - Learning Visual-Semantic Subspace Representations [49.17165360280794]
我々は,自己教師型学習に有効な情報理論の原理を基礎として,核ノルムに基づく損失関数を導入する。
この損失の理論的特徴として、クラス性の促進に加えて、部分空間格子内のデータのスペクトル幾何学を符号化していることを示す。
論文 参考訳（メタデータ） (2024-05-25T12:51:38Z) - Unsupervised Mapping of Arguments of Deverbal Nouns to Their
Corresponding Verbal Labels [52.940886615390106]
デバーバル名詞は英語の文章でよく使われる動詞で、出来事や行動やその議論を記述している。
名前付けされた構成の引数を扱うために存在する解決策は意味論的アノテーションに基づいている。
本稿では,より統語的アプローチを導入し,デバーバル名詞の議論を対応する動詞構成にマッピングする。
論文 参考訳（メタデータ） (2023-06-24T10:07:01Z) - Abductive Commonsense Reasoning Exploiting Mutually Exclusive
Explanations [118.0818807474809]
帰納的推論は、イベントのもっともらしい説明を見つけることを目的としている。
自然言語処理における帰納的推論のための既存のアプローチは、しばしば監督のために手動で生成されたアノテーションに依存している。
この研究は、ある文脈に対して、説明のサブセットのみが正しいという事実を活用する、帰納的コモンセンス推論のアプローチを提案する。
論文 参考訳（メタデータ） (2023-05-24T01:35:10Z) - Unifying different notions of quantum incompatibility into a strict
hierarchy of resource theories of communication [60.18814584837969]
我々は、POVM、チャネル、機器の非互換性の異なる概念を統一するq-compatibilityの概念を導入する。
我々は、情報理論資源の観点から、各非互換性の概念が何を構成しているかを正確に特定することができる。
論文 参考訳（メタデータ） (2022-11-16T21:33:31Z) - Rationale-Augmented Ensembles in Language Models [53.45015291520658]
我々は、数発のテキスト内学習のための合理化促進策を再考する。
我々は、出力空間における合理的サンプリングを、性能を確実に向上させるキーコンポーネントとして特定する。
有理拡張アンサンブルは既存のプロンプト手法よりも正確で解釈可能な結果が得られることを示す。
論文 参考訳（メタデータ） (2022-07-02T06:20:57Z) - Situated Conditional Reasoning [10.828616610785524]
本研究では,状況に基づく条件を一連の仮定で記述できることを示す。
次に、位置条件付き知識ベースに対するエンテーメントの形式を定義し、最小のクロージャ(minimum closure)と呼ぶ。
論文 参考訳（メタデータ） (2021-09-03T14:23:18Z) - A Conditional Splitting Framework for Efficient Constituency Parsing [14.548146390081778]
本稿では,選択性解析問題(シンタクティックおよび談話構文解析)を一連の条件分割決定に当てはめる,汎用的なSeq2seq解析フレームワークを提案する。
解析モデルでは,テキストスパンで可能な分割点の条件付き確率分布を推定し,効率的なトップダウンデコーディングをサポートする。
談話分析では, 談話セグメンテーションを解析の特別な事例として扱うことができる。
論文 参考訳（メタデータ） (2021-06-30T00:36:34Z) - A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
より弱い仮定として, 2$-adjacency faithfulness を提案します。
より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
論文 参考訳（メタデータ） (2020-10-27T13:04:08Z) - Constraint Monotonicity, Epistemic Splitting and Foundedness Could in
General Be Too Strong in Answer Set Programming [32.60523531309687]
主観的制約の単調性, てんかんの分裂, 起始性の概念は, それぞれ異なる解集合のセマンティクスを比較するために, 主観的基準として考察する。
本稿では, 一般には強すぎる場合があり, それぞれ, 所望の解集合を除外する場合があることを実例で示す。
論文 参考訳（メタデータ） (2020-10-01T04:03:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。