論文の概要: Plausible Reasoning and First-Order Plausible Logic

• arxiv url: http://arxiv.org/abs/2604.19036v1
• Date: Tue, 21 Apr 2026 03:39:56 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-04-22 22:41:49.600745
• Title: Plausible Reasoning and First-Order Plausible Logic
• Title（参考訳）: 可塑性推論と一階可塑性論理
• Authors: David Billington,
• Abstract要約: もっともらしい推論は、数字を使わずに事実かデファシブルな文である文から結論を出す。 14の必須原則と3つの望ましい原則があり、そのうちの1つは公式には述べられていない。 PL(Plusible Logic)と呼ばれる一階述語論理は、望ましい原理と理由の2つを除いて全てを満たす。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Defeasible statements are statements that are likely, or probable, or usually true, but may occasionally be false. Plausible reasoning makes conclusions from statements that are either facts or defeasible statements without using numbers. So there are no probabilities or suchlike involved. Seventeen principles of logics that do plausible reasoning are suggested and several important plausible reasoning examples are considered. There are 14 necessary principles and 3 desirable principles, one of which is not formally stated. A first-order logic, called Plausible Logic (PL), is defined that satisfies all but two of the desirable principles and reasons correctly with all the examples. As far as we are aware, this is the only such logic. PL has 8 reasoning algorithms because, from a given plausible reasoning situation, there are different sensible conclusions. This article is a condensation of my book `Plausible Reasoning and Plausible Logic' (PRPL), which is to be submitted. Each section of this article corresponds to a chapter in PRPL, and vice versa. The proofs of all the results are in PRPL, so they are omitted in this article.
• Abstract（参考訳）: 定義可能なステートメントは、可能性、可能性、通常真であるが、時に偽であるかもしれないステートメントである。 もっともらしい推論は、数字を使わずに事実かデファシブルな文である文から結論を出す。 そのため、確率や関係性は存在しない。 論理学の17の原理が示唆され、いくつかの重要な論理学の例が考察されている。 14の必須原則と3つの望ましい原則があり、そのうちの1つは公式には述べられていない。 PL(Plusible Logic)と呼ばれる一階述語論理は、望ましい原則と理由の2つを除いて全てを満たす。 私たちが知っている限りでは、これが唯一の論理である。 PLには8つの推論アルゴリズムがある。 この記事は、私の著書『Plausible Reasoning and Plausible Logic』(PRPL)の要約である。 本項の各章はPRPLの章に対応しており、その逆である。 すべての結果の証明はPRPLに含まれており、この記事では省略されている。

関連論文リスト

• A Reduction of Input/Output Logics to SAT [51.82266520875928]
  デオン論理(Deontic logic)は、規範、義務、許可、禁止について推論するための形式主義である。 本稿では,I/O論理の自動化手法を提案する。
  論文  参考訳（メタデータ） (2025-08-22T09:22:26Z)
• Reasoning is about giving reasons [55.56111618153049]
  高い精度の3つの一般的な推論データセットにおいて、自然言語の引数の論理構造を同定し、抽出できることが示される。 我々のアプローチは、自然言語の引数の論理構造に依存するあらゆる推論形式をサポートする。
  論文  参考訳（メタデータ） (2025-08-20T07:26:53Z)
• Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework [117.6508659085231]
  本稿では論理完全推論フレームワークであるAristotleについて,論理解法,論理解法,論理解法,論理解法の3つの主要なコンポーネントを提案する。 本フレームワークでは,記号表現と論理規則を総合的に推論プロセスに統合する。 いくつかのデータセットの実験結果は、Aristotleが最先端の推論フレームワークを精度と効率の両方で一貫して上回っていることを示している。
  論文  参考訳（メタデータ） (2024-12-22T10:14:09Z)
• A logic for reasoning with inconsistent knowledge -- A reformulation using nowadays terminology (2024) [0.0]
  本稿では,不整合知識を用いた推論の論理について述べる。 信頼関係は、相容れない仮定を選択するために用いられる。 矛盾が導出されない限り、その知識は一貫していると仮定される。
  論文  参考訳（メタデータ） (2024-11-15T13:53:05Z)
• Certain and Uncertain Inference with Indicative Conditionals [0.3437656066916039]
  我々は、真理条件と自然言語条件の確率の3値意味論を開発する。 いずれのフレームワークにおける推論の3価表現と確率表現の体系的対応を示す。 その結果は、条件推論の妥当性を分析するために有益に適用できる条件のセマンティクスと指示の統一的な説明である。
  論文  参考訳（メタデータ） (2022-07-17T20:06:00Z)
• Abstract argumentation and answer set programming: two faces of Nelson's logic [7.513733974830771]
  論理プログラミングと抽象論証フレームワークの両方がネルソンの構成論理N4で解釈可能であることを示す。 我々は、この論理において、非矛盾推論(non-contradictory inference)と呼ばれる2つの原則を定式化し、閉世界仮定を強化する。
  論文  参考訳（メタデータ） (2022-03-27T22:18:44Z)
• Logical Credal Networks [87.25387518070411]
  本稿では,論理と確率を組み合わせた先行モデルの多くを一般化した表現的確率論的論理である論理的クレダルネットワークを紹介する。 本稿では,不確実性のあるマスターミンドゲームを解くこと,クレジットカード詐欺を検出することを含む,最大後部推論タスクの性能について検討する。
  論文  参考訳（メタデータ） (2021-09-25T00:00:47Z)
• 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)

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

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