論文の概要: The logic behind desirable sets of things, and its filter representation
- arxiv url: http://arxiv.org/abs/2302.08176v3
- Date: Thu, 20 Jun 2024 07:02:58 GMT
- ステータス: 処理完了
- システム内更新日: 2024-06-22 09:10:16.315526
- Title: The logic behind desirable sets of things, and its filter representation
- Title(参考訳): 望ましい物の集合の背後にある論理とそのフィルタ表現
- Authors: Gert de Cooman, Arthur Van Camp, Jasper De Bock,
- Abstract要約: 所望(集合)のコヒーレントな集合の最近の理論の背後にある論理を同定し、コヒーレントなギャンブルの集合とコヒーレントな選択関数を一般化する。
この同定により、より単純なモデルを用いて、このようなコヒーレントなモデルに対する様々な表現結果が確立できることが示される。
- 参考スコア(独自算出の注目度): 0.13108652488669734
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We identify the (filter representation of the) logic behind the recent theory of coherent sets of desirable (sets of) things, which generalise coherent sets of desirable (sets of) gambles as well as coherent choice functions, and show that this identification allows us to establish various representation results for such coherent models in terms of simpler ones.
- Abstract(参考訳): 所望の(一組の)ギャンブルのコヒーレントな集合とコヒーレントな選択関数を一般化する、最近の望ましい(一組の)物事のコヒーレントな集合の理論の背後にある(フィルタの表現)論理を同定し、これらのコヒーレントなモデルに対して、より単純なものの観点から様々な表現結果を確立することができることを示す。
関連論文リスト
- A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。
チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
論文 参考訳(メタデータ) (2024-05-11T09:53:15Z) - Explaining Explanations in Probabilistic Logic Programming [0.0]
ほとんどのアプローチでは、システムはブラックボックスと見なされており、適切な説明を生成することは困難である。
確率論的論理プログラミング(PLP)は、知識表現のための論理プログラミングと不確実性をモデル化する確率を組み合わせたパラダイムである。
本稿では,証明に「選択表現」をラベル付けした PLP の新しいクエリ駆動推論機構の定義に基づく説明法を提案する。
論文 参考訳(メタデータ) (2024-01-30T14:27:37Z) - Invariant Causal Set Covering Machines [64.86459157191346]
決定木のようなルールベースのモデルは、解釈可能な性質のために実践者にアピールする。
しかし、そのようなモデルを生成する学習アルゴリズムは、しばしば刺激的な関連に弱いため、因果関係の洞察を抽出することが保証されていない。
Invariant Causal Set Covering Machines は、古典的集合被覆マシンアルゴリズムの拡張であり、二値ルールの結合/分離を可能とし、スプリアス関係を確実に回避する。
論文 参考訳(メタデータ) (2023-06-07T20:52:01Z) - The Transformation Logics [58.35574640378678]
表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。
重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。
表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
論文 参考訳(メタデータ) (2023-04-19T13:24:04Z) - Logical Credal Networks [87.25387518070411]
本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。
本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
論文 参考訳(メタデータ) (2021-09-25T00:00:47Z) - Rationales for Sequential Predictions [117.93025782838123]
シーケンスモデルは現代のNLPシステムにおいて重要な要素であるが、それらの予測は説明が難しい。
モデル説明は有理だが、個々のモデル予測を説明できる文脈のサブセットを考える。
この目的を近似する効率的なグリードアルゴリズムを提案する。
論文 参考訳(メタデータ) (2021-09-14T01:25:15Z) - Automated Mechanism Design for Classification with Partial Verification [64.69418921224529]
部分検証による自動機構設計の問題点について検討する。
私たちは、すべてのタイプが結果よりも同じ好みを共有する設定における真実のメカニズムに焦点を当てています。
論文 参考訳(メタデータ) (2021-04-12T03:29:31Z) - A conditional, a fuzzy and a probabilistic interpretation of
self-organising maps [0.0]
記述論理の優先意味論と自己組織化マップとのリンクを確立する。
本研究では,SOMの論理的解釈に概念的マルチプレファレンスセマンティクスが利用できることを示した。
論文 参考訳(メタデータ) (2021-03-11T18:31:00Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳(メタデータ) (2020-08-06T02:13:11Z) - Preference Elicitation in Assumption-Based Argumentation [3.0323642294813355]
我々は、仮定よりもどの選好が与えられた結論の集合につながるかを特定するために、標準的な推論問題の逆について考察する。
本稿では、所望の競合のない結論の集合が得られ得るシステム内の仮定よりも、可能なすべての選好集合を計算し、列挙するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2020-05-12T12:31:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。