論文の概要: A Logic of Expertise

• arxiv url: http://arxiv.org/abs/2107.10832v1
• Date: Thu, 22 Jul 2021 17:42:38 GMT
• ステータス: 処理完了
• システム内更新日: 2021-07-23 14:03:28.243715
• Title: A Logic of Expertise
• Title（参考訳）: 専門家の論理
• Authors: Joseph Singleton
• Abstract要約: 本稿では,情報ソースの専門知識を推論するシンプルなモーダル論理フレームワークを提案する。 このフレームワークでは、任意の可能な世界において$p$の真理値を正しく決定できるなら、ソースは$p$の命題の専門家である。 情報源の専門知識の欠如を考慮し、情報がどのように偽であるかを考察する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this paper we introduce a simple modal logic framework to reason about the expertise of an information source. In the framework, a source is an expert on a proposition $p$ if they are able to correctly determine the truth value of $p$ in any possible world. We also consider how information may be false, but true after accounting for the lack of expertise of the source. This is relevant for modelling situations in which information sources make claims beyond their domain of expertise. We use non-standard semantics for the language based on an expertise set with certain closure properties. It turns out there is a close connection between our semantics and S5 epistemic logic, so that expertise can be expressed in terms of knowledge at all possible states. We use this connection to obtain a sound and complete axiomatisation.
• Abstract（参考訳）: 本稿では,情報ソースの専門知識を推論するための単純なモーダル論理フレームワークを提案する。 このフレームワークでは、任意の可能な世界において$p$の真理値を正しく決定できるなら、ソースは$p$の命題の専門家である。 また、情報源の専門知識の欠如を考慮し、情報がどのように虚偽であるかを考察する。 これは、情報ソースが専門分野を超えて主張を行う状況のモデル化に関係している。 我々は、特定のクロージャ特性を持つ専門知識セットに基づいて、言語に非標準意味論を用いる。 セマンティクスとS5の認識論理の間には密接な関係があることが判明し、あらゆる可能な状態における知識の観点で専門知識を表現できることが判明した。 この接続を使って、音と完全な公理化を得る。

関連論文リスト

• Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases [5.222978725954348]
  我々は、公理とアサーションの両方が(おそらく無限の)重みを持つ重み付き知識基底を考える。 確実かつ可能な答えの2つの概念は、コストが与えられた境界を超えない解釈を考えることによって定義される。 我々の主な貢献は、有界コスト満足度と確実かつ可能な回答認識の組合せとデータ複雑さの包括的分析である。
  論文  参考訳（メタデータ） (2024-07-30T11:56:02Z)
• Large Language Models are Limited in Out-of-Context Knowledge Reasoning [65.72847298578071]
  大規模言語モデル (LLMs) は、文脈内推論の実行において広範な知識と強力な能力を持っている。 本稿では、複数の知識を組み合わせて新しい知識を推論する、文脈外知識推論(OCKR)という、文脈外推論の重要な側面に焦点を当てる。
  論文  参考訳（メタデータ） (2024-06-11T15:58:59Z)
• Causal Discovery with Language Models as Imperfect Experts [119.22928856942292]
  専門知識を用いて因果グラフの同定を改善する方法について検討する。 整合性に基づく専門家の知識を改良するための戦略を提案する。 本稿では,不完全な専門家として大規模言語モデルを用いる実データを用いたケーススタディについて報告する。
  論文  参考訳（メタデータ） (2023-07-05T16:01:38Z)
• Wigner and friends, a map is not the territory! Contextuality in multi-agent paradoxes [0.0]
  マルチエージェントシナリオは、非古典的形式主義がエージェント間の知識を扱う必要がある場合に矛盾する結果を示す。 知識が信頼の概念と関係して扱われても、矛盾する結果はマルチエージェントのシナリオでも見ることができる。
  論文  参考訳（メタデータ） (2023-05-12T22:51:13Z)
• Who's the Expert? On Multi-source Belief Change [3.42658286826597]
  情報ソースのグループは、様々な事例における世界の状態に関する一連のレポートを提供します。 これらの事例における真の状態は、私たちには未知である。 我々は、専門的な公式を持つ命題論理の拡張に基づいて、この問題を探求するフレームワークを提供する。
  論文  参考訳（メタデータ） (2022-04-29T20:45:54Z)
• Thirty years of Epistemic Specifications [8.339560855135575]
  我々は、主観的リテラルと呼ばれるモーダル構造を持つ安定モデルセマンティクスの下で、解法論理プログラムを拡張した。 主観的リテラルを用いることで、プログラムのすべての安定モデルで正規リテラルが真かどうかを確認することができる。 形式的な意味論によって言語の基礎となる直観を捉えようとするいくつかの試みが与えられた。
  論文  参考訳（メタデータ） (2021-08-17T15:03:10Z)
• Fact-driven Logical Reasoning for Machine Reading Comprehension [82.58857437343974]
  私たちは、常識と一時的な知識のヒントの両方を階層的にカバーする動機があります。 具体的には,文の背骨成分を抽出し,知識単位の一般的な定式化を提案する。 次に、事実単位の上にスーパーグラフを構築し、文レベル(事実群間の関係)と実体レベルの相互作用の利点を享受する。
  論文  参考訳（メタデータ） (2021-05-21T13:11:13Z)
• Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
  我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。 文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
  論文  参考訳（メタデータ） (2020-08-06T02:13:11Z)
• Logical Neural Networks [51.46602187496816]
  ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。 すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。 推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
  論文  参考訳（メタデータ） (2020-06-23T16:55:45Z)
• Unsupervised Commonsense Question Answering with Self-Talk [71.63983121558843]
  本稿では,コモンセンスタスクの代替として,セルフトークに基づく教師なしフレームワークを提案する。 探索に基づく探索学習にインスパイアされた我々のアプローチは、質問を求める多くの情報で言語モデルに問い合わせる。 実験結果から,ゼロショット言語モデルベースラインの性能が大幅に向上することが示唆された。
  論文  参考訳（メタデータ） (2020-04-11T20:43:37Z)

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

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