論文の概要: Belief, knowledge and evidence

• arxiv url: http://arxiv.org/abs/2304.01283v1
• Date: Mon, 3 Apr 2023 18:20:02 GMT
• ステータス: 処理完了
• システム内更新日: 2023-04-05 16:44:54.557279
• Title: Belief, knowledge and evidence
• Title（参考訳）: 信仰・知識・証拠
• Authors: Steffen Lewitzka and Vin\'icius Pinto
• Abstract要約: 我々は、よく知られた信念と知識の古典的概念とエビデンスの概念を組み合わせた論理体系を提案する。 ここでは,観念と知識がアクセシビリティ・リレーションを通じてモデル化されるのではなく,命題の集合として直接モデル化されるような,関係性のあるフレームベースのセマンティクスを提案する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We present a logical system that combines the well-known classical epistemic concepts of belief and knowledge with a concept of evidence such that the intuitive principle \textit{`evidence yields belief and knowledge'} is satisfied. Our approach relies on previous works of the first author \cite{lewjlc2, lewigpl, lewapal} who introduced a modal system containing $S5$-style principles for the reasoning about intutionistic truth (i.e. \textit{proof}) and, inspired by \cite{artpro}, combined that system with concepts of \textit{intuitionistic} belief and knowledge. We consider that combined system and replace the constructive concept of \textit{proof} with a classical notion of \textit{evidence}. This results in a logic that combines modal system $S5$ with classical epistemic principles where $\square\varphi$ reads as `$\varphi$ is evident' in an epistemic sense. Inspired by \cite{lewapal}, and in contrast to the usual possible worlds semantics found in the literature, we propose here a relational, frame-based semantics where belief and knowledge are not modeled via accessibility relations but directly as sets of propositions (sets of sets of worlds).
• Abstract（参考訳）: 本稿では,信念と知識というよく知られた古典的認識論的概念と,直感的原理 \textit{`evidences belief and knowledge'} が満たされる証拠の概念を組み合わせた論理体系を提案する。 我々のアプローチは、最初の著者である『lecite{lewjlc2, lewigpl, lewapal}』の以前の著作に依拠しており、直観主義的真理(すなわち『textit{proof}』)の推論のためのS5$スタイルの原理と、その体系を『textit{intuitionistic}』の信念と知識の概念と組み合わせたものである。 我々は、この組み合わせシステムを考慮し、構築的概念である \textit{proof} を、古典的な概念である \textit{evidence} に置き換える。 この結果、モダルシステム$S5$と古典的なエピステミック原理を組み合わせた論理となり、$\square\varphi$はエピステミックな意味で '$\varphi$ is obvious' と読む。 文献に見られる通常の可能な世界意味論とは対照的に、我々は、信念と知識がアクセシビリティの関係によってモデル化されるのではなく、直接命題の集合(世界の集合)としてモデル化される関係性に基づく意味論を提案する。

関連論文リスト

• A Complexity-Based Theory of Compositionality [53.025566128892066]
  AIでは、構成表現は配布外一般化の強力な形式を可能にすることができる。 ここでは、構成性に関する直観を考慮し、拡張する構成性の公式な定義を提案する。 この定義は概念的には単純で量的であり、アルゴリズム情報理論に基礎を置いており、あらゆる表現に適用できる。
  論文  参考訳（メタデータ） (2024-10-18T18:37:27Z)
• Non-monotonic Extensions to Formal Concept Analysis via Object Preferences [3.4873708563238277]
  属性の集合間の非単調条件を導入し、オブジェクトの集合よりも好みを仮定する。 この条件は、非単調性に対する仮定と一致した帰結関係をもたらすことを示す。 この典型的概念の概念は、形式的概念分析へのKLMスタイルの典型性のさらなる導入である。
  論文  参考訳（メタデータ） (2024-10-05T15:01:00Z)
• Turing Video-based Cognitive Tests to Handle Entangled Concepts [0.0]
  本稿では,概念的組み合わせに関する革新的なビデオベース認知テストの結果について述べる。 収集したデータは量子理論の枠組みで忠実にモデル化できることを示す。 我々は,物理界と認知界の両方に絡み合いの出現について,新しい説明を提供する。
  論文  参考訳（メタデータ） (2024-09-13T14:30:55Z)
• A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
  「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。 本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
  論文  参考訳（メタデータ） (2024-05-10T14:13:21Z)
• Inferentialist Resource Semantics [48.65926948745294]
  本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。 推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。 この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
  論文  参考訳（メタデータ） (2024-02-14T14:54:36Z)
• A Probabilistic-Logic based Commonsense Representation Framework for Modelling Inferences with Multiple Antecedents and Varying Likelihoods [5.87677276882675]
  コモンセンス・ナレッジグラフ(英: Commonsense knowledge-graphs、CKG)は、テキストや環境入力で「推論」でき、知覚を超えた推論ができる機械を構築するための重要なリソースである。 本研究は,コモンセンス知識の表現方法として, (i) 複合的推論知識をモデル化し,様々な可能性で概念的信念を表現するための確率論的論理表現スキーム, (ii) 健全な概念関連関係を同定し,異なる概念レベルで信念を整理する階層的概念オントロジーを取り入れることにより, コモンセンス知識をより良く表現することができるかを検討する。
  論文  参考訳（メタデータ） (2022-11-30T08:44:30Z)
• Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization [49.00409552570441]
  本研究では,コモンセンス推論における概念化の役割について検討し,人間の概念化を再現する枠組みを定式化する。 ATOMIC は大規模な人為的注釈付き CKG であり,この枠組みを分類プロベースで支援している。
  論文  参考訳（メタデータ） (2022-06-03T12:24:49Z)
• Formalising Concepts as Grounded Abstractions [68.24080871981869]
  このレポートは、表現学習が生データから概念を誘導する方法を示しています。 このレポートの主な技術的目標は、表現学習のテクニックが概念空間の格子理論的定式化とどのように結婚できるかを示すことである。
  論文  参考訳（メタデータ） (2021-01-13T15:22:01Z)
• Logical Neural Networks [51.46602187496816]
  ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。 すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。 推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
  論文  参考訳（メタデータ） (2020-06-23T16:55:45Z)
• Analogical Proportions [0.0]
  本稿では、普遍代数学の一般設定において、$a$ is to $b$ to $c$ is to $d$' という形の類比例の抽象的枠組みを紹介する。 類比の概念が数学的性質をアピールしていることが判明した。 本論文は,AI-プロブレムの応用可能性を考慮したアナログ推論と学習システムの理論への第一歩である。
  論文  参考訳（メタデータ） (2020-06-04T13:44:36Z)

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

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