論文の概要: Reasoning with maximal consistent signatures
- arxiv url: http://arxiv.org/abs/2408.17190v1
- Date: Fri, 30 Aug 2024 10:43:14 GMT
- ステータス: 処理完了
- システム内更新日: 2024-09-02 15:38:25.324274
- Title: Reasoning with maximal consistent signatures
- Title(参考訳): 最大一貫したシグネチャによる推論
- Authors: Matthias Thimm, Jandson Santos Ribeiro Santos,
- Abstract要約: 本稿では,最大一貫したサブシグナチャを用いた不整合情報を用いた推論手法について論じる。
我々は、ヒットセットの双対性もそれらにも当てはまることを示す。
また、我々のアプローチと不整合測定と矛盾推論との関係についても検討する。
- 参考スコア(独自算出の注目度): 7.127829790714167
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: We analyse a specific instance of the general approach of reasoning based on forgetting by Lang and Marquis. More precisely, we discuss an approach for reasoning with inconsistent information using maximal consistent subsignatures, where a maximal consistent subsignature is a maximal set of propositions such that forgetting the remaining propositions restores consistency. We analyse maximal consistent subsignatures and the corresponding minimal inconsistent subsignatures in-depth and show, among others, that the hitting set duality applies for them as well. We further analyse inference relations based on maximal consistent subsignatures wrt. rationality postulates from non-monotonic reasoning and computational complexity. We also consider the relationship of our approach with inconsistency measurement and paraconsistent reasoning.
- Abstract(参考訳): 我々は、ラングとマルキースの忘れ物に基づく推論の一般的なアプローチの特定の例を分析する。
より正確には、最大一貫したサブシグナチャを最大一貫したサブシグナチャを最大一貫した命題の集合とし、残余命題を忘れることが整合性を取り戻すという矛盾した情報を用いた推論のアプローチについて議論する。
最大整合部分符号とそれに対応する最小整合部分符号を詳細に解析し、ヒットセット双対性もそれらに適用可能であることを示す。
さらに、最大一貫した部分符号 wrt に基づいて推論関係を解析する。
合理性は非単調な推論と計算複雑性から仮定される。
また、我々のアプローチと不整合測定と矛盾推論との関係についても検討する。
関連論文リスト
- An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods [3.670919236694521]
不整合指数は、すべてのペア比較行列(PCM)を実数にマッピングする関数である。
不整合指数は、適切な性質の集合を満たすとき、より信頼できるものとみなすことができる。
論文 参考訳(メタデータ) (2024-08-23T16:20:09Z) - A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。
チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
論文 参考訳(メタデータ) (2024-05-11T09:53:15Z) - An Embedding-based Approach to Inconsistency-tolerant Reasoning with
Inconsistent Ontologies [12.760301272393898]
本稿では,公理の埋め込みに基づく一貫性のない意味論による推論手法を提案する。
組込みに基づく手法は、最大一貫した部分集合に基づく既存の矛盾耐性推論手法よりも優れていることを示す。
論文 参考訳(メタデータ) (2023-04-04T09:38:02Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - Maieutic Prompting: Logically Consistent Reasoning with Recursive
Explanations [71.2950434944196]
ノイズや一貫性のない言語モデルでさえも問題に対する正しい答えを推測するMaieutic Promptingを開発する。
Maieutic Promptingは最先端のプロンプト法よりも最大20%精度が高い。
論文 参考訳(メタデータ) (2022-05-24T06:36:42Z) - Optimal variance-reduced stochastic approximation in Banach spaces [114.8734960258221]
可分バナッハ空間上で定義された収縮作用素の定点を推定する問題について検討する。
演算子欠陥と推定誤差の両方に対して漸近的でない境界を確立する。
論文 参考訳(メタデータ) (2022-01-21T02:46:57Z) - Navigating to the Best Policy in Markov Decision Processes [68.8204255655161]
マルコフ決定過程における純粋探索問題について検討する。
エージェントはアクションを逐次選択し、結果のシステム軌道から可能な限り早くベストを目標とする。
論文 参考訳(メタデータ) (2021-06-05T09:16:28Z) - Dive into Ambiguity: Latent Distribution Mining and Pairwise Uncertainty
Estimation for Facial Expression Recognition [59.52434325897716]
DMUE(DMUE)という,アノテーションのあいまいさを2つの視点から解決するソリューションを提案する。
前者に対しては,ラベル空間における潜伏分布をよりよく記述するために,補助的マルチブランチ学習フレームワークを導入する。
後者の場合、インスタンス間の意味的特徴のペアワイズ関係を完全に活用して、インスタンス空間のあいまいさの程度を推定する。
論文 参考訳(メタデータ) (2021-04-01T03:21:57Z) - Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics [2.627046865670577]
シーケント型証明システムにおいて、最小の矛盾に基づく非単調パラ一貫性論理の族に対する一様公理を導入する。
パラドックスの3値最小矛盾論理と、アリエリとアヴロンによる4値パラドックス推論関係について、シークエント型計算を提供する。
論文 参考訳(メタデータ) (2020-09-22T00:49:52Z) - Algebraic Approach to Directed Rough Sets [0.0]
一般粗集合へのリレーショナルアプローチでは、有向関係の考えは追加条件で補足される。
この関係は、上向き、反射的、反対称な一般部分群の表現にも特化している。
論文 参考訳(メタデータ) (2020-04-25T15:39:14Z) - Invariant Rationalization [84.1861516092232]
典型的な合理化基準、すなわち最大相互情報(MMI)は、合理性のみに基づいて予測性能を最大化する合理性を見つける。
ゲーム理論の不変な有理化基準を導入し、各環境において同じ予測器を最適にするために、有理を制約する。
理論的にも実証的にも、提案された理性は、素早い相関を除外し、異なるテストシナリオをより一般化し、人間の判断とよく一致させることができることを示す。
論文 参考訳(メタデータ) (2020-03-22T00:50:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。