Fugu-MT 論文翻訳(概要): Compiling Metric Temporal Answer Set Programming

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

arxiv url: http://arxiv.org/abs/2506.08150v1
Date: Mon, 09 Jun 2025 18:56:57 GMT
ステータス: 翻訳完了
システム内更新日: 2025-06-11 15:11:40.469507
Title: Compiling Metric Temporal Answer Set Programming
Title（参考訳）: Metric Temporal Answer Set Programming のコンパイル
Authors: Arvid Becker, Pedro Cabalar, Martin Diéguez, Javier Romero, Susana Hahn, Torsten Schaub,
Abstract要約: 重要な課題は、きめ細かいタイミング制約を扱う際のスケーラビリティを維持することである。我々は、差分制約(線形制約の単純化された形式)を備えたASPの拡張を活用して、時間関連の側面を外部で処理します。われわれの手法は、計量ASPを時間の粒度から効果的に分離し、その結果、時間精度の影響を受けない解が得られる。
参考スコア（独自算出の注目度）: 2.3861066707217202
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, 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を時間の粒度から効果的に分離し、その結果、時間精度の影響を受けない解が得られる。

関連論文リスト

LLM-Symbolic Integration for Robust Temporal Tabular Reasoning [69.27153114778748]
本研究では,システムおよび制御された評価のための合成データセットであるTempTabQA-Cを紹介する。この構造化アプローチにより、LLM(Large Language Models)はsqlクエリの生成と実行を可能にし、一般化とバイアス軽減の強化を行う。
論文参考訳（メタデータ） (2025-06-06T05:14:04Z)
Adaptive Deadline and Batch Layered Synchronized Federated Learning [66.93447103966439]
フェデレートラーニング(FL)は、データプライバシを保持しながら、分散エッジデバイス間で協調的なモデルトレーニングを可能にする。我々は,レイヤワイドアグリゲーションのために,ラウンド単位の期限とユーザ固有のバッチサイズを共同で最適化する新しいフレームワークADEL-FLを提案する。
論文参考訳（メタデータ） (2025-05-29T19:59:18Z)
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)
TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems [8.696305200911455]
複雑な制御系に対する到達可能性解析は、しばしば遅すぎるか過度に保守的である。本稿では, 時間的改善という概念を紹介し, 到達可能性問題の地平線に沿って自動的に選択し, 遅いシンボリッククエリを実行する。提案アルゴリズムは,20～70%の時間で,ベースラインに類似した誤差で近似到達可能な集合を生成することができることを示す。
論文参考訳（メタデータ） (2024-07-19T15:16:25Z)
Sparser is Faster and Less is More: Efficient Sparse Attention for Long-Range Transformers [58.5711048151424]
SPARSEK Attention(SPARSEK Attention)は、計算およびメモリ障害を克服するために設計された、新しいスパースアテンション機構である。提案手法では,各クエリに対して一定数のKVペアを選択するために,スコアリングネットワークと差別化可能なトップkマスク演算子であるSPARSEKを統合する。実験結果から,SPARSEK注意は従来のスパースアテンション法よりも優れていた。
論文参考訳（メタデータ） (2024-06-24T15:55:59Z)
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)
ORDNet: Capturing Omni-Range Dependencies for Scene Parsing [135.11360962062957]
Omni-Range Dependencies Network(ORDNet)を構築し、短距離、中長距離の依存関係を効果的にキャプチャします。我々のORDNetは、より包括的なコンテキスト情報を抽出し、シーンイメージの複雑な空間分散に順応することができる。
論文参考訳（メタデータ） (2021-01-11T14:51:11Z)
Train Scheduling with Hybrid Answer Set Programming [1.4823899140444556]
ASP(Answer Set Programming)に基づく実世界の列車スケジューリング問題の解法を提案する。要求される計画とスケジューリングの問題に対処するために、ハイブリッドASPシステムclingo[DL]がどのように使用できるのかを例に示す。
論文参考訳（メタデータ） (2020-03-19T06:50:04Z)

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