論文の概要: 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)の設定でこれを達成する。
より正確には、我々は前者と同じセマンティック基盤に基づいて論理を開発し、従って境界時間ステップの単純な時間領域を使用する。
これにより、統一フレームワークにおけるすべての変種を比較し、最終的にそれらを共通の実装で組み合わせることができます。
関連論文リスト
- 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) - Counterfactuals Modulo Temporal Logics [1.90365714903665]
ルイスの反事実論は、多くの現代の因果性の概念の基礎となっている。
我々はこの理論を時間方向に拡張し、無限列上の記号的対実的推論を可能にする。
論文 参考訳(メタデータ) (2023-06-15T07:40:36Z) - Hexatagging: Projective Dependency Parsing as Tagging [63.5392760743851]
文中の単語を有限個の可能なタグの要素でタグ付けすることで、依存関係木を構成する新しい依存性であるヘキサトガーを導入する。
私たちのアプローチは、トレーニング時に完全に並列化可能です。すなわち、依存関係のパースを構築するのに必要な構造構築アクションは、互いに並列に予測できます。
我々はPenn Treebankテストセット上で96.4 LASと97.4 UASの最先端性能を実現する。
論文 参考訳(メタデータ) (2023-06-08T18:02:07Z) - Metric Temporal Equilibrium Logic over Timed Traces [3.170132604232434]
本研究では、時間的作用素が自然数上の間隔で制約される線形時間時間時間平衡論理の計量拡張を開発する。
その結果生まれたMetric Equilibrium Logicは、定性的かつ定量的な動的制約を指定するためのASPベースのアプローチの基礎を提供する。
論文 参考訳(メタデータ) (2023-04-28T11:39:49Z) - Linear Temporal Logic Modulo Theories over Finite Traces (Extended
Version) [72.38188258853155]
有限トレース(LTLf)上の線形時間論理について検討する。
命題の文字は任意の理論で解釈された一階述語式に置き換えられる。
Satisfiability Modulo Theories (LTLfMT) と呼ばれる結果の論理は半決定可能である。
論文 参考訳(メタデータ) (2022-04-28T17:57:33Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - Logic-Driven Context Extension and Data Augmentation for Logical
Reasoning of Text [65.24325614642223]
論理的な記号や表現をテキストで理解し、答えにたどり着くよう提案します。
このような論理的情報に基づいて,文脈拡張フレームワークとデータ拡張アルゴリズムを提案する。
本手法は最先端の性能を実現し,論理駆動コンテキスト拡張フレームワークとデータ拡張アルゴリズムの両方が精度向上に寄与する。
論文 参考訳(メタデータ) (2021-05-08T10:09:36Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。