Fugu-MT 論文翻訳(概要): Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version

論文の概要: Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version

arxiv url: http://arxiv.org/abs/2603.12188v1
Date: Thu, 12 Mar 2026 17:19:30 GMT
ステータス: 翻訳完了
システム内更新日: 2026-03-13 14:46:26.247808
Title: Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
Title（参考訳）: 離散PDDL+の拡張版への仮数計画のコンパイル
Authors: Andrea Micheli, Enrico Scala, Alessandro Valentini,
Abstract要約: 本報告では,Durative Actionを用いた時間計画からPDDL+への実践的なコンパイルについて述べる。本研究は, 時間的問題に対する実用的妥当性を実験的に明らかにした。
参考スコア（独自算出の注目度）: 58.220343994928776
License: http://creativecommons.org/licenses/by-sa/4.0/
Abstract: Since the introduction of the PDDL+ modeling language, it was known that temporal planning with durative actions (as in PDDL 2.1) could be compiled into PDDL+. However, no practical compilation was presented in the literature ever since. We present a practical compilation from temporal planning with durative actions into PDDL+, fully capturing the semantics and only assuming the non-self-overlapping of actions. Our compilation is polynomial, retains the plan length up to a constant factor and is experimentally shown to be of practical relevance for hard temporal numeric problems.
Abstract（参考訳）: PDDL+モデリング言語の導入以降, (PDDL 2.1)のように) 予測動作による時間的計画がPDDL+にコンパイルできることが知られている。しかし、以後の文献では実際の編纂は行われていない。本報告では, 時空間計画からPDDL+へ変換し, セマンティクスを完全に把握し, 自己重複しない動作を仮定する。我々のコンパイルは多項式であり、プラン長を一定要素まで保持し、硬度時間数値問題に対する実践的妥当性を実験的に示す。

関連論文リスト

Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies [14.156642420488168]
計画領域定義言語(PDDL)で規定される世界モデルにおける言語モデル(LM)の利用について検討する。我々は、あるドメインからPDDL問題を解決するための一般的なポリシーとして機能するPythonプログラムを生成するよう、LMに促す。我々は,PDDLプランナや最近のLMアプローチよりも多くのPDDL問題を一定時間とメモリ制約で解くことができることを示す競合ベンチマーク実験を行った。
論文参考訳（メタデータ） (2025-08-25T21:28:14Z)
Planetarium: A Rigorous Benchmark for Translating Text to Structured Planning Languages [20.62336315814875]
計画タスクの自然言語記述からPDDLコードを生成する言語モデルの性能を評価するためのベンチマークである textitPlanetarium を紹介する。 textitPlanetariumは、生成したPDDLの正しさを柔軟に評価する新しいPDDL同値アルゴリズムと、145,918のテキスト-PDDLペアのデータセットを備える。
論文参考訳（メタデータ） (2024-07-03T17:59:53Z)
PROC2PDDL: Open-Domain Planning Representations from Texts [56.627183903841164]
Proc2PDDLは、専門家によるPDDL表現と組み合わせたオープンドメインの手続きテキストを含む最初のデータセットである。以上の結果から, GPT-3.5は0%, GPT-4は35%, Proc2PDDLは極めて困難であることが示唆された。
論文参考訳（メタデータ） (2024-02-29T19:40:25Z)
Real-World Planning with PDDL+ and Beyond [55.73913765642435]
我々は、軽量さ、単純さ、そして最も重要なのは適応性を強調するために作られた新しいPDDL+プランナーであるNyxを紹介する。 Nyxは、ある種のAIプランニングを必要とする事実上の現実世界のアプリケーションに合わせることができ、現実の問題を解決するための計画手法をより広く採用するための道を開くことができる。
論文参考訳（メタデータ） (2024-02-19T07:35:49Z)
HDDL 2.1: Towards Defining a Formalism and a Semantics for Temporal HTN Planning [64.07762708909846]
現実世界のアプリケーションは、リッチで多様な自動計画問題をモデル化する必要があります。階層的タスクネットワーク(HTN)形式は、数値的および時間的制約を伴う計画問題の表現を許さない。本稿では,HDDLとこれらの運用ニーズのギャップを埋めるとともに,PDDL 2.1からインスピレーションを得てHDDLを拡張することを提案する。
論文参考訳（メタデータ） (2023-06-12T18:21:23Z)
Planning with Complex Data Types in PDDL [2.7412662946127755]
本稿では,集合,配列,レコード,ユニオンといった複雑なデータ型をサポートする複雑なソフトウェアシステムのモデリング言語について検討する。我々は、この表現をさらにPDDLにマッピングし、ドメインに依存しないPDDLプランナーで使用する。
論文参考訳（メタデータ） (2022-12-29T21:19:22Z)
A Logical Semantics for PDDL+ [4.111899441919164]
PDDL+はPDDL2.1の拡張である。 PDDL2.1とは異なり、PDDL+は論理的意味論を欠き、代わりに連続状態に対するハイブリッド自動意味論に富んだ状態遷移意味論に依存する。本稿ではハイブリッドオートマトンに触発されたReiterの状況計算理論の自然な拡張を提案する。
論文参考訳（メタデータ） (2021-11-23T00:32:15Z)
Tensor Processing Primitives: A Programming Abstraction for Efficiency and Portability in Deep Learning Workloads [86.62083829086393]
このプロセスプリミティブ(TPP、Processing Primitives)は、高い生産性を持つDeep Learning-Workloadの効率的でポータブルな実装を目指すプログラミング抽象化である。 TPPは、高次元テンソル上の複素作用素を構成するためにビルディングブロックとして使用できる2Dテンソル作用素(または仮想ISA)のコンパクトで汎用的な集合を定義する。我々は,スタンドアロンカーネルとTLPで表現されたエンドツーエンドのDLワークロードによるアプローチの有効性を実証し,複数のプラットフォーム上での最先端実装よりも優れていることを示す。
論文参考訳（メタデータ） (2021-04-12T18:35:49Z)

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