論文の概要: An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
- arxiv url: http://arxiv.org/abs/2412.13712v1
- Date: Wed, 18 Dec 2024 10:52:57 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-12-19 13:23:25.996581
- Title: An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
- Title(参考訳): 条件独立の代数的表記法とその知識表現への応用(フルバージョン)
- Authors: Jesse Heyninck,
- Abstract要約: 条件独立の概念は近似不動点理論の枠組みで研究される。
これにより言語に依存しない条件独立性の説明が提供され、固定点意味論を持つあらゆるロジックに簡単に適用できる。
- 参考スコア(独自算出の注目度): 6.983702226751596
- License:
- Abstract: Conditional independence is a crucial concept supporting adequate modelling and efficient reasoning in probabilistics. In knowledge representation, the idea of conditional independence has also been introduced for specific formalisms, such as propositional logic and belief revision. In this paper, the notion of conditional independence is studied in the algebraic framework of approximation fixpoint theory. This gives a language-independent account of conditional independence that can be straightforwardly applied to any logic with fixpoint semantics. It is shown how this notion allows to reduce global reasoning to parallel instances of local reasoning, leading to fixed-parameter tractability results. Furthermore, relations to existing notions of conditional independence are discussed and the framework is applied to normal logic programming.
- Abstract(参考訳): 条件付き独立は確率論における適切なモデリングと効率的な推論を支援する重要な概念である。
知識表現においては、命題論理や信念修正のような特定の形式主義にも条件独立の概念が導入された。
本稿では、近似不動点理論の代数的枠組みにおいて条件独立の概念を研究する。
これにより言語に依存しない条件独立性の説明が提供され、固定点意味論を持つあらゆるロジックに簡単に適用できる。
この概念は、局所的推論の並列インスタンスに対する大域的推論を減らし、固定パラメータのトラクタビリティーの結果をもたらすことを示す。
さらに、既存の条件独立の概念との関係について論じ、その枠組みを正規論理プログラミングに適用する。
関連論文リスト
- The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。
NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。
本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文 参考訳(メタデータ) (2024-07-16T11:12:28Z) - 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) - Uncovering Meanings of Embeddings via Partial Orthogonality [29.190972879474526]
機械学習ツールは、しばしば実数のベクトルとしてテキストを埋め込むことに依存している。
このような埋め込みの代数構造において,言語の意味構造がどのように符号化されているかを検討する。
論文 参考訳(メタデータ) (2023-10-26T17:34:32Z) - On the Independencies Hidden in the Structure of a Probabilistic Logic
Program [0.0]
非巡回基底論理プログラムにおけるd-セパレーションの条件依存性を計算する。
本稿では,ある条件付き独立文がプログラム構造によって暗示されるか否かを判断する,正しいメタ解釈手法を提案する。
論文 参考訳(メタデータ) (2023-08-30T08:55:55Z) - Generative Logic with Time: Beyond Logical Consistency and Statistical
Possibility [0.6853165736531939]
本稿では,データから記号的知識を生成する時間確率モデルを提案する。
モデルの正しさは、コルモゴロフの公理、フェンシュタットの定理、最大推定値との整合性の観点から正当化される。
論文 参考訳(メタデータ) (2023-01-20T10:55:49Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。
本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文 参考訳(メタデータ) (2021-09-25T00:00:47Z) - Transitional Conditional Independence [0.0]
遷移確率空間と遷移確率変数を紹介する。
これらの構造は(条件付き)ランダム変数と非確率変数の概念を一般化し、強化し、以前の概念である。
論文 参考訳(メタデータ) (2021-04-23T11:52:15Z) - Measuring Association Between Labels and Free-Text Rationales [60.58672852655487]
解釈可能なNLPでは、説明された例に対するモデルの意思決定プロセスを反映した忠実な理性が必要です。
情報抽出型タスクに対する忠実な抽出合理化のための既存のモデルであるパイプラインは、自由テキスト合理化を必要とするタスクに確実に拡張されないことを示す。
我々は、信頼が確立されていない自由文合理化のための、広く使われている高性能モデルのクラスである、共同予測と合理化のモデルに目を向ける。
論文 参考訳(メタデータ) (2020-10-24T03:40:56Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。