Fugu-MT 論文翻訳(概要): Towards Metric Temporal Answer Set Programming

論文の概要: Towards Metric Temporal Answer Set Programming

arxiv url: http://arxiv.org/abs/2008.02038v2
Date: Sat, 8 Aug 2020 14:48:44 GMT
ステータス: 処理完了
システム内更新日: 2022-11-02 18:40:52.553224
Title: Towards Metric Temporal Answer Set Programming
Title（参考訳）: 計量時間解集合プログラミングへ向けて
Authors: Pedro Cabalar and Martin Dieguez and Torsten Schaub and Anna Schuhmann
Abstract要約: 我々は、前者と同じセマンティック基盤に基づいて論理を開発し、従って境界時間ステップのシンプルな時間領域を使用する。これにより、統一フレームワークにおけるすべての変種を比較し、最終的にそれらを共通の実装で組み合わせることができます。
参考スコア（独自算出の注目度）: 3.463142129350435
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this in the setting of the logic of Here-and-There and its non-monotonic extension, called Equilibrium Logic. More precisely, we develop our logic on the same semantic underpinnings as its predecessors and thus use a simple time domain of bounded time steps. This allows us to compare all variants in a uniform framework and ultimately combine them in a common implementation.
Abstract（参考訳）: アンサー・セット・プログラミングの計量時間拡張の理論的基礎について詳述する。線形テンポラルと動的論理の構造を持つASPの以前の拡張と類似して、Here-and-Thereの論理とその非単調拡張(Equilibrium Logic)の設定でこれを達成する。より正確には、我々は前者と同じセマンティック基盤に基づいて論理を開発し、従って境界時間ステップの単純な時間領域を使用する。これにより、統一フレームワークにおけるすべての変種を比較し、最終的にそれらを共通の実装で組み合わせることができます。

関連論文リスト

Temporal Many-valued Conditional Logics: a Preliminary Report [1.228936170812787]
典型性を持つ多値論理から始まり、線形時間時間時論理の時間演算子で拡張する。また、段階的議論のための形式主義のインスタンス化についても検討する。
論文参考訳（メタデータ） (2024-09-06T16:23:31Z)
Metric Dynamic Equilibrium Logic [1.2657785774485026]
線形時間動的平衡論理の計量拡張を開発し、動的作用素は整数上の間隔で制約される。除外された中間項の法則が加えられると、時間的、動的、計量的、正規の平衡論理を包含し、その古典的な論理を包含することを示す。
論文参考訳（メタデータ） (2024-01-19T16:01:38Z)
Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文参考訳（メタデータ） (2023-10-05T07:10:40Z)
Hexatagging: Projective Dependency Parsing as Tagging [63.5392760743851]
文中の単語を有限個の可能なタグの要素でタグ付けすることで、依存関係木を構成する新しい依存性であるヘキサトガーを導入する。私たちのアプローチは、トレーニング時に完全に並列化可能です。すなわち、依存関係のパースを構築するのに必要な構造構築アクションは、互いに並列に予測できます。我々はPenn Treebankテストセット上で96.4 LASと97.4 UASの最先端性能を実現する。
論文参考訳（メタデータ） (2023-06-08T18:02:07Z)
Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic [84.59255070520673]
大きな言語モデル(LLM)は、時間的推論に関わる際に課題に直面します。本研究では,時間的質問応答タスクに特化して設計された新しいフレームワークであるTempLogicを提案する。
論文参考訳（メタデータ） (2023-05-24T10:57:53Z)
Metric Temporal Equilibrium Logic over Timed Traces [1.2657785774485026]
本研究では、時間的作用素が自然数上の間隔で制約される線形時間時間時間平衡論理の計量拡張を開発する。その結果生まれたMetric Equilibrium Logicは、定性的かつ定量的な動的制約を指定するためのASPベースのアプローチの基礎を提供する。
論文参考訳（メタデータ） (2023-04-28T11:39:49Z)
The Transformation Logics [58.35574640378678]
表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
論文参考訳（メタデータ） (2023-04-19T13:24:04Z)
A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文参考訳（メタデータ） (2021-10-18T10:45:59Z)
Policy Analysis using Synthetic Controls in Continuous-Time [101.35070661471124]
因果推論における手法開発において, 合成制御を用いた因果推定は最も成功した手法の1つである。本稿では,制御された微分方程式の定式化を明示的に用い,潜在反事実経路をモデル化する連続時間代替法を提案する。
論文参考訳（メタデータ） (2021-02-02T16:07:39Z)
Temporal Answer Set Programming [3.263632801414296]
本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
論文参考訳（メタデータ） (2020-09-14T16:13:36Z)
Implementing Dynamic Answer Set Programming [0.0]
動的論理式を時間論理プログラムに変換する。動的論理式を時間論理プログラムに還元することで、両方のアプローチでASPを一様に拡張できます。
論文参考訳（メタデータ） (2020-02-17T12:34:14Z)

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