論文の概要: Inference with System W Satisfies Syntax Splitting
- arxiv url: http://arxiv.org/abs/2202.05511v1
- Date: Fri, 11 Feb 2022 08:59:41 GMT
- ステータス: 処理完了
- システム内更新日: 2022-02-14 15:17:18.700124
- Title: Inference with System W Satisfies Syntax Splitting
- Title（参考訳）: System W Satisfies Syntax Splitting による推論
- Authors: Jonas Haldimann, Christoph Beierle
- Abstract要約: システムWは、システムZとc-推論をキャプチャし、適切に拡張する非単調推論のための推論システムである。
システムWは、帰納的推論演算子に対する構文分割を補足し、関係性と独立性の要求特性を満たすことを示す。
- 参考スコア（独自算出の注目度）: 3.42658286826597
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In this paper, we investigate inductive inference with system W from
conditional belief bases with respect to syntax splitting. The concept of
syntax splitting for inductive inference states that inferences about
independent parts of the signature should not affect each other. This was
captured in work by Kern-Isberner, Beierle, and Brewka in the form of
postulates for inductive inference operators expressing syntax splitting as a
combination of relevance and independence; it was also shown that c-inference
fulfils syntax splitting, while system P inference and system Z both fail to
satisfy it. System W is a recently introduced inference system for nonmonotonic
reasoning that captures and properly extends system Z as well as c-inference.
We show that system W fulfils the syntax splitting postulates for inductive
inference operators by showing that it satisfies the required properties of
relevance and independence. This makes system W another inference operator
besides c-inference that fully complies with syntax splitting, while in
contrast to c-inference, also extending rational closure.
- Abstract（参考訳）: 本稿では,構文分割に関する条件的信念に基づくシステムWの帰納的推論について検討する。
帰納的推論のための構文分割の概念は、署名の独立した部分に関する推論は互いに影響しないことを述べている。
これはkern-isberner氏、beierle氏、brewka氏によって、関係性と独立性の組合せとして構文分割を表現する帰納的推論演算子のための仮定として捉えられた。
system wは、最近導入された非単調推論のための推論システムであり、c参照と同様にシステムzをキャプチャして適切に拡張する。
システムWは、帰納的推論演算子に対する構文分割を補足し、関係性と独立性の要求特性を満たすことを示す。
これにより、システムwは構文分割に完全準拠するc参照以外の別の推論演算子となり、c参照とは対照的に有理閉包も拡張される。
関連論文リスト
- On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version) [1.024113475677323]
本研究は,暗号シナリオにおける計算独立性について考察する。
分離論理のセマンティクスは,複雑性に縛られた敵を考慮に入れれば適用可能であることを示す。
注目すべきは、これは独立性と疑似ランダム性の間の実りある相互作用を可能にすることだ。
論文 参考訳（メタデータ） (2024-05-20T12:39:28Z) - A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳（メタデータ） (2024-05-10T14:13:21Z) - Inferentialist Resource Semantics [48.65926948745294]
本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。
推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。
この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
論文 参考訳（メタデータ） (2024-02-14T14:54:36Z) - A Theory of Unsupervised Speech Recognition [60.12287608968879]
教師なし音声認識(英語: Unsupervised speech Recognition, ASR-U)は、音声のみの音声とテキストのみのコーパスから自動音声認識システムを学習する問題である。
本稿では,ランダム行列理論とニューラル・タンジェント・カーネルの理論に基づいて,ASR-U系の特性を研究するための一般的な理論的枠組みを提案する。
論文 参考訳（メタデータ） (2023-06-09T08:12:27Z) - Certain and Uncertain Inference with Indicative Conditionals [0.3437656066916039]
我々は、真理条件と自然言語条件の確率の3値意味論を開発する。
いずれのフレームワークにおける推論の3価表現と確率表現の体系的対応を示す。
その結果は、条件推論の妥当性を分析するために有益に適用できる条件のセマンティクスと指示の統一的な説明である。
論文 参考訳（メタデータ） (2022-07-17T20:06:00Z) - Dive into Ambiguity: Latent Distribution Mining and Pairwise Uncertainty
Estimation for Facial Expression Recognition [59.52434325897716]
DMUE(DMUE)という,アノテーションのあいまいさを2つの視点から解決するソリューションを提案する。
前者に対しては,ラベル空間における潜伏分布をよりよく記述するために,補助的マルチブランチ学習フレームワークを導入する。
後者の場合、インスタンス間の意味的特徴のペアワイズ関係を完全に活用して、インスタンス空間のあいまいさの程度を推定する。
論文 参考訳（メタデータ） (2021-04-01T03:21:57Z) - Comment on "Strong Quantum Darwinism and Strong Independence are
Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。
我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
論文 参考訳（メタデータ） (2021-01-21T16:06:25Z) - Nonmonotonic Inferences with Qualitative Conditionals based on Preferred
Structures on Worlds [3.42658286826597]
我々は、R の条件式を用いて、世界における好意的な構造関係を導入する。
システムWは,システムPを満たすこと,回避することなどの望ましい推論特性を示す。
懐疑的なc-推論とは対照的に、複雑な制約満足度問題を解く必要はないが、システム Z と同じくらいに難解である。
論文 参考訳（メタデータ） (2020-05-26T13:32:00Z) - Logical Inferences with Comparatives and Generalized Quantifiers [18.58482811176484]
自然言語推論タスクでは,比較のための論理推論システムが十分に開発されていない。
英語の様々な比較構成をカテゴリー文法(CCG)を通して意味表現にマッピングする構成意味論を提案する。
このシステムは,最近のディープラーニングモデルと同様に,従来の論理ベースのシステムよりも優れていることを示す。
論文 参考訳（メタデータ） (2020-05-16T11:11:48Z) - Semantics-Aware Inferential Network for Natural Language Understanding [79.70497178043368]
このようなモチベーションを満たすために,セマンティックス対応推論ネットワーク(SAIN)を提案する。
SAINの推論モジュールは、明示的な文脈的セマンティクスを補完的な入力として、セマンティクス上の一連の推論ステップを可能にする。
本モデルでは,機械読解や自然言語推論など11タスクの大幅な改善を実現している。
論文 参考訳（メタデータ） (2020-04-28T07:24:43Z) - Putting a Spin on Language: A Quantum Interpretation of Unary
Connectives for Linguistic Applications [0.0]
ランベック・カルキュラスは構造規則の制御を許すために一様法則に依存している。
FVect と線型写像のコンパクト閉圏におけるランベック計算の合成解釈の提案がなされている。
我々の目標は、モダリティをベクトル解釈の第一級市民にすることである。
論文 参考訳（メタデータ） (2020-04-08T17:25:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。