Fugu-MT 論文翻訳(概要): Temporal Many-valued Conditional Logics: a Preliminary Report

論文の概要: Temporal Many-valued Conditional Logics: a Preliminary Report

arxiv url: http://arxiv.org/abs/2409.09069v1
Date: Fri, 6 Sep 2024 16:23:31 GMT
ステータス: 処理完了
システム内更新日: 2024-09-22 21:42:00.737775
Title: Temporal Many-valued Conditional Logics: a Preliminary Report
Title（参考訳）: 時間的多値条件論理:予備報告
Authors: Mario Alviano, Laura Giordano, Daniele Theseider Dupré,
Abstract要約: 典型性を持つ多値論理から始まり、線形時間時間時論理の時間演算子で拡張する。また、段階的議論のための形式主義のインスタンス化についても検討する。
参考スコア（独自算出の注目度）: 1.228936170812787
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is able to capture the dynamics of a system, trough strict and defeasible temporal properties. We also consider an instantiation of the formalism for gradual argumentation.
Abstract（参考訳）: 本稿では,多値な時間条件論理を提案する。典型性を持った多値論理から始まり、線形時間時間時論理(LTL)の時間演算子で拡張し、厳密な時間的特性を保ちながらシステムのダイナミクスを捉えることができる形式主義を提供する。また、段階的議論のための形式主義のインスタンス化についても検討する。

関連論文リスト

On the Representational Capacity of Recurrent Neural Language Models [56.19166912044362]
計算時間を持つ有理重み付きRLMは、有理重み付き遷移を持つ決定論的確率的チューリングマシン(PTM)をシミュレートできることを示す。また, 実時間計算の制約下では, 決定論的実時間有理PTMをシミュレートできることを示した。
論文参考訳（メタデータ） (2023-10-19T17:39:47Z)
Past-present temporal programs over finite traces [1.4835015204811504]
本稿では,過去と現在までの身体的参照を持つ論理プログラミング規則の集合からなる,いわゆる過去現在構文サブクラスについて検討する。我々は、完了公式とループ公式の定義を過去の表式に拡張し、過去の表す時間的プログラムの集合の時間的安定モデルをキャプチャできる。
論文参考訳（メタデータ） (2023-07-24T08:50:12Z)
Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic [84.59255070520673]
大きな言語モデル(LLM)は、時間的推論に関わる際に課題に直面します。本研究では,時間的質問応答タスクに特化して設計された新しいフレームワークであるTempLogicを提案する。
論文参考訳（メタデータ） (2023-05-24T10:57:53Z)
Standpoint Linear Temporal Logic [2.552459629685159]
本稿では,表象の時間的特徴とSLのマルチパースペクティブ・モデリング能力を組み合わせた新たな論理である,点点線形時間論理(SLTL)を提案する。論理SLTLとその構文とその意味を定義し、決定可能性を確立し、複雑性を減らし、SLTL推論を自動化するための表計算を提供する。
論文参考訳（メタデータ） (2023-04-27T15:03:38Z)
The Transformation Logics [58.35574640378678]
表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
論文参考訳（メタデータ） (2023-04-19T13:24:04Z)
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)
Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。主アルゴリズムの正確性と収束性を保証する。
論文参考訳（メタデータ） (2021-02-01T01:13:03Z)
Temporal Answer Set Programming [3.263632801414296]
本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
論文参考訳（メタデータ） (2020-09-14T16:13:36Z)
Towards Metric Temporal Answer Set Programming [3.463142129350435]
我々は、前者と同じセマンティック基盤に基づいて論理を開発し、従って境界時間ステップのシンプルな時間領域を使用する。これにより、統一フレームワークにおけるすべての変種を比較し、最終的にそれらを共通の実装で組み合わせることができます。
論文参考訳（メタデータ） (2020-08-05T10:30:14Z)

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