論文の概要: Symbolic Pattern Temporal Numeric Planning with Intermediate Conditions and Effects

• arxiv url: http://arxiv.org/abs/2602.09798v1
• Date: Tue, 10 Feb 2026 14:03:40 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-11 20:17:43.567803
• Title: Symbolic Pattern Temporal Numeric Planning with Intermediate Conditions and Effects
• Title（参考訳）: 中間条件と効果を考慮した記号パターン時空間計画法
• Authors: Matteo Cardellini, Enrico Giunchiglia,
• Abstract要約: パターンが行動間の因果順序を示す数値計画のための記号パターン計画(SPP)手法が提案された。 本稿では,中間条件と効果(ICE)の断片化による時空間計画へのSPPアプローチの拡張について述べる。
• 参考スコア（独自算出の注目度）: 6.600299648478795
• License: http://creativecommons.org/licenses/by-nc-nd/4.0/
• Abstract: Recently, a Symbolic Pattern Planning (SPP) approach was proposed for numeric planning where a pattern (i.e., a finite sequence of actions) suggests a causal order between actions. The pattern is then encoded in a SMT formula whose models correspond to valid plans. If the suggestion by the pattern is inaccurate and no valid plan can be found, the pattern is extended until it contains the causal order of actions in a valid plan, making the approach complete. In this paper, we extend the SPP approach to the temporal planning with Intermediate Conditions and Effects (ICEs) fragment, where $(i)$ actions are durative (and thus can overlap over time) and have conditions/effects which can be checked/applied at any time during an action's execution, and $(ii)$ one can specify plan's conditions/effects that must be checked/applied at specific times during the plan execution. Experimental results show that our SPP planner Patty $(i)$ outperforms all other planners in the literature in the majority of temporal domains without ICEs, $(ii)$ obtains comparable results with the SoTA search planner for ICS in literature domains with ICEs, and $(iii)$ outperforms the same planner in a novel domain based on a real-world application.
• Abstract（参考訳）: 近年,パターン(行動の有限列)が行動間の因果順序を示す数値計画法として,記号的パターン計画法 (SPP) が提案されている。 このパターンは、モデルが有効な計画に対応するSMT式に符号化される。 パターンによる提案が不正確で有効な計画が見つからない場合、そのパターンは有効な計画に行動の因果順序を含むまで拡張され、アプローチを完了させる。 本稿では,中間条件と効果(ICE)フラグメントによる時空間計画へのSPPアプローチの拡張について述べる。 アクションの実行中にいつでもチェック/適用できる条件/エフェクトと$ (ii)プラン実行中に特定のタイミングでチェック/適用しなければならないプランの条件/効果を指定することができる。 実験結果からSPPプランナーのPatty $が判明した。 (i)$は、ICEのない時間ドメインの大部分において、文学における他のすべてのプランナーより優れています。 (ii)$は、ICEを持つ文学領域におけるICSのためのSoTAサーチプランナと同等の結果を得る。 (iii)$は、現実世界のアプリケーションに基づいて、新しいドメインで同じプランナーを上回ります。

関連論文リスト

• The Cognitive Bandwidth Bottleneck: Shifting Long-Horizon Agent from Planning with Actions to Planning with Schemas [56.62286434195321]
  本稿では2つの異なる行動表現の有効性を体系的に研究する。 本稿では,その違いを質的に理解するための概念的枠組みとして,認知的帯域幅の観点を提案する。 より有能なPwSエージェントを構築するための実用的なガイドを提供する。
  論文  参考訳（メタデータ） (2025-10-08T14:47:40Z)
• Hindsight Planner: A Closed-Loop Few-Shot Planner for Embodied Instruction Following [62.10809033451526]
  本研究は,Large Language Models (LLM) を用いた Embodied Instruction following (EIF) タスクプランナの構築に焦点をあてる。 我々は,このタスクを部分観測可能なマルコフ決定プロセス (POMDP) として構成し,数発の仮定で頑健なプランナーの開発を目指す。 ALFREDデータセットに対する我々の実験は、プランナーが数ショットの仮定で競争性能を達成することを示す。
  論文  参考訳（メタデータ） (2024-12-27T10:05:45Z)
• Temporal Numeric Planning with Patterns [0.4972323953932129]
  PDDL2.1レベル3で表される時間数値計画問題$Pi$を考える。 モデルが$Pi$の有効なプランに対応する$(i)$と$(ii)$は、最近提案された数値から時間ケースへのパターンアプローチによるプランニングの拡張を示す。
  論文  参考訳（メタデータ） (2024-12-12T09:28:34Z)
• Symbolic Numeric Planning with Patterns [1.450144681559089]
  我々は,有界$n$を持つ$Pi$のプランを,最先端のロールアップと緩和された$exists$エンコーディングよりも少ない変数と/または節の式として見つけるという問題をエンコードする。 我々は,今年の国際計画コンペティションにおいて,プランナーのPattyが極めて優れたパフォーマンスを示した。
  論文  参考訳（メタデータ） (2023-12-15T17:20:25Z)
• Planning as In-Painting: A Diffusion-Based Embodied Task Planning Framework for Environments under Uncertainty [56.30846158280031]
  具体的AIのためのタスクプランニングは、最も難しい問題の1つだ。 In-paintingとしての計画」というタスク非依存の手法を提案する。 提案するフレームワークは,様々な具体的AIタスクにおいて,有望なパフォーマンスを実現する。
  論文  参考訳（メタデータ） (2023-12-02T10:07:17Z)
• Tree-Planner: Efficient Close-loop Task Planning with Large Language Models [63.06270302774049]
  Tree-Plannerは、大きな言語モデルでタスクプランニングを3つの異なるフェーズに再構成する。 Tree-Plannerは高い効率を維持しながら最先端のパフォーマンスを実現する。
  論文  参考訳（メタデータ） (2023-10-12T17:59:50Z)
• STRIPS Action Discovery [67.73368413278631]
  近年のアプローチでは、すべての中間状態が欠如している場合でも、アクションモデルを合成する古典的な計画が成功している。 アクションシグネチャが不明な場合に,従来のプランナーを用いてSTRIPSアクションモデルを教師なしで合成するアルゴリズムを提案する。
  論文  参考訳（メタデータ） (2020-01-30T17:08:39Z)

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

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