論文の概要: Encoding Argumentation Frameworks to Propositional Logic Systems
- arxiv url: http://arxiv.org/abs/2503.07351v1
- Date: Mon, 10 Mar 2025 14:06:58 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-03-11 15:46:25.089494
- Title: Encoding Argumentation Frameworks to Propositional Logic Systems
- Title（参考訳）: 命題論理系への論証フレームワークの符号化
- Authors: Shuai Tang, Jiachao Wu, Ning Zhou,
- Abstract要約: 本稿では,異なる命題論理系における論理式として$AF$sを符号化することで,符号化法を一般化する。
議論意味論(Dung's classical semantics)やガベイの方程式意味論(Gabbay's equational semantics)など)によって、AFのモデル間の関係を研究する。
- 参考スコア（独自算出の注目度）: 5.714813286590744
- License:
- Abstract: The theory of argumentation frameworks ($AF$s) has been a useful tool for artificial intelligence. The research of the connection between $AF$s and logic is an important branch. This paper generalizes the encoding method by encoding $AF$s as logical formulas in different propositional logic systems. It studies the relationship between models of an AF by argumentation semantics, including Dung's classical semantics and Gabbay's equational semantics, and models of the encoded formulas by semantics of propositional logic systems. Firstly, we supplement the proof of the regular encoding function in the case of encoding $AF$s to the 2-valued propositional logic system. Then we encode $AF$s to 3-valued propositional logic systems and fuzzy propositional logic systems and explore the model relationship. This paper enhances the connection between $AF$s and propositional logic systems. It also provides a new way to construct new equational semantics by choosing different fuzzy logic operations.
- Abstract（参考訳）: 議論フレームワーク(AF$s)の理論は、人工知能にとって有用なツールである。
$AF$sとロジックの関連性の研究は重要な分野である。
本稿では,異なる命題論理系における論理式として$AF$sを符号化することで,符号化法を一般化する。
議論意味論(Dung's classical semantics)やガベイの方程式意味論(Gabbay's equational semantics)を含む議論意味論(AF)のモデルと、命題論理系のセマンティクスによって符号化された公式のモデルとの関係を研究する。
まず、$AF$sを2値命題論理系に符号化する場合の正規符号化関数の証明を補足する。
次に、$AF$sを3値の命題論理系とファジィ命題論理系にエンコードし、モデル関係を探索する。
本稿では,$AF$sと命題論理システムとの接続性を高める。
また、異なるファジィ論理演算を選択して新しい方程式意味論を構築する新しい方法も提供する。
関連論文リスト
- A Semantic Parsing Algorithm to Solve Linear Ordering Problems [2.23890712706409]
線形順序付け問題を意味論的に解析するアルゴリズムを開発した。
提案手法は,複数の前提文と候補文を入力として扱う。
次に、制約論理プログラミングを用いて、注文に関する提案された文の真相を推測する。
論文 参考訳（メタデータ） (2025-02-12T13:58:42Z) - Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework [93.59256448185954]
本稿では論理完全推論フレームワークであるAristotleについて,論理解法,論理解法,論理解法,論理解法の3つの主要なコンポーネントを提案する。
本フレームワークでは,記号表現と論理規則を総合的に推論プロセスに統合する。
いくつかのデータセットの実験結果は、Aristotleが最先端の推論フレームワークを精度と効率の両方で一貫して上回っていることを示している。
論文 参考訳（メタデータ） (2024-12-22T10:14:09Z) - LINC: A Neurosymbolic Approach for Logical Reasoning by Combining
Language Models with First-Order Logic Provers [60.009969929857704]
論理的推論は、科学、数学、社会に潜在的影響を与える可能性のある人工知能にとって重要なタスクである。
本研究では、LINCと呼ばれるモジュール型ニューロシンボリックプログラミングのようなタスクを再構成する。
我々は,FOLIOとProofWriterのバランスの取れたサブセットに対して,ほぼすべての実験条件下で,3つの異なるモデルに対して顕著な性能向上を観察した。
論文 参考訳（メタデータ） (2023-10-23T17:58:40Z) - LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and
Reasoning [73.98142349171552]
LOGICSEGは、神経誘導学習と論理推論をリッチデータとシンボリック知識の両方に統合する、全体論的視覚意味論である。
ファジィ論理に基づく連続的な緩和の間、論理式はデータとニューラルな計算グラフに基礎を置いており、論理によるネットワークトレーニングを可能にする。
これらの設計によりLOGICSEGは、既存のセグメンテーションモデルに容易に統合できる汎用的でコンパクトなニューラル論理マシンとなる。
論文 参考訳（メタデータ） (2023-09-24T05:43:19Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks [65.23508422635862]
我々は最近提案された論理ニューラルネットワーク(LNN)を用いた学習規則を提案する。
他のものと比較して、LNNは古典的なブール論理と強く結びついている。
標準ベンチマークタスクの実験では、LNNルールが極めて解釈可能であることを確認した。
論文 参考訳（メタデータ） (2021-12-06T19:38:30Z) - A Logic-Based Framework for Natural Language Inference in Dutch [1.0178220223515955]
オランダ語文ペア間の関係を導出するための枠組みを提案する。
提案するフレームワークは、推論ラベルにつながる検査可能な証明を生成するために、論理ベースの推論に依存している。
我々は最近作成されたオランダの自然言語推論データセットの推論パイプラインを評価する。
論文 参考訳（メタデータ） (2021-10-07T10:34:46Z) - Refining Labelled Systems for Modal and Constructive Logics with
Applications [0.0]
この論文は、モーダル論理や構成論理のセマンティクスを「経済的な」証明システムに変換する手段として機能する。
精製法は、ラベル付きおよびネストされたシーケント計算の2つの証明理論パラダイムを結合する。
導入された洗練されたラベル付き電卓は、デオン性STIT論理に対する最初の証明探索アルゴリズムを提供するために使用される。
論文 参考訳（メタデータ） (2021-07-30T08:27:15Z) - Logic-Driven Context Extension and Data Augmentation for Logical
Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。
このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。
本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文 参考訳（メタデータ） (2021-05-08T10:09:36Z) - Lexicographic Logic: a Many-valued Logic for Preference Representation [1.5484595752241122]
本稿では,様々な選好を表現できる古典命題論理の拡張である辞書論理を提案する。
ユーザの嗜好の満足度に応じてクエリ結果のランク付けを行う上で,新しい論理は有効な形式である,と我々は主張する。
論文 参考訳（メタデータ） (2020-12-20T14:42:04Z) - Public Announcement Logic in HOL [0.0]
関連する共通知識を持つ公開告知論理のための浅層セマンティック埋め込みについて述べる。
この埋め込みにより、古典的な高階論理に対するオフ・ザ・シェルフ定理証明を用いて、この論理を初めて自動化することができる。
論文 参考訳（メタデータ） (2020-10-02T06:46:02Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。