論文の概要: Higher-order Logic as Lingua Franca -- Integrating Argumentative
Discourse and Deep Logical Analysis
- arxiv url: http://arxiv.org/abs/2007.01019v1
- Date: Thu, 2 Jul 2020 11:07:53 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-14 14:37:41.419927
- Title: Higher-order Logic as Lingua Franca -- Integrating Argumentative
Discourse and Deep Logical Analysis
- Title（参考訳）: Lingua Francaとしての高階論理 - 論証的談話と深い論理的分析の統合
- Authors: David Fuenmayor and Christoph Benzm\"uller
- Abstract要約: 本稿では,議論的言説の深い多元論的論理解析へのアプローチを提案する。
我々は古典的な高階論理に最先端の自動推論技術を用いる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We present an approach towards the deep, pluralistic logical analysis of
argumentative discourse that benefits from the application of state-of-the-art
automated reasoning technology for classical higher-order logic. Thanks to its
expressivity this logic can adopt the status of a uniform \textit{lingua
franca} allowing the encoding of both formalized arguments (their deep logical
structure) and dialectical interactions (their attack and support relations).
We illustrate this by analyzing an excerpt from an argumentative debate on
climate engineering.
Another, novel contribution concerns the definition of abstract,
language-theoretical foundations for the characterization and assessment of
shallow semantical embeddings (SSEs) of non-classical logics in classical
higher-order logic, which constitute a pillar stone of our approach.
The novel perspective we draw enables more concise and more elegant
characterizations of semantical embeddings of logics and logic combinations,
which is demonstrated with several examples.
- Abstract（参考訳）: 本稿では,従来の高階論理に対する最先端自動推論技術の適用による議論的言説の深い多元論理解析へのアプローチを提案する。
表現性のおかげで、この論理は、形式化された引数(深い論理構造)と弁証的相互作用(攻撃と支援関係)の両方をエンコーディングできる一様な \textit{lingua franca} の状態を採用することができる。
気候工学に関する議論からの抜粋を分析して,これを説明する。
もう一つの新しい貢献は、古典高階論理における非古典論理の浅い意味的埋め込み(sses)を特徴づけ、評価するための抽象的、言語理論的基礎の定義に関するものである。
新たな視点は、論理と論理の組み合わせのセマンティックな埋め込みのより簡潔でエレガントな特徴づけを可能にし、いくつかの例で示される。
関連論文リスト
- An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。
提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文 参考訳（メタデータ） (2023-10-18T20:18:05Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - How to Agree to Disagree: Managing Ontological Perspectives using
Standpoint Logic [2.9005223064604073]
Standpoint Logicは、既存のKR言語向けのシンプルだが汎用的なマルチモーダル論理アドオンである。
我々は、一階立ち位置論理のスタンドポイントフリーバージョンへのポリタイム変換を提供する。
次に、OWL 2 DL言語に基づく非常に表現力豊かな記述論理 SROIQb_s に対する類似の翻訳を確立する。
論文 参考訳（メタデータ） (2022-06-14T12:29:08Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Logic-Driven Context Extension and Data Augmentation for Logical
Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。
このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。
本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文 参考訳（メタデータ） (2021-05-08T10:09:36Z) - Public Announcement Logic in HOL [0.0]
関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。
この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
論文 参考訳（メタデータ） (2020-10-02T06:46:02Z) - Logical Semantics, Dialogical Argumentation, and Textual Entailment [0.0]
本稿では,自然言語の議論に近い一階古典論理のための新しい対話型システムを提案する。
通常の古典的妥当性に関してその完全性を証明する。
論文 参考訳（メタデータ） (2020-08-17T08:04:11Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。