論文の概要: On abstract F-systems. A graph-theoretic model for paradoxes involving a
falsity predicate and its application to argumentation frameworks
- arxiv url: http://arxiv.org/abs/2005.07050v1
- Date: Thu, 14 May 2020 15:07:11 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-03 05:24:07.871968
- Title: On abstract F-systems. A graph-theoretic model for paradoxes involving a
falsity predicate and its application to argumentation frameworks
- Title(参考訳): 抽象f系について
虚偽述語を含むパラドックスのグラフ理論モデルとその議論フレームワークへの応用
- Authors: Gustavo A. Bodanza
- Abstract要約: F-システム(F-systems)は、他の文の虚偽を述語する文をモデル化できるダイグラフである。
本稿では,表現された文が表現される言語の特徴をすべて抽象化するF-systemsモデルを提案する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: F-systems are digraphs that enable to model sentences that predicate the
falsity of other sentences. Paradoxes like the Liar and Yablo's can be analyzed
with that tool to find graph-theoretic patterns. In this paper we present the
F-systems model abstracting from all the features of the language in which the
represented sentences are expressed. All that is assumed is the existence of
sentences and the binary relation '... affirms the falsity of ...' among them.
The possible existence of non-referential sentences is also considered. To
model the sets of all the sentences that can jointly be valued as true we
introduce the notion of conglomerate, the existence of which guarantees the
absence of paradox. Conglomerates also enable to characterize referential
contradictions, i.e. sentences that can only be false under a classical
valuation due to the interactions with other sentences in the model. A Kripke's
style fixed point characterization of groundedness is offered and fixed points
which are complete (meaning that every sentence is deemed either true or false)
and consistent (meaning that no sentence is deemed true and false) are put in
correspondence with conglomerates. Furthermore, argumentation frameworks are
special cases of F-systems. We show the relation between local conglomerates
and admissible sets of arguments and argue about the usefulness of the concept
for argumentation theory.
- Abstract(参考訳): f-systems は、他の文の虚偽を述語する文をモデル化できるダイアグラフである。
LiarやYabloのようなパラドックスは、そのツールを使ってグラフ理論パターンを見つけることができる。
本稿では,表現された文が表現される言語の特徴をすべて抽象化するF-systemsモデルを提案する。
前提となるのは文の存在であり、二項関係は「...の虚偽性」である。
非参照文の存在も考慮されている。
共に真と評価できる全ての文の集合をモデル化するために、コングロマリットの概念を導入し、その存在はパラドックスが存在しないことを保証します。
コングロマリットはまた、参照矛盾、すなわちモデル内の他の文との相互作用によって古典的評価の下でのみ偽になってしまう文を特徴付けることができる。
接地性を特徴づけるクリプケスタイルの不動点を提示し、完備な不動点(各文が真か偽かのどちらかと見なされる)と一貫性(無文が真か偽かのどちらかであることを意味する)をコングロマリットと対応させる。
さらに、議論フレームワークはFシステムの特別なケースである。
本稿では,局所コングロマリットと許容される議論集合の関係を示し,議論論における概念の有用性について論じる。
関連論文リスト
- A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳(メタデータ) (2023-07-28T11:26:26Z) - Neural models for Factual Inconsistency Classification with Explanations [17.214921274113284]
言語学における既存の作業を活用して、5種類の事実的矛盾を定義する。
我々はニューラルネットワークをトレーニングし、(定義、文脈)文ペアを与えられた説明で不整合型を予測する。
提案手法は,5つのクラスにまたがる不整合型分類において87%の重み付きF1を提供する。
論文 参考訳(メタデータ) (2023-06-15T06:06:50Z) - Interpretable Automatic Fine-grained Inconsistency Detection in Text
Summarization [56.94741578760294]
本研究の目的は, 要約中の事実誤りの微粒化を予測し, 微粒化不整合検出の課題を提案することである。
要約における現実的不整合の検査方法に触発され,解析可能な微粒不整合検出モデルであるFinGrainFactを提案する。
論文 参考訳(メタデータ) (2023-05-23T22:11:47Z) - Wigner and friends, a map is not the territory! Contextuality in
multi-agent paradoxes [0.0]
マルチエージェントシナリオは、非古典的形式主義がエージェント間の知識を扱う必要がある場合に矛盾する結果を示す。
知識が信頼の概念と関係して扱われても、矛盾する結果はマルチエージェントのシナリオでも見ることができる。
論文 参考訳(メタデータ) (2023-05-12T22:51:13Z) - The Possibility of Fairness: Revisiting the Impossibility Theorem in
Practice [5.175941513195566]
非互換な公正性制約を満たすようなモデルの大規模な集合を同定することは可能であることを示す。
私たちは、実践者が、いつ、そして、どのようにして、複数の基準に沿った公平性を達成できるかを理解するためのツールとガイダンスを提供します。
論文 参考訳(メタデータ) (2023-02-13T13:29:24Z) - Logical Satisfiability of Counterfactuals for Faithful Explanations in
NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。
これは、説明に表される論理述語に基づいて、反実仮説を生成する。
そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文 参考訳(メタデータ) (2022-05-25T03:40:59Z) - ProoFVer: Natural Logic Theorem Proving for Fact Verification [24.61301908217728]
本稿では,自然論理を用いた事実検証システムProoFVerを提案する。
証明の生成により、ProoFVerは説明可能なシステムになる。
証明により,人間がProoFVerの判断を正しくシミュレートできることが判明した。
論文 参考訳(メタデータ) (2021-08-25T17:23:04Z) - Probabilistic modelling of rational communication with conditionals [0.0]
条件に関する実用的推論には確率論的アプローチを採用する。
本モデルは,文献で検証された推論を一様に説明できることを示す。
論文 参考訳(メタデータ) (2021-05-12T08:21:25Z) - AmbiFC: Fact-Checking Ambiguous Claims with Evidence [57.7091560922174]
実世界の情報ニーズから10kクレームを抽出したファクトチェックデータセットであるAmbiFCを提示する。
アンビFCの証拠に対する主張を比較する際に,曖昧さから生じる不一致を分析した。
我々は,このあいまいさをソフトラベルで予測するモデルを開発した。
論文 参考訳(メタデータ) (2021-04-01T17:40:08Z) - Measuring Association Between Labels and Free-Text Rationales [60.58672852655487]
解釈可能なNLPでは、説明された例に対するモデルの意思決定プロセスを反映した忠実な理性が必要です。
情報抽出型タスクに対する忠実な抽出合理化のための既存のモデルであるパイプラインは、自由テキスト合理化を必要とするタスクに確実に拡張されないことを示す。
我々は、信頼が確立されていない自由文合理化のための、広く使われている高性能モデルのクラスである、共同予測と合理化のモデルに目を向ける。
論文 参考訳(メタデータ) (2020-10-24T03:40:56Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。