論文の概要: Metric Dynamic Equilibrium Logic

• arxiv url: http://arxiv.org/abs/2401.10781v1
• Date: Fri, 19 Jan 2024 16:01:38 GMT
• ステータス: 処理完了
• システム内更新日: 2024-01-22 15:21:51.250510
• Title: Metric Dynamic Equilibrium Logic
• Title（参考訳）: 計量動的平衡論理
• Authors: Arvid Becker, Pedro Cabalar, Mart\'in Di\'eguez, Luis Fari\~nas, Torsten Schaub, Anna Schuhmann
• Abstract要約: 線形時間動的平衡論理の計量拡張を開発し、動的作用素は整数上の間隔で制約される。 除外された中間項の法則が加えられると、時間的、動的、計量的、正規の平衡論理を包含し、その古典的な論理を包含することを示す。
• 参考スコア（独自算出の注目度）: 1.2657785774485026
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated with each state. In many applications, however, timing constraints are important like, for instance, when planning and scheduling go hand in hand. We address this by developing a metric extension of linear-time Dynamic Equilibrium Logic, in which dynamic operators are constrained by intervals over integers. The resulting Metric Dynamic Equilibrium Logic provides the foundation of an ASP-based approach for specifying qualitative and quantitative dynamic constraints. As such, it constitutes the most general among a whole spectrum of temporal extensions of Equilibrium Logic. In detail, we show that it encompasses Temporal, Dynamic, Metric, and regular Equilibrium Logic, as well as its classic counterparts once the law of the excluded middle is added.
• Abstract（参考訳）: 線形時間に基づく Answer Set Programming (ASP) の時間拡張では、動的システムの振る舞いは状態列によって捉えられる。 この表現は相対的な順序を反映するが、各状態に関連する特定の時間を抽象化する。 しかし、多くのアプリケーションでは、例えば計画とスケジューリングが相次いでいる場合など、タイミング制約が重要である。 本稿では,動的演算子を整数上の間隔で制約する線形時間動的平衡論理の計量拡張を開発することで,この問題に対処する。 その結果生まれたMetric Dynamic Equilibrium Logicは、定性的かつ定量的な動的制約を指定するためのASPベースのアプローチの基礎を提供する。 したがって、平衡論理の時間的拡張のスペクトル全体の中で最も一般的なものとなる。 具体的には、時間的、動的、計量的、正則な平衡論理を包含すると同時に、排除された中間の法則が加えられると、その古典的論理も包含することを示す。

関連論文リスト

• Metric Temporal Equilibrium Logic over Timed Traces [1.2657785774485026]
  本研究では、時間的作用素が自然数上の間隔で制約される線形時間時間時間平衡論理の計量拡張を開発する。 その結果生まれたMetric Equilibrium Logicは、定性的かつ定量的な動的制約を指定するためのASPベースのアプローチの基礎を提供する。
  論文  参考訳（メタデータ） (2023-04-28T11:39:49Z)
• Initial Correlations in Open Quantum Systems: Constructing Linear Dynamical Maps and Master Equations [62.997667081978825]
  任意の所定の初期相関に対して、開系の作用素の空間上の線型動的写像を導入することができることを示す。 この構造が一般化されたリンドブラッド構造を持つ線形時間局所量子マスター方程式に導かれることを実証する。
  論文  参考訳（メタデータ） (2022-10-24T13:43:04Z)
• Consistency of mechanistic causal discovery in continuous-time using Neural ODEs [85.7910042199734]
  ダイナミカルシステムの研究において,連続時間における因果的発見を検討する。 本稿では,ニューラルネットワークを用いた因果探索アルゴリズムを提案する。
  論文  参考訳（メタデータ） (2021-05-06T08:48:02Z)
• Out-of-time-order correlations and the fine structure of eigenstate thermalisation [58.720142291102135]
  量子情報力学と熱化を特徴付けるツールとして、OTOC(Out-of-time-orderor)が確立されている。 我々は、OTOCが、ETH(Eigenstate Thermalisation hypothesis)の詳細な詳細を調査するための、本当に正確なツールであることを明確に示している。 無限温度状態における局所作用素の和からなる可観測物の一般クラスに対して、$omega_textrmGOE$の有限サイズスケーリングを推定する。
  論文  参考訳（メタデータ） (2021-03-01T17:51:46Z)
• Policy Analysis using Synthetic Controls in Continuous-Time [101.35070661471124]
  因果推論における手法開発において, 合成制御を用いた因果推定は最も成功した手法の1つである。 本稿では,制御された微分方程式の定式化を明示的に用い,潜在反事実経路をモデル化する連続時間代替法を提案する。
  論文  参考訳（メタデータ） (2021-02-02T16:07:39Z)
• Stochastically forced ensemble dynamic mode decomposition for forecasting and analysis of near-periodic systems [65.44033635330604]
  本稿では,観測力学を強制線形系としてモデル化した新しい負荷予測手法を提案する。 固有線型力学の利用は、解釈可能性やパーシモニーの観点から、多くの望ましい性質を提供することを示す。 電力グリッドからの負荷データを用いたテストケースの結果が提示される。
  論文  参考訳（メタデータ） (2020-10-08T20:25:52Z)
• Temporal Answer Set Programming [3.263632801414296]
  本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。 本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。 第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
  論文  参考訳（メタデータ） (2020-09-14T16:13:36Z)
• Quantum many-body attractors [0.0]
  量子系において、厳密な局所力学対称性の広範な集合がどのように存在するかについて議論する。 これらの厳密な局所対称性は、連続時間変換対称性の自発的な破れを引き起こす。 局所力学対称性を特徴とするハミルトニアンを構成するための明示的なレシピを提供する。
  論文  参考訳（メタデータ） (2020-08-25T16:52:47Z)
• Towards Metric Temporal Answer Set Programming [3.463142129350435]
  我々は、前者と同じセマンティック基盤に基づいて論理を開発し、従って境界時間ステップのシンプルな時間領域を使用する。 これにより、統一フレームワークにおけるすべての変種を比較し、最終的にそれらを共通の実装で組み合わせることができます。
  論文  参考訳（メタデータ） (2020-08-05T10:30:14Z)
• Optimization with Momentum: Dynamical, Control-Theoretic, and Symplectic Perspectives [97.16266088683061]
  この論文は、運動量に基づく最適化アルゴリズムにおいてシンプレクティックな離散化スキームが重要であることを厳格に証明している。 これは加速収束を示すアルゴリズムの特性を提供する。
  論文  参考訳（メタデータ） (2020-02-28T00:32:47Z)
• Implementing Dynamic Answer Set Programming [0.0]
  動的論理式を時間論理プログラムに変換する。 動的論理式を時間論理プログラムに還元することで、両方のアプローチでASPを一様に拡張できます。
  論文  参考訳（メタデータ） (2020-02-17T12:34:14Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。