論文の概要: The Epistemic Planning Domain Definition Language: Official Guideline

• arxiv url: http://arxiv.org/abs/2601.20969v2
• Date: Tue, 03 Feb 2026 17:32:48 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-02-04 16:18:58.805346
• Title: The Epistemic Planning Domain Definition Language: Official Guideline
• Title（参考訳）: 疫学計画ドメイン定義言語:公式ガイドライン
• Authors: Alessandro Burigana, Francesco Fabiano,
• Abstract要約: 疫学計画ドメイン定義言語(EPDDL)について紹介する。 EPDDLは、DELセマンティクス全体をキャプチャするPDDLのようなユニークな表現を提供する。
• 参考スコア（独自算出の注目度）: 46.476594987947344
• License: http://creativecommons.org/licenses/by-nc-sa/4.0/
• Abstract: Epistemic planning extends (multi-agent) automated planning by making agents' knowledge and beliefs first-class aspects of the planning formalism. One of the most well-known frameworks for epistemic planning is Dynamic Epistemic Logic (DEL), which offers an rich and natural semantics for modelling problems in this setting. The high expressive power provided by DEL make DEL-based epistemic planning a challenging problem to tackle both theoretically, and in practical implementations. As a result, existing epistemic planners often target different DEL fragments, and typically rely on ad hoc languages to represent benchmarks, and sometimes no language at all. This fragmentation hampers comparison, reuse, and systematic benchmark development. We address these issues by introducing the Epistemic Planning Domain Definition Language (EPDDL). EPDDL provides a unique PDDL-like representation that captures the entire DEL semantics, enabling uniform specification of epistemic planning tasks. Our main contributions are: 1. A formal development of abstract event models, a novel representation for epistemic actions used to define the semantics of our language; 2. A formal specification of EPDDL's syntax and semantics grounded in DEL with abstract event models. Through examples of representative benchmarks, we illustrate how EPDDL facilitates interoperability, reproducible evaluation, and future advances in epistemic planning.
• Abstract（参考訳）: エピステマティック・プランニングは、エージェントの知識と信念を計画形式主義の第一級の側面にすることで、複数のエージェントによる自動計画を拡張します。 疫学計画の最もよく知られているフレームワークの1つは動的疫学論理(DEL)である。 DELによって提供される高表現力により、DELベースのてんかん計画は理論上も実践上も困難な問題となる。 結果として、既存のエピステミックプランナーは、しばしば異なるDELフラグメントをターゲットにし、通常、ベンチマークを表現するためにアドホック言語に依存し、時には言語を全く含まない。 この断片化は、比較、再利用、および系統的なベンチマーク開発を妨げます。 疫学計画ドメイン定義言語(EPDDL)を導入することでこの問題に対処する。 EPDDLはPDDLライクな表現を提供し、DELセマンティクス全体をキャプチャし、てんかん計画タスクの統一的な仕様を可能にする。 私たちの主な貢献は次のとおりです。 1. 抽象イベントモデルの形式的展開、つまり、言語の意味論を定義するために使われるてんかん行動の新しい表現。 2. 抽象イベントモデルを用いたDELを基盤としたEDDDLの構文と意味論の形式的仕様。 代表的ベンチマークの例を通して,EPDDLの相互運用,再現性評価,および疫学計画の今後の進歩について述べる。

関連論文リスト

• On the Limit of Language Models as Planning Formalizers [4.145422873316857]
  大規模言語モデルは、地上環境では実行不可能で検証不可能な計画を作成することが発見されている。 新たな作業のラインは、LLMをフォーマライザとして使用して、ある言語で計画領域を形式的に表現することに成功したことを示している。 この形式的表現は、計画を見つけるために決定論的に解決できる。
  論文  参考訳（メタデータ） (2024-12-13T05:50:22Z)
• Unlocking Reasoning Potential in Large Langauge Models by Scaling Code-form Planning [94.76546523689113]
  CodePlanは、テキストコード形式の計画を生成し、追跡するフレームワークで、高いレベルの構造化された推論プロセスの概要を擬似コードで示します。 CodePlanは、洗練された推論タスク固有のリッチなセマンティクスと制御フローを効果的にキャプチャする。 反応を直接生成するのに比べて25.1%の相対的な改善が達成されている。
  論文  参考訳（メタデータ） (2024-09-19T04:13:58Z)
• LangSuitE: Planning, Controlling and Interacting with Large Language Models in Embodied Text Environments [70.91258869156353]
  テキストエンボディの世界における6つの代表的具体的タスクを特徴とする多目的・シミュレーション不要なテストベッドであるLangSuitEを紹介する。 以前のLLMベースのテストベッドと比較すると、LangSuitEは複数のシミュレーションエンジンを使わずに、多様な環境への適応性を提供する。 具体化された状態の履歴情報を要約した新しいチェーン・オブ・ソート(CoT)スキーマであるEmMemを考案する。
  論文  参考訳（メタデータ） (2024-06-24T03:36:29Z)
• A Semantic Approach to Decidability in Epistemic Planning (Extended Version) [72.77805489645604]
  我々は決定可能性を達成するために新しい意味論的アプローチを用いる。 具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。 我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
  論文  参考訳（メタデータ） (2023-07-28T11:26:26Z)
• DELPHIC: Practical DEL Planning via Possibilities (Extended Version) [76.75197961194182]
  本研究は,実用的なDEL計画の展開を促進することを目的としている。 本稿では,メインビルディングブロックとして定義した等価なセマンティクスを,いわゆる可能性として提案する。 この主張を裏付けるために、ASPで両方のアプローチを実装し、DELPHICと従来のKripkeベースのアプローチを比較する実験的な評価を設定した。
  論文  参考訳（メタデータ） (2023-07-28T10:09:45Z)
• Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
  本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。 本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
  論文  参考訳（メタデータ） (2020-08-07T06:35:56Z)

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

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