Fugu-MT 論文翻訳(概要): A Logic for Veracity

論文の概要: A Logic for Veracity

arxiv url: http://arxiv.org/abs/2302.06164v4
Date: Sun, 17 Mar 2024 23:34:10 GMT
ステータス: 処理完了
システム内更新日: 2024-03-20 06:48:15.863450
Title: A Logic for Veracity
Title（参考訳）: 正確性のための論理
Authors: Steve Reeves,
Abstract要約: 本稿は、形式論理の第一原理から特徴付けに至るまでの開発の初期段階を示し、その上で、広範囲に定義されたVeracityの考え方で問題を探求する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by-nc-sa/4.0/
Abstract: This paper shows the initial stages of development, from first principles, of a formal logic to characterise and then explore issues in a broadly defined idea of Veracity, which includes properties of demonstrability, truth, trust and authenticity.
Abstract（参考訳）: 本稿は,形式論理の第一原理から特徴づけに至るまでの開発の初期段階を,実証可能性,真理,信頼,真正性といった特性を含む,広く定義された正当性の概念で考察する。

関連論文リスト

The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
トークン化は、NLPパイプラインにおける重要なステップである。 NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
論文参考訳（メタデータ） (2024-07-16T11:12:28Z)
A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文参考訳（メタデータ） (2024-05-10T14:13:21Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
Strengthening Consistency Results in Modal Logic [0.0]
モーダル論理における根本的な問題は、与えられた理論が一貫性はあるが、何と一貫性があるのかである。この問題に対処する典型的な方法は、背景知識公理の選択(例えば、S4、Dなど)を特定し、その背景公理と整合性のある理論によって導かれた仮定を示す。本稿では、より堅牢な方法で整合性に対処するための命題モーダル論理の一般的な理論を紹介する。
論文参考訳（メタデータ） (2023-07-11T07:05:37Z)
Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。これは、説明に表される論理述語に基づいて、反実仮説を生成する。そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文参考訳（メタデータ） (2022-05-25T03:40:59Z)
Causal Inference Principles for Reasoning about Commonsense Causality [93.19149325083968]
コモンセンス因果推論(Commonsense causality reasoning)は、平均的な人によって妥当と見なされる自然言語記述における妥当な原因と影響を特定することを目的としている。既存の作業は通常、深い言語モデルに全面的に依存しており、共起を混同する可能性がある。古典的因果原理に触発され,我々はCCRの中心的問題を明確にし,観察研究と自然言語における人間の対象間の類似性を引き出す。本稿では,時間信号をインシデント・インシデント・インシデント・インシデント・インシデントとして活用する新しいフレームワークであるROCKをReason O(A)bout Commonsense K(C)ausalityに提案する。
論文参考訳（メタデータ） (2022-01-31T06:12:39Z)
A Qualitative Theory of Cognitive Attitudes and their Change [8.417971913040066]
定性的決定理論の様々な関連概念を表現できることを示した。また、選択の概念による論理の拡張と、信念変化と欲望変化のための動的作用素による拡張の2つを提示する。
論文参考訳（メタデータ） (2021-02-16T10:28:49Z)
Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文参考訳（メタデータ） (2020-06-23T16:55:45Z)
On the Existence of Characterization Logics and Fundamental Properties of Argumentation Semantics [12.449917754699692]
特定の目的のために最も適切な論理形式を選ぶことは最も重要である。この論文では、キャラクタリゼーション論理の存在と、存在と一意性、表現可能性、置換可能性、検証可能性といった特性について考察する。
論文参考訳（メタデータ） (2020-03-02T11:18:30Z)

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