論文の概要: Epistemic Syllogistic: First Steps

• arxiv url: http://arxiv.org/abs/2307.05043v1
• Date: Tue, 11 Jul 2023 06:50:49 GMT
• ステータス: 処理完了
• システム内更新日: 2023-07-12 16:13:46.708947
• Title: Epistemic Syllogistic: First Steps
• Title（参考訳）: てんかんの臨床 : 第一段階
• Authors: Yipu Li (Peking University), Yanjing Wang (Peking University)
• Abstract要約: アリストテレスのモジュラー・シロメティクスに関する議論は、しばしば誤りが原因と見なされ、文学において大きな注目を集めた。 疫学的文脈における様相シロメティクスのいくつかの変種を提案し,検討した。 私たちの主な貢献には、これらの論理のいくつかの公理化が含まれており、完全性証明は独立した関心を持つかもしれない。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Aristotle's discussions on modal syllogistic have often been viewed as error-prone and have garnered significant attention in the literature due to historical and philosophical interests. However, from a contemporary standpoint, they also introduced natural fragments of first-order modal logic, warranting a comprehensive technical analysis. In this paper, drawing inspiration from the natural logic program, we propose and examine several variants of modal syllogistic within the epistemic context, thereby coining the term Epistemic Syllogistic. Specifically, we concentrate on the de re interpretation of epistemic syllogisms containing non-trivial yet natural expressions such as "all things known to be A are also known to be not B." We explore the epistemic apodeictic syllogistic and its extensions, which accommodate more complex terms. Our main contributions include several axiomatizations of these logics, with completeness proofs that may be of independent interest.
• Abstract（参考訳）: アリストテレスのモジュラー・シロメティクスに関する議論は、しばしば誤りが原因と見なされ、歴史や哲学的な関心から文学に大きな注目を集めた。 しかし、現代の観点からは、一階の様相論理の自然な断片を導入し、包括的な技術的分析を保証した。 本稿では,自然論理プログラムから着想を得て,認識論的文脈におけるモーダル・シロジクスの変種をいくつか提案・検討し,認識論的シロジクスという用語を生み出した。 具体的には、「a であることが知られているすべてのものは b ではない」というような非自明だが自然な表現を含む認識論的音節論の de re 解釈に集中する。 我々は,より複雑な用語を包含する認識論的アポジックな音韻学とその拡張について検討する。 私たちの主な貢献には、これらの論理のいくつかの公理化が含まれており、完全性証明は独立した関心を持つかもしれない。

関連論文リスト

• Categorical Syllogisms Revisited: A Review of the Logical Reasoning Abilities of LLMs for Analyzing Categorical Syllogism [62.571419297164645]
  本稿では,分類的シロジズムを解析するための大規模言語モデルの論理的推論能力に関する先行研究を体系的に概説する。 まず、純粋に論理的な観点から分類的シロジズムの可能なバリエーションについて検討する。 次に、既存のデータセットでテストされた基本的な設定(ムードとフィギュア)を調べます。
  論文  参考訳（メタデータ） (2024-06-26T21:17:20Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。 応用例としては、メタ理論的性質の形式的解析と検証がある。
  論文  参考訳（メタデータ） (2023-12-08T09:32:26Z)
• LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning [73.98142349171552]
  LOGICSEGは、神経誘導学習と論理推論をリッチデータとシンボリック知識の両方に統合する、全体論的視覚意味論である。 ファジィ論理に基づく連続的な緩和の間、論理式はデータとニューラルな計算グラフに基礎を置いており、論理によるネットワークトレーニングを可能にする。 これらの設計によりLOGICSEGは、既存のセグメンテーションモデルに容易に統合できる汎用的でコンパクトなニューラル論理マシンとなる。
  論文  参考訳（メタデータ） (2023-09-24T05:43:19Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• Morpho-logic from a Topos Perspective: Application to symbolic AI [2.781492199939609]
  モーダル論理は記号的人工知能(AI)における多くの推論作業に有用であることが証明された 本稿では, 数学的形態学とモーダル論理の関連性をさらに発展させ, 一般化することを提案する。 モーダル論理は, 具体的かつ効率的な演算子を定義し, 新たな知識の修正, 統合, 誘拐, あるいは空間的推論にも適していることを示す。
  論文  参考訳（メタデータ） (2023-03-08T21:24:25Z)
• Thirty years of Epistemic Specifications [8.339560855135575]
  我々は、主観的リテラルと呼ばれるモーダル構造を持つ安定モデルセマンティクスの下で、解法論理プログラムを拡張した。 主観的リテラルを用いることで、プログラムのすべての安定モデルで正規リテラルが真かどうかを確認することができる。 形式的な意味論によって言語の基礎となる直観を捉えようとするいくつかの試みが与えられた。
  論文  参考訳（メタデータ） (2021-08-17T15:03:10Z)
• A Description Logic for Analogical Reasoning [28.259681405091666]
  我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。 これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
  論文  参考訳（メタデータ） (2021-05-10T19:06:07Z)
• Decomposing lexical and compositional syntax and semantics with deep language models [82.81964713263483]
  GPT2のような言語変換器の活性化は、音声理解中の脳活動に線形にマップすることが示されている。 本稿では,言語モデルの高次元アクティベーションを,語彙,構成,構文,意味表現の4つのクラスに分類する分類法を提案する。 その結果は2つの結果が浮かび上がった。 まず、構成表現は、語彙よりも広範な皮質ネットワークを募集し、両側の側頭、頭頂、前頭前皮質を包含する。
  論文  参考訳（メタデータ） (2021-03-02T10:24:05Z)
• Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
  我々はエージェントの状態を表すことで因果モデルの概念を拡張した。 対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。 我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
  論文  参考訳（メタデータ） (2020-10-30T12:16:45Z)
• Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis [0.0]
  本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。 我々は古典的な高階論理に最先端の自動推論技術を用いる。
  論文  参考訳（メタデータ） (2020-07-02T11:07:53Z)

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

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