論文の概要: Towards Constraint Temporal Answer Set Programming

• arxiv url: http://arxiv.org/abs/2507.13958v1
• Date: Fri, 18 Jul 2025 14:22:38 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-21 20:43:26.317109
• Title: Towards Constraint Temporal Answer Set Programming
• Title（参考訳）: 制約付き時間回答セットプログラミングを目指して
• Authors: Pedro Cabalar, Martín Diéguez, François Olivier, Torsten Schaub, Igor Stéphan,
• Abstract要約: 微粒な時間分解能と数値分解能を持つ動的システムに関する推論は、Answer Set Programming (ASP)のような論理ベースのアプローチに重大な課題をもたらす。 我々は,Hre-and-Thereの論理の時間的・制約的拡張とその非モノトニック平衡拡張について,我々の知る限り,ASP.NET に特化された制約を伴う非モノトニック時間的推論への最初のアプローチについて紹介し,詳述する。
• 参考スコア（独自算出の注目度）: 1.3916074537865786
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Reasoning about dynamic systems with a fine-grained temporal and numeric resolution presents significant challenges for logic-based approaches like Answer Set Programming (ASP). To address this, we introduce and elaborate upon a novel temporal and constraint-based extension of the logic of Here-and-There and its nonmonotonic equilibrium extension, representing, to the best of our knowledge, the first approach to nonmonotonic temporal reasoning with constraints specifically tailored for ASP. This expressive system is achieved by a synergistic combination of two foundational ASP extensions: the linear-time logic of Here-and-There, providing robust nonmonotonic temporal reasoning capabilities, and the logic of Here-and-There with constraints, enabling the direct integration and manipulation of numeric constraints, among others. This work establishes the foundational logical framework for tackling complex dynamic systems with high resolution within the ASP paradigm.
• Abstract（参考訳）: 微粒な時間分解と数値分解による動的システムの推論は、Answer Set Programming(ASP.NET)のようなロジックベースのアプローチに重大な課題をもたらします。 これを解決するために、我々はHere-and-Thereの論理の時間的・制約的拡張とその非モノトニック平衡拡張について、我々の知る限り、ASP.NET に特化された制約を伴う非モノトニック時間的推論への最初のアプローチを紹介し、詳述する。 この表現システムは、Here-and-Thereの線形時間論理(英語版)とHere-and-Thereの論理(英語版)という2つの基本的なASP拡張の相乗的組み合わせによって実現される。 この研究は、ASPパラダイム内で高解像度で複雑な動的システムに取り組むための基本的な論理的枠組みを確立します。

関連論文リスト

• T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent [5.439020425819001]
  T-CPDL(Temporal Causal Probabilistic Description Logic)は、Description Logicを時間間隔演算子、明示的な因果関係、確率的アノテーションで拡張する統合フレームワークである。 T-CPDLは、言語モデル出力の推論精度、解釈可能性、信頼性校正を大幅に改善する。 この研究は、高度なLogic-Retrieval-Augmented Generation (Logic-RAG)フレームワークの開発の基礎となる。
  論文  参考訳（メタデータ） (2025-06-23T12:11:15Z)
• LLM-Symbolic Integration for Robust Temporal Tabular Reasoning [69.27153114778748]
  本研究では,システムおよび制御された評価のための合成データセットであるTempTabQA-Cを紹介する。 この構造化アプローチにより、LLM(Large Language Models)はsqlクエリの生成と実行を可能にし、一般化とバイアス軽減の強化を行う。
  論文  参考訳（メタデータ） (2025-06-06T05:14:04Z)
• Pangu Embedded: An Efficient Dual-system LLM Reasoner with Metacognition [95.54406667705999]
  Pangu Embeddedは、Ascend Neural Processing Units (NPU) 上で開発された効率的なLarge Language Model (LLM) 推論器である。 既存の推論最適化 LLM でよく見られる計算コストと推論遅延の問題に対処する。 単一の統一モデルアーキテクチャ内で、迅速な応答と最先端の推論品質を提供する。
  論文  参考訳（メタデータ） (2025-05-28T14:03:02Z)
• Scalable Chain of Thoughts via Elastic Reasoning [61.75753924952059]
  Elastic Reasoningは、スケーラブルな思考の連鎖のための新しいフレームワークである。 推論は、独立して割り当てられた予算で、思考と解決の2つのフェーズに分けられる。 我々のアプローチは、制約のない設定でもより簡潔で効率的な推論をもたらす。
  論文  参考訳（メタデータ） (2025-05-08T15:01:06Z)
• Syzygy of Thoughts: Improving LLM CoT with the Minimal Free Resolution [59.39066657300045]
  CoT(Chain-of-Thought)は、問題を逐次ステップに分解することで、大きな言語モデル(LLM)の推論を促進する。 思考のシジー(Syzygy of Thoughts, SoT)は,CoTを補助的,相互関連的な推論経路を導入して拡張する新しいフレームワークである。 SoTはより深い論理的依存関係をキャプチャし、より堅牢で構造化された問題解決を可能にする。
  論文  参考訳（メタデータ） (2025-04-13T13:35:41Z)
• ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning [92.76959707441954]
  我々はLLM推論性能を評価するための総合的な評価フレームワークであるZebraLogicを紹介した。 ZebraLogicは、制御可能で定量化可能な複雑さを持つパズルの生成を可能にする。 その結果,複雑性が増大するにつれて,精度が著しく低下することが明らかとなった。
  論文  参考訳（メタデータ） (2025-02-03T06:44:49Z)
• VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning [8.867818326729367]
  本稿では,ニューロシンボリック推論の新しい枠組みであるVERUS-LMを紹介する。 VERUS-LMは汎用的なプロンプト機構を採用し、クエリからドメイン知識を明確に分離する。 提案手法は,LLMを著しく上回る,新しいデータセットの多種多様な推論に成功していることを示す。
  論文  参考訳（メタデータ） (2025-01-24T14:45:21Z)
• Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic [84.59255070520673]
  大きな言語モデル(LLM)は、時間的推論に関わる際に課題に直面します。 本研究では,時間的質問応答タスクに特化して設計された新しいフレームワークであるTempLogicを提案する。
  論文  参考訳（メタデータ） (2023-05-24T10:57:53Z)
• Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes [5.471640959988549]
  まず、部分的に観測可能なマルコフ決定過程に対する最適制御理論を導入する。 累積報酬を最大化するポリシを合成するための構造化手法を提供する。 次に、論理的に制約されたマルチエージェント設定のための最適制御フレームワークを設計するために、このアプローチを構築します。
  論文  参考訳（メタデータ） (2023-05-24T05:15:36Z)
• Standpoint Linear Temporal Logic [2.552459629685159]
  本稿では,表象の時間的特徴とSLのマルチパースペクティブ・モデリング能力を組み合わせた新たな論理である,点点線形時間論理(SLTL)を提案する。 論理SLTLとその構文とその意味を定義し、決定可能性を確立し、複雑性を減らし、SLTL推論を自動化するための表計算を提供する。
  論文  参考訳（メタデータ） (2023-04-27T15:03:38Z)
• Implementing Dynamic Answer Set Programming [0.0]
  動的論理式を時間論理プログラムに変換する。 動的論理式を時間論理プログラムに還元することで、両方のアプローチでASPを一様に拡張できます。
  論文  参考訳（メタデータ） (2020-02-17T12:34:14Z)

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

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