論文の概要: Notes on neighborhood semantics for logics of unknown truths and false beliefs

• arxiv url: http://arxiv.org/abs/2002.09622v1
• Date: Sat, 22 Feb 2020 04:27:04 GMT
• ステータス: 処理完了
• システム内更新日: 2022-12-29 19:37:38.701821
• Title: Notes on neighborhood semantics for logics of unknown truths and false beliefs
• Title（参考訳）: 未知の真理と偽信念の論理の近傍意味論に関する注記
• Authors: Jie Fan
• Abstract要約: 我々は、近隣のセマンティクスの下で未知の真実と偽の信念の論理を研究する。 それらは、近隣モデルの様々なクラスに比較できないことが判明した。 結果を公開発表の場合に拡張する。
• 参考スコア（独自算出の注目度）: 1.827510863075184
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In this article, we study logics of unknown truths and false beliefs under neighborhood semantics. We compare the relative expressivity of the two logics. It turns out that they are incomparable over various classes of neighborhood models, and the combination of the two logics are equally expressive as standard modal logic over any class of neighborhood models. We propose morphisms for each logic, which can help us explore the frame definability problem, show a general soundness and completeness result, and generalize some results in the literature. We axiomatize the two logics over various classes of neighborhood frames. Last but not least, we extend the results to the case of public announcements, which has good applications to Moore sentences and some others.
• Abstract（参考訳）: 本稿では,未知の真理と虚偽の信念の論理を近所のセマンティクスで研究する。 我々は2つの論理の相対表現率を比較する。 それらは様々な近傍モデルのクラスで比較不能であり、2つの論理の組み合わせは任意の近傍モデルのクラス上の標準様相論理として等しく表現可能であることが判明した。 我々は,各論理に対する射を提案することにより,フレーム定義可能性問題の検討,一般の健全性と完全性を示すとともに,いくつかの結果を文献に一般化する。 近隣フレームの様々なクラスで2つの論理を公理化する。 最後に、私たちはその結果を公開発表のケースにまで拡張します。

関連論文リスト

• Toward Conceptual Modeling for Propositional Logic: Propositions as Events [0.0]
  本稿では,物間機械(TM)モデルと呼ばれる高レベル図形表現に命題論理言語を適用することを考察する。 究極的な研究目的は、TMモデリングと命題論理の完全なセマンティックアライメントを単一の構造に求めることである。
  論文  参考訳（メタデータ） (2024-09-24T03:45:24Z)
• Disentangling Logic: The Role of Context in Large Language Model Reasoning Capabilities [31.728976421529577]
  包括的なドメイン集合からの抽象的および文脈的論理的問題に対するコントラストについて検討する。 我々は、標準的な命題論理、特に命題推論と帰納論理推論に焦点を当てる。 本実験は,LLMの論理的推論と真の推論能力に関する知見を提供することを目的としている。
  論文  参考訳（メタデータ） (2024-06-04T21:25:06Z)
• LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models [52.03659714625452]
  最近開発された大規模言語モデル (LLM) は、幅広い言語理解タスクにおいて非常によく機能することが示されている。 しかし、それらは自然言語に対して本当に「理性」があるのだろうか? この疑問は研究の注目を集めており、コモンセンス、数値、定性的など多くの推論技術が研究されている。
  論文  参考訳（メタデータ） (2024-04-23T21:08:49Z)
• LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning [73.98142349171552]
  LOGICSEGは、神経誘導学習と論理推論をリッチデータとシンボリック知識の両方に統合する、全体論的視覚意味論である。 ファジィ論理に基づく連続的な緩和の間、論理式はデータとニューラルな計算グラフに基礎を置いており、論理によるネットワークトレーニングを可能にする。 これらの設計によりLOGICSEGは、既存のセグメンテーションモデルに容易に統合できる汎用的でコンパクトなニューラル論理マシンとなる。
  論文  参考訳（メタデータ） (2023-09-24T05:43:19Z)
• The Transformation Logics [58.35574640378678]
  表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。 重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。 表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
  論文  参考訳（メタデータ） (2023-04-19T13:24:04Z)
• Morpho-logic from a Topos Perspective: Application to symbolic AI [2.781492199939609]
  モーダル論理は記号的人工知能(AI)における多くの推論作業に有用であることが証明された 本稿では, 数学的形態学とモーダル論理の関連性をさらに発展させ, 一般化することを提案する。 モーダル論理は, 具体的かつ効率的な演算子を定義し, 新たな知識の修正, 統合, 誘拐, あるいは空間的推論にも適していることを示す。
  論文  参考訳（メタデータ） (2023-03-08T21:24:25Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• Abstract argumentation and answer set programming: two faces of Nelson's logic [7.513733974830771]
  論理プログラミングと抽象論証フレームワークの両方がネルソンの構成論理N4で解釈可能であることを示す。 我々は、この論理において、非矛盾推論(non-contradictory inference)と呼ばれる2つの原則を定式化し、閉世界仮定を強化する。
  論文  参考訳（メタデータ） (2022-03-27T22:18:44Z)
• Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
  我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。 文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
  論文  参考訳（メタデータ） (2020-08-06T02:13:11Z)
• Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis [0.0]
  本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。 我々は古典的な高階論理に最先端の自動推論技術を用いる。
  論文  参考訳（メタデータ） (2020-07-02T11:07:53Z)
• Logical Neural Networks [51.46602187496816]
  ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。 すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。 推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
  論文  参考訳（メタデータ） (2020-06-23T16:55:45Z)

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

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