論文の概要: Metric Temporal Equilibrium Logic over Timed Traces
- arxiv url: http://arxiv.org/abs/2304.14778v1
- Date: Fri, 28 Apr 2023 11:39:49 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-01 14:29:53.939200
- Title: Metric Temporal Equilibrium Logic over Timed Traces
- Title(参考訳): 時間的トレースによる計量時間平衡論理
- Authors: Arvid Becker, Pedro Cabalar, Mart\'in Di\'eguez, Torsten Schaub, Anna
Schuhmann
- Abstract要約: 本研究では、時間的作用素が自然数上の間隔で制約される線形時間時間時間平衡論理の計量拡張を開発する。
その結果生まれたMetric Equilibrium Logicは、定性的かつ定量的な動的制約を指定するためのASPベースのアプローチの基礎を提供する。
- 参考スコア(独自算出の注目度): 3.170132604232434
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.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. However, timing constraints are important in
many applications like, for instance, when planning and scheduling go hand in
hand. We address this by developing a metric extension of linear-time temporal
equilibrium logic, in which temporal operators are constrained by intervals
over natural numbers. The resulting Metric Equilibrium Logic provides the
foundation of an ASP-based approach for specifying qualitative and quantitative
dynamic constraints. To this end, we define a translation of metric formulas
into monadic first-order formulas and give a correspondence between their
models in Metric Equilibrium Logic and Monadic Quantified Equilibrium Logic,
respectively. Interestingly, our translation provides a blue print for
implementation in terms of ASP modulo difference constraints.
- Abstract(参考訳): 線形時間に基づく Answer Set Programming (ASP) の時間拡張では、動的システムの振る舞いは状態列によって捉えられる。
この表現は相対的な順序を反映するが、各状態に関連する特定の時間を抽象化する。
しかし、例えば計画やスケジューリングが手元にある場合など、多くのアプリケーションではタイミングの制約が重要である。
我々は、時間的作用素が自然数上の間隔で制約される線形時時平衡論理の計量拡張を開発することでこの問題に対処する。
その結果生まれたMetric Equilibrium Logicは、定性的かつ定量的な動的制約を指定するためのASPベースのアプローチの基礎を提供する。
この目的のために、計量公式のモナディック一階公式への変換を定義し、それらのモデル間の距離平衡論理とモナディック量子化平衡論理の対応を与える。
興味深いことに、我々の翻訳はASPのモジュロ差分制約の観点から実装するためのブループリントを提供します。
関連論文リスト
- Metric Dynamic Equilibrium Logic [1.2657785774485026]
線形時間動的平衡論理の計量拡張を開発し、動的作用素は整数上の間隔で制約される。
除外された中間項の法則が加えられると、時間的、動的、計量的、正規の平衡論理を包含し、その古典的な論理を包含することを示す。
論文 参考訳(メタデータ) (2024-01-19T16:01:38Z) - On the Representational Capacity of Recurrent Neural Language Models [61.38536173209874]
計算時間を持つ有理重み付きRLMは、有理重み付き遷移を持つ決定論的確率的チューリングマシン(PTM)をシミュレートできることを示す。
また, 実時間計算の制約下では, 決定論的実時間有理PTMをシミュレートできることを示した。
論文 参考訳(メタデータ) (2023-10-19T17:39:47Z) - Tractable Bounding of Counterfactual Queries by Knowledge Compilation [51.47174989680976]
本稿では, パール構造因果モデルにおいて, 因果関係などの部分的特定可能なクエリのバウンダリングの問題について議論する。
最近提案された反復EMスキームは初期化パラメータをサンプリングしてそれらの境界を内部近似する。
シンボルパラメータを実際の値に置き換えた回路構造を,単一のシンボル知識コンパイルによって得られることを示す。
論文 参考訳(メタデータ) (2023-10-05T07:10:40Z) - Enriching Disentanglement: Definitions to Metrics [97.34033555407403]
分散表現学習は、複雑なデータの変動の複数の要因を分離する難題である。
不整合表現の学習と評価のための様々な指標が提案されているが、これらの指標が真に何を定量化し、どのように比較するかは定かではない。
論文 参考訳(メタデータ) (2023-05-19T08:22:23Z) - Continuous-time convolutions model of event sequences [53.36665135225617]
イベントシーケンスデータの巨大なサンプルは、eコマース、ヘルスケア、ファイナンスなど、さまざまなドメインで発生します。
利用可能なデータの量とクライアント毎のイベントシーケンスの長さは典型的には大きいため、長期的なモデリングが必要である。
時間内の事象の一様発生に適した連続畳み込みニューラルネットワークに基づくCOTIC法を提案する。
論文 参考訳(メタデータ) (2023-02-13T10:34:51Z) - Time-dependent Hamiltonian Simulation Using Discrete Clock Constructions [63.18141027763459]
正規作用素指数を用いて順序演算子指数を近似する新しい手法を提案する。
クロックに使用される量子ビットの数が増加するにつれて、順序演算子の指数関数誤差は消えることを示す。
応用として、時間依存ハミルトニアンに対する新しい多積式(MPF)を提供する。
論文 参考訳(メタデータ) (2022-03-21T21:29:22Z) - Context-Dependent Semantic Parsing for Temporal Relation Extraction [2.5807659587068534]
テキスト中の時間情報を効果的に抽出するニューラルネットワーク意味表現SMARTERを提案する。
推論フェーズでは、SMARTERは論理形式を実行して時間関係グラフを生成する。
与えられた事象の正確な論理形式表現は、抽出された関係の正確性を保証する。
論文 参考訳(メタデータ) (2021-12-02T00:29:21Z) - 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) - Towards Metric Temporal Answer Set Programming [3.463142129350435]
我々は、前者と同じセマンティック基盤に基づいて論理を開発し、従って境界時間ステップのシンプルな時間領域を使用する。
これにより、統一フレームワークにおけるすべての変種を比較し、最終的にそれらを共通の実装で組み合わせることができます。
論文 参考訳(メタデータ) (2020-08-05T10:30:14Z) - Implementing Dynamic Answer Set Programming [0.0]
動的論理式を時間論理プログラムに変換する。
動的論理式を時間論理プログラムに還元することで、両方のアプローチでASPを一様に拡張できます。
論文 参考訳(メタデータ) (2020-02-17T12:34:14Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。