論文の概要: DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
- arxiv url: http://arxiv.org/abs/2307.15451v1
- Date: Fri, 28 Jul 2023 10:09:45 GMT
- ステータス: 処理完了
- システム内更新日: 2023-07-31 12:51:28.691879
- Title: DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
- Title(参考訳): DELPHIC:可能性による実用的なDEL計画(拡張版)
- Authors: Alessandro Burigana, Paolo Felli and Marco Montali
- Abstract要約: 本研究は,実用的なDEL計画の展開を促進することを目的としている。
本稿では,メインビルディングブロックとして定義した等価なセマンティクスを,いわゆる可能性として提案する。
この主張を裏付けるために、ASPで両方のアプローチを実装し、DELPHICと従来のKripkeベースのアプローチを比較する実験的な評価を設定した。
- 参考スコア(独自算出の注目度): 76.75197961194182
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Dynamic Epistemic Logic (DEL) provides a framework for epistemic planning
that is capable of representing non-deterministic actions, partial
observability, higher-order knowledge and both factual and epistemic change.
The high expressivity of DEL challenges existing epistemic planners, which
typically can handle only restricted fragments of the whole framework. The goal
of this work is to push the envelop of practical DEL planning, ultimately
aiming for epistemic planners to be able to deal with the full range of
features offered by DEL. Towards this goal, we question the traditional
semantics of DEL, defined in terms on Kripke models. In particular, we propose
an equivalent semantics defined using, as main building block, so-called
possibilities: non well-founded objects representing both factual properties of
the world, and what agents consider to be possible. We call the resulting
framework DELPHIC. We argue that DELPHIC indeed provides a more compact
representation of epistemic states. To substantiate this claim, we implement
both approaches in ASP and we set up an experimental evaluation to compare
DELPHIC with the traditional, Kripke-based approach. The evaluation confirms
that DELPHIC outperforms the traditional approach in space and time.
- Abstract(参考訳): 動的てんかん論理(Dynamic Epistemic Logic, DEL)は、非決定論的行動、部分的観察可能性、高次知識、事実的および認識的変化を表現できるてんかん計画のための枠組みを提供する。
delの高表現性は、フレームワーク全体の制限された断片のみを処理できる既存の認識型プランナーに挑戦する。
本研究の目的は,DEL が提供する機能の全範囲に対応することを目的とした,実践的な DEL 計画の展開を推し進めることである。
この目標に向けて、Kripkeモデルで定義されたDELの伝統的な意味論を疑問視する。
特に, 主構成要素として定義される, いわゆる可能性: 世界の事実的性質と, エージェントが考えられるものの両方を表現する, well-ground objects という, 等価な意味論を提案する。
このフレームワークをDELPHICと呼ぶ。
DELPHICは確かに、よりコンパクトなてんかん状態の表現を提供する。
この主張を裏付けるために、ASPで両方のアプローチを実装し、DELPHICと従来のKripkeベースのアプローチを比較する実験的な評価を設定した。
DELPHICは時間と空間において従来の手法よりも優れていた。
関連論文リスト
- Unleashing the Potential of the Diffusion Model in Few-shot Semantic Segmentation [56.87049651707208]
セマンティックはインコンテクストタスクへと発展し、一般化的セグメンテーションモデルを評価する上で重要な要素となった。
我々の最初の焦点は、クエリイメージとサポートイメージの相互作用を容易にする方法を理解することであり、その結果、自己注意フレームワーク内のKV融合法が提案される。
そこで我々はDiffewSというシンプルで効果的なフレームワークを構築し,従来の潜在拡散モデルの生成フレームワークを最大限に保持する。
論文 参考訳(メタデータ) (2024-10-03T10:33:49Z) - Language Models can Infer Action Semantics for Symbolic Planners from Environment Feedback [26.03718733867297]
言語モデルを用いた行動予測法(PSALM)を提案する。
PSALMはシンボルプランナーとLarge Language Models(LLM)の強みを活用することでアクションセマンティクスを学習する
実験の結果、PSALMは計画の成功率を36.4%(Claude-3.5)から100%に向上させ、基礎となる真理ドメインのアクションセマンティクスを推論する以前の作業よりも効率的に環境を探索する。
論文 参考訳(メタデータ) (2024-06-04T21:29:56Z) - A Principled Framework for Knowledge-enhanced Large Language Model [58.1536118111993]
大規模言語モデル(LLM)は汎用性があるが、深い信頼性のある推論を必要とするタスクに悩まされることが多い。
本稿では、知識を効果的に固定し、閉ループ推論プロセスを用いるLLMを作成するための厳密な設計のフレームワークを提案する。
論文 参考訳(メタデータ) (2023-11-18T18:10:02Z) - Constrained Bayesian Optimization with Adaptive Active Learning of
Unknown Constraints [10.705151736050967]
制約下での目的の最適化は、科学実験設計、医療療法の設計、産業プロセス最適化といった現実世界の応用において一般的なシナリオである。
一般のROIを決定するために,各側面から特定されたROIと交差する効率的なCBOフレームワークを提案する。
本稿では,実証的な証拠を通じて提案したCBOフレームワークの効率性とロバスト性を実証し,CBOアルゴリズムの実践的後悔境界を導出する根本的な課題について論じる。
論文 参考訳(メタデータ) (2023-10-12T22:32:00Z) - Epistemic Logic Programs: a study of some properties [4.459996749171579]
Epistemic Logic Programs (ELPs) は、Answer Set Programming (ASP) をエピステミック演算子に拡張する。
最近の研究は、ELPのセマンティックスで満たすべきセマンティックな特性を導入している。
ボトムアップからトップダウンのアプローチから分割へと移行し、視点を変える可能性を分析する。
論文 参考訳(メタデータ) (2023-09-28T11:08:37Z) - A Semantic Approach to Decidability in Epistemic Planning (Extended
Version) [72.77805489645604]
我々は決定可能性を達成するために新しい意味論的アプローチを用いる。
具体的には、知識の論理S5$_n$と(知識)可換性と呼ばれる相互作用公理を拡大する。
我々は,本フレームワークが,独立した知識である共通知識の有限的非固定点的特徴を認めていることを証明した。
論文 参考訳(メタデータ) (2023-07-28T11:26:26Z) - The efficacy of Neural Planning Metrics: A meta-analysis of PKL on
nuScenes [77.83263286776938]
自律運転(AD)における高性能物体検出システムの役割
通常、平均的精度で評価されるパフォーマンスは、シーン内のアクターの向きや距離を考慮していない。
近年、フィリオンらは、プランナーの軌道と基底経路のKL分散に基づく神経計画測度(PKL)を提案した。
論文 参考訳(メタデータ) (2020-10-19T09:32:48Z) - Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。
本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
論文 参考訳(メタデータ) (2020-08-07T06:35:56Z) - Goal-Directed Planning for Habituated Agents by Active Inference Using a
Variational Recurrent Neural Network [5.000272778136268]
本研究では, 予測符号化(PC)とアクティブ推論(AIF)フレームワークが, 低次元潜在状態空間における事前分布を学習することにより, より優れた一般化を実現できることを示す。
提案モデルでは, 最適潜伏変数を推定し, 実験結果の最小化のためのシナプス重みを推定することにより学習を行う。
提案手法は,シミュレーションにおけるロボットタスクと複雑なロボットタスクの両方を用いて評価し,限られた学習データを用いた学習における十分な一般化を実証した。
論文 参考訳(メタデータ) (2020-05-27T06:43:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。