論文の概要: Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming

• arxiv url: http://arxiv.org/abs/2603.14692v1
• Date: Mon, 16 Mar 2026 01:02:02 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-17 16:19:35.970108
• Title: Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
• Title（参考訳）: 直観論的時間論理の時間解集合プログラミングへの応用
• Authors: Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, Igor Stéphan,
• Abstract要約: 時間的アンサーセットプログラミングの基礎を時間的平衡論理のレンズを通して研究する。 我々は時間的直観論理と時間的論理プログラミングの形式的対応を確立する。
• 参考スコア（独自算出の注目度）: 2.711447506329646
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's safe beliefs. Equilibrium logic admits a fixpoint characterization based on the logic of here-and-there, akin to theory completion in default and autoepistemic logics. Safe beliefs are similarly defined via a fixpoint operator, albeit under the semantics of intuitionistic or other intermediate logics. In this paper, we investigate the logical foundations of Temporal Answer Set Programming through the lens of Temporal Equilibrium Logic, a formalism combining equilibrium logic with linear-time temporal operators. We lift the seminal approaches of Pearce and Osorio to the temporal setting, establishing a formal correspondence between temporal intuitionistic logic and temporal logic programming. Our results deepen the theoretical underpinnings of Temporal Answer Set Programming and provide new avenues for research in temporal reasoning.
• Abstract（参考訳）: 直観主義論理と中間論理と論理プログラミングの関係は広く研究され、パースの平衡論理とオソリオの安全な信念が特徴的である。 平衡論理(Equilibrium logic)は、既定理論の完備化や自己認識論理に類似した、ここでの論理に基づく固定点の特徴づけを認めている。 安全な信念は、直観主義または他の中間論理のセマンティクスの下にあるが、同様に固定点演算子を通して定義される。 本稿では、平衡論理と線形時間時間時間演算子を組み合わせた形式主義であるテンポラル平衡論理のレンズによるテンポラルアンサーセットプログラミングの論理的基礎について検討する。 Pearce と Osorio の初歩的なアプローチを時間的設定に引き上げ、時間的直観主義論理と時間的論理プログラミングの形式的対応を確立する。 本研究は,時間的アンサー・セット・プログラミングの理論的基盤をさらに深め,時間的推論研究のための新たな道筋を提供するものである。

関連論文リスト

• Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning [17.5066777599458]
  記号的論理的推論は、大言語モデル(LLM)の批判的だが未発見の機能である 論理的推論性能は政権内では安定だが, 批判的論理的深度を超えて急激に崩壊することを示す。 本稿では,自然言語と論理記号を適応的にアライメントし,共有表現を確立する原理的フレームワークであるNeuro-Symbolic Curriculum Tuningを提案する。
  論文  参考訳（メタデータ） (2026-01-06T10:38:25Z)
• Logical Consistency as a Dynamical Invariant: A Quantum Model of Self-Reference and Paradox [0.0]
  本稿では、その一元的進化の間に論理的一貫性を本質的に強制する量子回路アーキテクチャを提案する。 回路は干渉効果を用いて一貫性のない結果の抑制とコヒーレントな結果の保存を行う。 この研究は形式論理と量子認知モデリングを橋渡しし、一貫性を推論システムの構造的性質として組み込むことができることを示唆している。
  論文  参考訳（メタデータ） (2025-12-26T07:59:28Z)
• Temporal Many-valued Conditional Logics: a Preliminary Report [1.228936170812787]
  典型性を持つ多値論理から始まり、線形時間時間時論理の時間演算子で拡張する。 また、段階的議論のための形式主義のインスタンス化についても検討する。
  論文  参考訳（メタデータ） (2024-09-06T16:23:31Z)
• Counterfactuals Modulo Temporal Logics [1.90365714903665]
  ルイスの反事実論は、多くの現代の因果性の概念の基礎となっている。 我々はこの理論を時間方向に拡張し、無限列上の記号的対実的推論を可能にする。
  論文  参考訳（メタデータ） (2023-06-15T07:40:36Z)
• Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic [84.59255070520673]
  大きな言語モデル(LLM)は、時間的推論に関わる際に課題に直面します。 本研究では,時間的質問応答タスクに特化して設計された新しいフレームワークであるTempLogicを提案する。
  論文  参考訳（メタデータ） (2023-05-24T10:57:53Z)
• The Transformation Logics [58.35574640378678]
  表現性と複雑性のトレードオフのバランスをとるために設計された、時間論理の新しいファミリーを導入する。 重要な特徴は、変換演算子と呼ばれる新しい種類の演算子を定義する可能性である。 表現力と複雑性を増大させる階層を創り出すことができる論理を提示する。
  論文  参考訳（メタデータ） (2023-04-19T13:24:04Z)
• Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
  パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文) 論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。 ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
  論文  参考訳（メタデータ） (2022-07-04T14:38:49Z)
• Temporal Answer Set Programming [3.263632801414296]
  本稿では,その知識表現と宣言的問題解決への応用の観点から,時間論理プログラミングの概要を述べる。 本研究は,TEL(Temporal Equilibrium Logic)と呼ばれる非単調な形式論の最近の成果に焦点を当てる。 第2部では,ASP.NET に近い時間論理プログラムと呼ばれる構文的断片を定義し,この問題が解決器 TEINGO の構築においてどのように活用されたかを説明する。
  論文  参考訳（メタデータ） (2020-09-14T16:13:36Z)
• Logical Neural Networks [51.46602187496816]
  ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。 すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。 推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
  論文  参考訳（メタデータ） (2020-06-23T16:55:45Z)

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

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