論文の概要: SoK: Formal Methods for Fact-Checking and Information Integrity

• arxiv url: http://arxiv.org/abs/2609.23239v1
• Date: Sat, 19 Sep 2026 22:41:50 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-22 20:29:00.733301
• Title: SoK: Formal Methods for Fact-Checking and Information Integrity
• Title（参考訳）: SoK:Fact-Checkingと情報統合のための形式的手法
• Abstract要約: 自動ファクトチェックシステムはラベルを返す:クレームは真か偽か。 一般に欠けているのは、どの文書がこの問題を解決したかの記録である。 私たちは、行方不明のピースを令状と呼びます:何が保証されたのか、何が根拠になっているのか、という別の声明です。
• 参考スコア（独自算出の注目度）: 0.4871751655204744
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: An automated fact-checking system returns a label: the claim is true, or it is false. In many such systems the verdict remains the primary output. What is generally missing is a record of which document settled the question, of what would have had to be different for the verdict to change, or of whether the same claim, reworded, would have been judged the same way. We call the missing piece a warrant: a separate statement of what was guaranteed and on what grounds. Formal methods produce evidence of this kind, and regulation is beginning to ask for it, since the Digital Services Act and the AI Act both call for auditable evidence about how systems behave. Surveys of automated fact-checking are usually organised by pipeline stage, and treat logic as one technique among many. We organise the field by what is being formalised instead, which gives five levels: the claim, the reasoning, the system doing the checking, the ecosystem the claim spreads through, and the regulatory obligation. Sorting 121 works into those levels, two patterns stand out. Most of the relevant formal machinery already exists, but it was built for other domains and has rarely been applied here, and the gap is widest for verifying the checking system itself. Several stages of the routine professional fact-checkers follow also have no stated correctness criterion, and two of them, writing a claim in checkable form and correcting a verdict already published, are not formally specified in any work we coded. We close with open problems, each with a suggested first step.
• Abstract（参考訳）: 自動ファクトチェックシステムはラベルを返す:クレームは真か偽か。 多くのシステムでは、判定は主要な出力のままである。 一般的に欠けているのは、どの文書が、判決を変えるために何が異なるか、あるいは同じ主張が言い換えられた場合も同様に判断されたかという疑問を解決したかの記録である。 私たちは、行方不明のピースを令状と呼びます:何が保証されたのか、何が根拠になっているのか、という別の声明です。 デジタルサービス法(Digital Services Act)とAI法(AI Act)はどちらも、システムの振る舞いに関する監査可能な証拠を求めている。 自動ファクトチェックのサーベイは通常、パイプラインステージによって実施され、ロジックを多くの中のひとつのテクニックとして扱う。 その代わりに、請求書、推論、チェックを行うシステム、請求書が広がるエコシステム、規制義務という5つのレベルを与えます。 121はこれらのレベルに作用するが、2つのパターンが顕著である。 関連する形式機械のほとんどがすでに存在しているが、他のドメイン向けに構築されており、ここでは適用されることは稀であり、チェックシステム自体を検証するためのギャップは広くなっている。 通常のプロのファクトチェッカーのいくつかの段階も正当性基準を定めておらず、それらのうち2つの段階は、チェック可能な形式でクレームを書いて、既に公開された判断を訂正するものであり、私たちがコーディングしたいかなる作品でも公式には特定されていない。 私たちはオープンな問題に近づき、それぞれが提案された最初のステップで解決します。

関連論文リスト

• Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free [0.0]
  2026年5月、OpenAIモデルはアーズ単位距離予想に対する反例を生み出した。 同じ日に5人の数学者が人間による検証版を出版し、その結果は数週間以内に文献に載った。 2026年8月、同研究所は10の数学的および理論的コンピュータ科学結果を発表し、それぞれにマシンチェック可能なLean 4証明書を添付した。
  論文  参考訳（メタデータ） (2026-08-29T02:09:18Z)
• Grading the Graders: Verification Autonomy Levels (L0-L5) for LLM Reasoning [0.0]
  検証自律度(VAL, Verification Autonomy Levels)は,一つの軸に沿って任意の検証スキームを分類するメタスタンダードである。 VAL は L0 (LLM self-declaration; no deterministic anchor) から L2 (objective ground truth; correctness only) から L3 (decidable systems with single-property or domain-level completeness) まで様々である。 置換およびサンプリングに基づく検証は、提案された候補が保持されていることを確認できるが、候補が見逃されたことを証明できない。
  論文  参考訳（メタデータ） (2026-08-19T15:10:00Z)
• The Khipu Problem: Institutional Legibility Under Distributed Cognition [0.0]
  本稿では,分散AIにおけるkhipu問題について紹介する。 ログ、トレース、モデルバージョン、ツールコール、アウトプット、承認アーティファクトは引き続き利用可能であり、一方の一貫性のある認知エピソードの一部としてそれらを読む能力は失われる。 この失敗は、通常の可観測性の欠如よりも解釈的連続性の欠如として理解されていると我々は主張する。
  論文  参考訳（メタデータ） (2026-05-06T16:51:52Z)
• VEL: A Formally Verified Reasoner for OWL2 EL Profile [0.0]
  VEL はマシンチェック可能な正当性証明を備えた公式な EL++ 推論器である。 本研究は,理論および実装レベルでの正確性を確保するために,推論アルゴリズムの機械化の必要性を実証するものである。
  論文  参考訳（メタデータ） (2024-12-11T19:17:28Z)
• QACHECK: A Demonstration System for Question-Guided Multi-Hop Fact-Checking [68.06355980166053]
  本稿では,質問誘導型マルチホップFact-Checking(QACHECK)システムを提案する。 クレームの検証に批判的な一連の質問をすることで、モデルの推論プロセスを導く。 各質問を支持する証拠の源となり、透明で説明可能な、ユーザフレンドリーな事実チェックプロセスが育まれます。
  論文  参考訳（メタデータ） (2023-10-11T15:51:53Z)
• Give Me More Details: Improving Fact-Checking with Latent Retrieval [58.706972228039604]
  証拠は、自動化された事実チェックにおいて重要な役割を果たす。 既存のファクトチェックシステムは、エビデンス文が与えられたと仮定するか、検索エンジンが返した検索スニペットを使用する。 資料から得られた全文を証拠として組み込んで,2つの豊富なデータセットを導入することを提案する。
  論文  参考訳（メタデータ） (2023-05-25T15:01:19Z)
• GERE: Generative Evidence Retrieval for Fact Verification [57.78768817972026]
  本稿では,ジェネレーション方式で証拠を検索する最初のシステムであるGEREを提案する。 FEVERデータセットの実験結果は、GEREが最先端のベースラインよりも大幅に改善されていることを示している。
  論文  参考訳（メタデータ） (2022-04-12T03:49:35Z)
• Claim Check-Worthiness Detection as Positive Unlabelled Learning [53.24606510691877]
  クレームチェックの信頼性検出はファクトチェックシステムにおいて重要な要素である。 これらの課題の根底にあるクレームチェックの信頼性検出における中心的な課題を照明する。 我々の最良の手法は、正の非競合学習の変種を用いて、これを自動的に修正する統一的なアプローチである。
  論文  参考訳（メタデータ） (2020-03-05T16:06:07Z)

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

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