論文の概要: Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics

• arxiv url: http://arxiv.org/abs/2209.13082v1
• Date: Tue, 27 Sep 2022 00:16:05 GMT
• ステータス: 翻訳完了
• システム内更新日: 2022-09-28 16:26:38.223675
• Title: Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics
• Title（参考訳）: 静的知識対動的議論:クリプキ意味論に基づく二重理論
• Authors: Xinyu Wang, Momoka Fujieda
• Abstract要約: 我々は知識は本質的に動的であり、マクスウェルの悪魔や有名な証明である「知識は力である」との特定のつながりを引き出すと論じている。 我々は知識は本質的に動的であるという哲学的理論を提案し、マクスウェルの悪魔と「知識は力である」というよく知られた証明とのある関係を描いている。
• 参考スコア（独自算出の注目度）: 1.6916260027701393
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This paper establishes a dual theory about knowledge and argumentation. Our idea is rooted at both epistemic logic and argumentation theory, and we aim to merge these two fields, not just in a superficial way but to thoroughly disclose the intrinsic relevance between knowledge and argumentation. Specifically, we define epistemic Kripke models and argument Kripke models as a dual pair, and then work out a two-way generation method between these two types of Kripke models. Such generation is rigorously justified by a duality theorem on modal formulae's invariance. We also provide realistic examples to demonstrate our generation, through which our framework's practical utility gets strongly advocated. We finally propose a philosophical thesis that knowledge is essentially dynamic, and we draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power".
• Abstract（参考訳）: 本稿では,知識と議論に関する二重理論を確立する。 我々の考えは、認識論理と議論理論の両方に根ざしており、表面的なだけでなく、知識と議論の本質的な関連性を徹底的に明らかにすることを目的としている。 具体的には,認識型クリプケモデルと引数クリプケモデルを双対として定義し,これら2種類のクリプケモデル間の双方向生成法を考案する。 このような生成は、モーダル公式の不変性に関する双対性定理によって厳密に正当化される。 我々はまた、我々のフレームワークの実用性が強く主張される、我々の世代を実例で示す。 最後に、知識は本質的に動的であるという哲学的な論文を提案し、マクスウェルの悪魔と、よく知られた「知識は力である」という証明との関係を描き出す。

関連論文リスト

• Realism and Ontology in Quantum Mechanics and String Theory [0.0]
  物理学の二重性は科学リアリズムの伝統的な形式に挑戦してきた。 オントロジ的コミットメントは、特定の経験的文脈に結びつくものとして扱われるべきである、と我々は主張する。 我々は、構造的リアリズムの頑健な形態を維持しながら、存在論的多元主義をどのように扱うかを示す。
  論文  参考訳（メタデータ） (2025-12-18T23:31:13Z)
• An Epistemic Perspective on Agent Awareness [61.364879462585186]
  本稿では,エージェント認知を知識の一形態として扱うことを提案する。 この研究は、これらの形態を捉える2つのモダリティを導入し、その意味を2Dセマンティックスのバージョンを使って公式に特定する。
  論文  参考訳（メタデータ） (2025-11-08T11:50:25Z)
• Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model [64.31242163019242]
  帰納的推論と帰納的推論は知識グラフを解析するための重要なパラダイムである。 DARKと呼ばれる知識グラフにおける帰納的・帰納的推論のための統一的なフレームワークを提案する。 DARKは, 帰納的推論タスクと帰納的推論タスクの両方において, 最先端のパフォーマンスを実現する。
  論文  参考訳（メタデータ） (2025-10-13T14:34:57Z)
• If you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics [8.34369101796875]
  我々は「識別力」という関連する概念を結合する基本定理を提供する。 我々は、これらの定理が現れる機械学習とデータサイエンスの文脈について論じ、より一般的には、パワーの区別と表現力の関係のテーマが現れる。
  論文  参考訳（メタデータ） (2025-10-10T22:26:57Z)
• Interpretability Needs a New Paradigm [49.134097841837715]
  解釈可能性(英: Interpretability)とは、人間に理解可能な言葉でモデルを説明する研究である。 この議論の核心は、それぞれのパラダイムがその説明が忠実である、すなわちモデルの振舞いに忠実であることをいかに保証するかである。 この論文の立場は、信仰を警戒しながら新しいパラダイムを考えるべきだというものである。
  論文  参考訳（メタデータ） (2024-05-08T19:31:06Z)
