論文の概要: A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)

• arxiv url: http://arxiv.org/abs/2411.10197v1
• Date: Fri, 15 Nov 2024 13:53:05 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-11-18 15:38:25.609325
• Title: A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024)
• Title（参考訳）: 不整合知識による推論の論理-現代用語を用いた改革(2024年)
• Authors: Nico Roos,
• Abstract要約: 本稿では,不整合知識を用いた推論の論理について述べる。 信頼関係は、相容れない仮定を選択するために用いられる。 矛盾が導出されない限り、その知識は一貫していると仮定される。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: In many situations humans have to reason with inconsistent knowledge. These inconsistencies may occur due to not fully reliable sources of information. In order to reason with inconsistent knowledge, it is not possible to view a set of premisses as absolute truths as is done in predicate logic. Viewing the set of premisses as a set of assumptions, however, it is possible to deduce useful conclusions from an inconsistent set of premisses. In this paper a logic for reasoning with inconsistent knowledge is described. This logic is a generalization of the work of N. Rescher [15]. In the logic a reliability relation is used to choose between incompatible assumptions. These choices are only made when a contradiction is derived. As long as no contradiction is derived, the knowledge is assumed to be consistent. This makes it possible to define an argumentation-based deduction process for the logic. For the logic a semantics based on the ideas of Y. Shoham [22, 23], is defined. It turns out that the semantics for the logic is a preferential semantics according to the definition S. Kraus, D. Lehmann and M. Magidor [12]. Therefore the logic is a logic of system P and possesses all the properties of an ideal non-monotonic logic.
• Abstract（参考訳）: 多くの場合、人間は無矛盾な知識で理屈を定めなければならない。 これらの矛盾は、完全に信頼できない情報ソースのために起こりうる。 矛盾した知識で推論するためには、述語論理でなされるような一連の前提を絶対的な真理と見なすことはできない。 しかし、前提条件の集合を仮定の集合と見なすと、矛盾しない前提条件の集合から有用な結論を導出することができる。 本稿では,矛盾した知識を推論する論理について述べる。 この論理は、N. Rescher [15] の業績の一般化である。 論理学において、信頼関係は非互換な仮定を選択するために用いられる。 これらの選択は矛盾が引き起こされるときにのみ行われる。 矛盾が導出されない限り、その知識は一貫していると仮定される。 これにより、論理の議論に基づく推論プロセスを定義することができる。 論理学では、Y. Shoham [22, 23]の考えに基づく意味論が定義される。 論理学のセマンティクスは、S. Kraus, D. Lehmann, M. Magidor [12] の定義に従って優先的なセマンティクスであることが判明した。 したがって、論理は系 P の論理であり、理想的非単調論理のすべての性質を持つ。

関連論文リスト

• G\"odel-Dummett linear temporal logic [0.0]
  命題の断片が G"odel-Dummett 論理である線形時間論理のバージョンについて検討する。 まず、文が実単位区間で真理の次数を持つ実数値意味論を2つの自然な意味論を用いて定義する。 これらの2つの意味論は、確かに1つの論理と同一の論理を定義する。 このG "odel temporal logic" は、これらの2つの意味論に対する有限モデルの性質のいかなる形式も持たない。
  論文  参考訳（メタデータ） (2023-06-27T21:19:52Z)
• MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
  複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。 推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。 この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
  論文  参考訳（メタデータ） (2022-10-22T16:01:13Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• On the Paradox of Learning to Reason from Data [86.13662838603761]
  BERTは,同じ問題空間上での他のデータ分布への一般化に失敗しながら,分布内テスト例に対してほぼ完全な精度が得られることを示す。 このパラドックスは、正しい推論関数をエミュレートする学習ではなく、論理的推論問題に本質的に存在する統計的特徴を実際に学習している。
  論文  参考訳（メタデータ） (2022-05-23T17:56:48Z)
• Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning [1.6916260027701393]
  本稿では,モーダル論理と順序算術を組み合わせた超有限モーダル論理を導入する。 我々は、超有限モーダル論理がベイズ的推論の本質をかなり明確で単純な形で捉えていることを示唆する。
  論文  参考訳（メタデータ） (2022-04-02T17:58:14Z)
• Logical Credal Networks [87.25387518070411]
  本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。 本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
  論文  参考訳（メタデータ） (2021-09-25T00:00:47Z)
• A natural deduction system for orthomodular logic [0.0]
  オルトモジュラ論理(オルトモジュラりょう、英: Orthomodular logic)は、バーコフとフォン・ノイマンの意味での量子論理の弱化である。 非線形非可換論理である。 これは述語論理の2つの系に拡張される: 1つはタケウティの量子集合論のための音、もう1つはウィーバーの量子論理の変種に対する音である。
  論文  参考訳（メタデータ） (2021-09-11T22:28:17Z)
• Uncertain Linear Logic via Fibring of Probabilistic and Fuzzy Logic [0.0]
  確率論理とファジィ論理は 2つの異なる仮定に対応します 証拠ベースが現在利用できない命題の組み合わせについて この2つの式は、線形論理における乗法および加法的作用素集合の自然な基底を与える。 資源の論理としての線形論理の概念」は、証拠の保存の原理を通じてここで証明される。
  論文  参考訳（メタデータ） (2020-09-28T00:19:42Z)
• 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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。