論文の概要: Aleatoric Description Logic for Probailistic Reasoning (Long Version)
- arxiv url: http://arxiv.org/abs/2108.13036v1
- Date: Mon, 30 Aug 2021 07:47:36 GMT
- ステータス: 処理完了
- システム内更新日: 2021-08-31 20:02:50.232060
- Title: Aleatoric Description Logic for Probailistic Reasoning (Long Version)
- Title(参考訳): 確率的推論のための Aleatoric Description Logic (Long Version)
- Authors: Tim French and Tom Smoker
- Abstract要約: Aleatoric description logic(英語版)は、エージェントがこれらのサイコロのバイアスについて主観的な信念を持つサイコロのロールによって、世界のアレータリックな出来事として不確実性をモデル化する。
これは主観的なベイズの記述論理を提供し、命題と関係は合理的なエージェントが何を賭けるかに応じて確率が割り当てられる。
いくつかの計算問題を考慮し、モデルチェックと整合性チェックアルゴリズムを提案する。
- 参考スコア(独自算出の注目度): 0.2538209532048866
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Description logics are a powerful tool for describing ontological knowledge
bases. That is, they give a factual account of the world in terms of
individuals, concepts and relations. In the presence of uncertainty, such
factual accounts are not feasible, and a subjective or epistemic approach is
required. Aleatoric description logic models uncertainty in the world as
aleatoric events, by the roll of the dice, where an agent has subjective
beliefs about the bias of these dice. This provides a subjective Bayesian
description logic, where propositions and relations are assigned probabilities
according to what a rational agent would bet, given a configuration of possible
individuals and dice. Aleatoric description logic is shown to generalise the
description logic ALC, and can be seen to describe a probability space of
interpretations of a restriction of ALC where all roles are functions. Several
computational problems are considered and model-checking and consistency
checking algorithms are presented. Finally, aleatoric description logic is
shown to be able to model learning, where agents are able to condition their
beliefs on the bias of dice according to observations.
- Abstract(参考訳): 記述論理は、存在論的知識基盤を記述する強力なツールである。
すなわち、彼らは個人、概念、関係の観点から世界の事実的な説明を与える。
不確実性が存在する場合、そのような事実的説明は実現不可能であり、主観的あるいは認識論的アプローチが必要である。
aleatoric description logicは、エージェントがこれらのdiceのバイアスに関して主観的な信念を持つサイコロのロールによって、世界の不確かさをaleatoric eventsとしてモデル化する。
これは主観的ベイズ記述論理(英語版)を提供し、命題と関係は有理エージェントが賭けるものに応じて割り当てられる確率であり、可能な個人とダイスの構成が与えられる。
アレータリック記述論理は記述論理 ALC を一般化するために示され、全ての役割が関数である ALC の制限の解釈の確率空間を記述することができる。
いくつかの計算問題を考慮し、モデルチェックと整合性チェックアルゴリズムを提案する。
最後に、アレータリック記述論理は、エージェントが観察に従ってサイコロのバイアスに基づいて自らの信念を条件付けできる学習をモデル化できることが示されている。
関連論文リスト
- Explaining Explanations in Probabilistic Logic Programming [0.0]
確率論的論理プログラミングは(知識表現のための)論理プログラミングと確率の組合せである。
この設定では、モデルは解釈可能であり、理解し易いと言うことができる。
本稿では,クエリ駆動推論機構の定義に基づく説明手法を提案する。
論文 参考訳(メタデータ) (2024-01-30T14:27:37Z) - A Simple Generative Model of Logical Reasoning and Statistical Learning [0.6853165736531939]
統計的学習と論理的推論は、AIの2つの主要な分野であり、人間のようなマシンインテリジェンスに統一されることが期待されている。
本稿では、論理的推論と統計的学習の単純なベイズモデルを提案する。
我々は、形式論理におけるその満足度の観点から、データがどのように象徴的知識を引き起こすかをモデル化する。
論文 参考訳(メタデータ) (2023-05-18T16:34:51Z) - 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) - Nested Counterfactual Identification from Arbitrary Surrogate
Experiments [95.48089725859298]
観測と実験の任意の組み合わせからネスト反事実の同定について検討した。
具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
論文 参考訳(メタデータ) (2021-07-07T12:51:04Z) - Paraconsistent Foundations for Probabilistic Reasoning, Programming and
Concept Formation [0.0]
4値のパラ一貫性真理値(ここでは「pビット」と呼ばれる)は、確率論的論理とプログラミングと概念形成の高度AI関連形式の概念的、数学的、実践的な基礎として機能する。
構成的双対(CD)論理に従って動作している4値のpビットの平均平均値と再正規化がPLN(Probabilistic Logic Networks)の強度と自信の真理値をもたらすことが示されている。
論文 参考訳(メタデータ) (2020-12-28T20:14:49Z) - Tractable Inference in Credal Sentential Decision Diagrams [116.6516175350871]
確率感性決定図は、解離ゲートの入力が確率値によってアノテートされる論理回路である。
我々は、局所確率を質量関数のクレーダル集合に置き換えることができる確率の一般化である、クレーダル感性決定図を開発する。
まず,ノイズの多い7セグメント表示画像に基づく簡単なアプリケーションについて検討する。
論文 参考訳(メタデータ) (2020-08-19T16:04:34Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳(メタデータ) (2020-08-06T02:13:11Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。