• Conceptual and Unbiased Reasoning in Language Models [98.90677711523645]
  本稿では,抽象的質問に対する概念的推論をモデルに強制する,新しい概念化フレームワークを提案する。 既存の大規模言語モデルは概念的推論では不足しており、様々なベンチマークでは9%から28%に低下している。 ハイレベルな抽象的推論が不偏で一般化可能な意思決定の鍵となるので、モデルがどのように改善できるかについて議論する。
  論文  参考訳（メタデータ） (2024-03-30T00:53:53Z)
• Learning Interpretable Concepts: Unifying Causal Representation Learning and Foundation Models [51.43538150982291]
  人間の解釈可能な概念をデータから学習する方法を研究する。 両分野からアイデアをまとめ、多様なデータから概念を確実に回収できることを示す。
  論文  参考訳（メタデータ） (2024-02-14T15:23:59Z)
• Crystal: Introspective Reasoners Reinforced with Self-Feedback [118.53428015478957]
  本稿では,イントロスペクティブ・コモンセンス推論器であるCrystalを開発するための新しい手法を提案する。 コモンセンス問題に対処するため、まず与えられた質問に関連する知識ステートメントのイントロスペクションを行い、その後、それまでのイントロスペクションされた知識に根ざした情報予測を行う。 実験により、クリスタルは標準的な微調整法と連鎖蒸留法の両方で著しく優れており、コモンセンス推論プロセスの透明性を高めていることが示された。
  論文  参考訳（メタデータ） (2023-10-07T21:23:58Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• Dual Box Embeddings for the Description Logic EL++ [16.70961576041243]
  知識グラフ(KG)と同様に、知識グラフはしばしば不完全であり、それらの維持と構築は困難であることが証明された。 KGsと同様に、有望なアプローチは、潜在ベクトル空間への埋め込みを学習し、基礎となるDLのセマンティクスに固執することである。 そこで本研究では,概念と役割をボックスとして表現した,DL EL++用のBox$2$ELという新しいオントロジー埋め込み手法を提案する。
  論文  参考訳（メタデータ） (2023-01-26T14:13:37Z)
• Towards Unifying Perceptual Reasoning and Logical Reasoning [0.6853165736531939]
  論理学の最近の研究は、論理的推論をベイズ的推論として提示している。 モデルが知覚システムと論理システムに共通する2つの本質的なプロセスを統合することを示す。
  論文  参考訳（メタデータ） (2022-06-27T10:32:47Z)
• Truth and Subjunctive Theories of Knowledge: No Luck? [0.0]
  本論文は、クリプケの真理論を反ラックの意味論、すなわち知識の分節論に応用することを検討する。 論文は、クリプケの真理の理論は、知識の従属理論の枠組みでうまく適用できることを示しています。
  論文  参考訳（メタデータ） (2021-03-24T16:40:42Z)
• A Qualitative Theory of Cognitive Attitudes and their Change [8.417971913040066]
  定性的決定理論の様々な関連概念を表現できることを示した。 また、選択の概念による論理の拡張と、信念変化と欲望変化のための動的作用素による拡張の2つを提示する。
  論文  参考訳（メタデータ） (2021-02-16T10:28:49Z)
• Social Commonsense Reasoning with Multi-Head Knowledge Attention [24.70946979449572]
  社会的コモンセンス推論には、テキストの理解、社会イベントに関する知識、その実践的な意味、およびコモンセンス推論スキルが必要である。 本稿では,半構造化コモンセンス推論規則を符号化し,それをトランスフォーマーベースの推論セルに組み込むことを学習する,新しいマルチヘッド知識アテンションモデルを提案する。
  論文  参考訳（メタデータ） (2020-10-12T10:24:40Z)
• Language Generation with Multi-Hop Reasoning on Commonsense Knowledge Graph [124.45799297285083]
  知識グラフの構造的情報と意味的情報の両方を活用することで、コモンセンスを意識したテキスト生成が促進されると主張している。 本稿では,外部コモンセンス知識グラフから抽出したマルチリレーショナルパスに基づいて,動的マルチホップ推論を用いた事前学習モデルを実現するマルチホップ推論フロー(GRF)の生成を提案する。
  論文  参考訳（メタデータ） (2020-09-24T13:55:32Z)

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

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