論文の概要: Temporal Answer Set Programming
- arxiv url: http://arxiv.org/abs/2009.06544v3
- Date: Thu, 25 Nov 2021 09:31:15 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-18 12:50:49.416192
- Title: Temporal Answer Set Programming
- Title（参考訳）: 時間的回答セットプログラミング
- Authors: Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Perez,
Torsten Schaub, Anna Schuhmann, Concepcion Vidal
- Abstract要約: 本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。
本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。
第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
- 参考スコア（独自算出の注目度）: 3.263632801414296
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We present an overview on Temporal Logic Programming under the perspective of
its application for Knowledge Representation and declarative problem solving.
Such programs are the result of combining usual rules with temporal modal
operators, as in Linear-time Temporal Logic (LTL). We focus on recent results
of the non-monotonic formalism called Temporal Equilibrium Logic (TEL) that is
defined for the full syntax of LTL, but performs a model selection criterion
based on Equilibrium Logic, a well known logical characterization of Answer Set
Programming (ASP). We obtain a proper extension of the stable models semantics
for the general case of arbitrary temporal formulas. We recall the basic
definitions for TEL and its monotonic basis, the temporal logic of
Here-and-There (THT), and study the differences between infinite and finite
traces. We also provide other useful results, such as the translation into
other formalisms like Quantified Equilibrium Logic or Second-order LTL, and
some techniques for computing temporal stable models based on automata. In a
second part, we focus on practical aspects, defining a syntactic fragment
called temporal logic programs closer to ASP, and explain how this has been
exploited in the construction of the solver TELINGO.
- Abstract（参考訳）: 本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。
そのようなプログラムは、線形時間時相論理(ltl)のように、通常の規則と時相演算子を組み合わせる結果である。
本稿では,LTLの完全な構文に対して定義されたTEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式主義の最近の結果に注目するが,解集合プログラミング(ASP)の論理的特徴である平衡論理(Equilibrium Logic)に基づくモデル選択基準を実行する。
任意の時間公式の一般の場合に対する安定モデル意味論の適切な拡張を得る。
我々は、TELの基本的定義とその単調基底、Here-and-There (THT) の時間論理を思い出し、無限トレースと有限トレースの差を研究する。
また、量子平衡論理や二階LTLといった他の形式への変換や、オートマトンに基づく時間的安定モデルの計算技術など、他の有用な結果も提供する。
第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
関連論文リスト
- Temporal Many-valued Conditional Logics: a Preliminary Report [1.228936170812787]
典型性を持つ多値論理から始まり、線形時間時間時論理の時間演算子で拡張する。
また、段階的議論のための形式主義のインスタンス化についても検討する。
論文 参考訳（メタデータ） (2024-09-06T16:23:31Z) - 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) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - 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) - 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) - Linear Temporal Logic Modulo Theories over Finite Traces (Extended
Version) [72.38188258853155]
有限トレース(LTLf)上の線形時間論理について検討する。
命題の文字は任意の理論で解釈された一階述語式に置き換えられる。
Satisfiability Modulo Theories (LTLfMT) と呼ばれる結果の論理は半決定可能である。
論文 参考訳（メタデータ） (2022-04-28T17:57:33Z) - Multi-Agent Reinforcement Learning with Temporal Logic Specifications [65.79056365594654]
本研究では,時間論理仕様を満たすための学習課題を,未知の環境下でエージェントのグループで検討する。
我々は、時間論理仕様のための最初のマルチエージェント強化学習手法を開発した。
主アルゴリズムの正確性と収束性を保証する。
論文 参考訳（メタデータ） (2021-02-01T01:13:03Z) - Towards Metric Temporal Answer Set Programming [3.463142129350435]
我々は、前者と同じセマンティック基盤に基づいて論理を開発し、従って境界時間ステップのシンプルな時間領域を使用する。
これにより、統一フレームワークにおけるすべての変種を比較し、最終的にそれらを共通の実装で組み合わせることができます。
論文 参考訳（メタデータ） (2020-08-05T10:30:14Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。