מושגי ליבה
真実性に関する形式論理の開発と探求に焦点を当てる。
תקציר
- 著者は「Veracity」という広く定義された概念に関する形式論理の初期段階を示す。
- 「Veracity」は情報が変化していないことを確認できる場合、つまり情報が一貫している保証がある場合に使用される。
- 真実性に関する概念を探求し、その意味を明確にするために、真実性を包括的かつ論理的な環境で形式化しようとしている。
- 著者は従来のアプローチではなく、新しい方法で真実性の側面を扱おうとしている。
導入
この論文では、「Veracity」の概念に対する形式論理の初期段階が示されています。情報が変化していないことを確認できる場合、つまり情報が一貫している保証がある場合に「Veracity」という用語が使用されます。
目的
- 真実性の概念を包括的かつ論理的な環境で探求し、その意味を明確にすること。
- 真実性全体またはその一部分(信頼性、真実性、証明可能性/検証可能性)を形式化し、それがどのように機能するかをより良く理解すること。
原子的真実性
- 一部の声明は即座の真実性を持ちます。これらは他人や他の情報源を経由せず直接生成されたものです。
ロジック考察
- 直感主義的な論理が適切であり、古典的な基盤やモダルロジックなどは失われた情報量が問題だからです。
- 情報保存や証言から始まり、原子的な主張から始めて徐々に非原子的主張へ進んでいます。
信頼関係
- 複数人物間で信頼関係や証言内容がどう組み合わさって影響するか。
- 異なるアクター間で異なる立場や意見があった場合、それらをどう取り扱うか。
סטטיסטיקה
このセンテンスは重要度指標やメトリクス等含んでおらず