Fugu-MT 論文翻訳(概要): A General Framework for Modelling Conditional Reasoning -- Preliminary Report

論文の概要: A General Framework for Modelling Conditional Reasoning -- Preliminary Report

arxiv url: http://arxiv.org/abs/2202.07596v1
Date: Tue, 15 Feb 2022 17:33:39 GMT
ステータス: 処理完了
システム内更新日: 2022-02-16 15:39:00.555159
Title: A General Framework for Modelling Conditional Reasoning -- Preliminary Report
Title（参考訳）: 条件推論の一般的な枠組み -予備報告-
Authors: Giovanni Casini, Umberto Straccia
Abstract要約: ここでは、幅広い推論システムの定義を可能にする条件文の形式化を紹介し、検討する。このフレームワークは論理ベースのKRにおいて、最も一般的な条件推論をカバーしている。
参考スコア（独自算出の注目度）: 4.340338299803562
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems. This framework covers the most popular kinds of conditional reasoning in logic-based KR: the semantics we propose is appropriate for a structural analysis of those conditionals that do not satisfy closure properties associated to classical logics.
Abstract（参考訳）: ここでは、幅広い推論システムの定義を可能にする条件文の形式化を紹介し、検討する。このフレームワークは、論理ベースのkrにおいて最も一般的な条件付き推論の種類をカバーする:我々が提案するセマンティクスは、古典論理に付随するクロージャプロパティを満たさない条件型の構造分析に適しています。

関連論文リスト

A Primer for Preferential Non-Monotonic Propositional Team Logics [0.0]
チームベースの命題論理は、自然に累積的な非単調な含意関係をもたらすことを示す。チームセマンティクスにおける解離の非古典的解釈に動機付けられて、命題依存論理の優先モデルに対して、正確な特徴を与える。
論文参考訳（メタデータ） (2024-05-11T09:53:15Z)
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。応用例としては、メタ理論的性質の形式的解析と検証がある。
論文参考訳（メタデータ） (2023-12-08T09:32:26Z)
Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文参考訳（メタデータ） (2023-06-21T07:34:27Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文参考訳（メタデータ） (2022-07-04T14:38:49Z)
Granular Generalized Variable Precision Rough Sets and Rational Approximations [0.24366811507669117]
VPRSの手順による粒界近似は、ある条件下で古典的な視点から構築されたものよりも合理的である可能性が高い。クラスタ検証、イメージセグメンテーション、動的ソートのためのメタ応用が発明されている。
論文参考訳（メタデータ） (2022-05-28T08:08:26Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
我々はエージェントの状態を表すことで因果モデルの概念を拡張した。対象言語の側面には、知識を表現する演算子や、新しい情報を観察する行為が追加されます。我々は、論理の健全かつ完全な公理化を提供し、このフレームワークと因果的チーム意味論との関係について論じる。
論文参考訳（メタデータ） (2020-10-30T12:16:45Z)
Reasoning about Typicality and Probabilities in Preferential Description Logics [0.15749416770494704]
標準記述論理の非単調拡張である典型性の優先記述論理を、典型演算子Tを用いて記述する。この拡張は、有理閉包の概念に対応する最小のモデル意味論に基づいている。我々は、いわゆる財産相続問題の阻止を避けるために、合理的なクロージャの意味論と構成の強化について検討する。
論文参考訳（メタデータ） (2020-04-20T14:50:31Z)
Modeling Contrary-to-Duty with CP-nets [19.561116525421316]
条件付き嗜好ネット(CP-nets)は、セテリスパリバスの嗜好を表現・分析するためのコンパクトなフォーマリズムである。本稿では,条件付き嗜好モデルを用いてデオン概念を捉える方法について述べる。
論文参考訳（メタデータ） (2020-03-23T18:23:18Z)

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