論文の概要: Implementing Metric Temporal Answer Set Programming

• arxiv url: http://arxiv.org/abs/2601.20735v1
• Date: Wed, 28 Jan 2026 16:07:54 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-01-29 15:46:07.014245
• Title: Implementing Metric Temporal Answer Set Programming
• Title（参考訳）: Metric Temporal Answer Set Programmingの実装
• Authors: Arvid Becker, Pedro Cabalar, Martin Diéguez, Susana Hahn, Javier Romero, Torsten Schaub,
• Abstract要約: 重要な課題は、きめ細かいタイミング制約を扱う際のスケーラビリティを維持することである。 我々は、差分制約(線形制約の単純化された形式)を備えたASPの拡張を活用して、時間関連の側面を外部で処理します。 われわれの手法は、計量ASPを時間の粒度から効果的に分離し、その結果、時間精度の影響を受けない解が得られる。
• 参考スコア（独自算出の注目度）: 0.9865428250766767
• License: http://creativecommons.org/publicdomain/zero/1.0/
• Abstract: We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constraints, like durations and deadlines. A central challenge is to maintain scalability when dealing with fine-grained timing constraints, which can significantly exacerbate ASP's grounding bottleneck. To address this issue, we leverage extensions of ASP with difference constraints, a simplified form of linear constraints, to handle time-related aspects externally. Our approach effectively decouples metric ASP from the granularity of time, resulting in a solution that is unaffected by time precision.
• Abstract（参考訳）: 我々は,時間や期限などの時間的制約を定量的に表現するために,ASP (Metric Answer Set Programming) の計算手法を開発した。 重要な課題は、きめ細かいタイミング制約を扱う際のスケーラビリティの維持であり、ASPの基盤となるボトルネックを大幅に悪化させる可能性がある。 この問題に対処するために、線形制約の単純化された形式である差分制約によるASPの拡張を活用して、時間関連の側面を外部的に処理します。 われわれの手法は、計量ASPを時間の粒度から効果的に分離し、その結果、時間精度の影響を受けない解が得られる。

関連論文リスト

• Programming over Thinking: Efficient and Robust Multi-Constraint Planning [54.77940831026738]
  SCOPEは、クエリ固有の推論をジェネリックコード実行から切り離すフレームワークである。 SCOPEは、コストとレイテンシを下げながら最先端のパフォーマンスを達成する。
  論文  参考訳（メタデータ） (2026-01-14T02:58:07Z)
• TS-DP: Reinforcement Speculative Decoding For Temporal Adaptive Diffusion Policy Acceleration [64.32072516882947]
  拡散ポリシーは、具体的制御が優れているが、高い推論遅延と計算コストに悩まされている。 時間認識強化に基づく投機的拡散政策(TS-DP)を提案する。 TS-DPは94%以上のドラフトで最大4.17倍高速な推論を実現し、推論周波数は25Hzに達した。
  論文  参考訳（メタデータ） (2025-12-13T07:53:14Z)
• Training-free Context-adaptive Attention for Efficient Long Context Modeling [57.703159205740185]
  トレーニングフリーコンテキスト適応注意(TCA-Attention)は、学習不要なスパースアテンション機構であり、効率的な長文推論のための情報トークンのみに選択的に参画する。 TCA-Attentionは2.8$times$のスピードアップを実現し、128Kのコンテキスト長でKVキャッシュを61%削減し、フルアテンションに匹敵するパフォーマンスを維持している。
  論文  参考訳（メタデータ） (2025-12-10T01:54:57Z)
• Compiling Metric Temporal Answer Set Programming [2.3861066707217202]
  重要な課題は、きめ細かいタイミング制約を扱う際のスケーラビリティを維持することである。 我々は、差分制約(線形制約の単純化された形式)を備えたASPの拡張を活用して、時間関連の側面を外部で処理します。 われわれの手法は、計量ASPを時間の粒度から効果的に分離し、その結果、時間精度の影響を受けない解が得られる。
  論文  参考訳（メタデータ） (2025-06-09T18:56:57Z)
• LLM-Symbolic Integration for Robust Temporal Tabular Reasoning [69.27153114778748]
  本研究では,システムおよび制御された評価のための合成データセットであるTempTabQA-Cを紹介する。 この構造化アプローチにより、LLM(Large Language Models)はsqlクエリの生成と実行を可能にし、一般化とバイアス軽減の強化を行う。
  論文  参考訳（メタデータ） (2025-06-06T05:14:04Z)
• Haste Makes Waste: Evaluating Planning Abilities of LLMs for Efficient and Feasible Multitasking with Time Constraints Between Actions [56.88110850242265]
  本稿では,現実の調理シナリオに基づいた新しいベンチマークフレームワークRecipe2Planを紹介する。 従来のベンチマークとは異なり、Recipe2Planは並列タスク実行による調理時間を最適化するためにエージェントに挑戦する。
  論文  参考訳（メタデータ） (2025-03-04T03:27:02Z)
• On the generalization of learned constraints for ASP solving in temporal domains [2.094218274474807]
  今日のASPソルバのパフォーマンスの重要な要因は、コンフリクト駆動の制約学習である。 学習した動的制約を一般化できる条件について検討する。 ASPソルバに一般化された制約を加えることの影響を実証的に評価する。
  論文  参考訳（メタデータ） (2024-01-29T12:49:09Z)
• Dynamic Scheduling for Federated Edge Learning with Streaming Data [56.91063444859008]
  我々は,長期的エネルギー制約のある分散エッジデバイスにおいて,トレーニングデータを時間とともにランダムに生成するフェデレーションエッジ学習(FEEL)システムを検討する。 限られた通信リソースとレイテンシ要件のため、各イテレーションでローカルトレーニングプロセスに参加するのはデバイスのサブセットのみである。
  論文  参考訳（メタデータ） (2023-05-02T07:41:16Z)
• Efficient Temporal Piecewise-Linear Numeric Planning with Lazy Consistency Checking [4.834203844100679]
  本稿では,プランナがLP整合性チェックを可能な限り遅延的に計算できる手法を提案する。 また,時間依存ゴールチェックをより選択的に行うアルゴリズムを提案する。 結果として得られるプランナーは、より効率的であるだけでなく、最先端の時間数値とハイブリッドプランナーよりも優れています。
  論文  参考訳（メタデータ） (2021-05-21T07:36:54Z)
• Train Scheduling with Hybrid Answer Set Programming [1.4823899140444556]
  ASP(Answer Set Programming)に基づく実世界の列車スケジューリング問題の解法を提案する。 要求される計画とスケジューリングの問題に対処するために、ハイブリッドASPシステムclingo[DL]がどのように使用できるのかを例に示す。
  論文  参考訳（メタデータ） (2020-03-19T06:50:04Z)

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

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