Fugu-MT 論文翻訳(概要): An Undecidability Proof for the Plan Existence Problem

論文の概要: An Undecidability Proof for the Plan Existence Problem

arxiv url: http://arxiv.org/abs/2604.22736v1
Date: Fri, 24 Apr 2026 17:36:17 GMT
ステータス: 翻訳完了
システム内更新日: 2026-04-27 15:36:26.545231
Title: An Undecidability Proof for the Plan Existence Problem
Title（参考訳）: 計画立案問題に対する不確定証明
Authors: Antonis Achilleos,
Abstract要約: 計画存在問題は、目的を達成するために適用可能な一連のアクションが存在するかどうかを、モーダル論理の式という形で与えられたゴールを問う。動作の事前条件が少なくとも1のモーダル深さを持つ場合においても、後条件が存在しない場合であっても、計画の存在問題は決定不可能である。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: The plan existence problem asks, given a goal in the form of a formula in modal logic, an initial epistemic state (a pointed Kripke model), and a set of epistemic actions, whether there exists a sequence of actions that can be applied to reach the goal. We prove that even in the case where the preconditions of the epistemic actions have modal depth at most 1, and there are no postconditions, the plan existence problem is undecidable. The (un)decidability of this problem was previously unknown.
Abstract（参考訳）: 計画存在問題は、モジュラー論理の式、初期てんかん状態(尖ったクリプケモデル)、および一連のてんかん行動(ゴールに到達するために適用できる一連の作用が存在するかどうか)の形式でゴールを与えられることを要求する。疫学的行動の前提条件が少なくとも1のモーダル深さを持つ場合においても, ポスト条件が存在しない場合においても, プラン存在問題は決定不可能である。この問題の(未)決定性は以前不明であった。

関連論文リスト

A Concept of Possibility for Real-World Events [0.0]
本稿は、1978年にL.A. Zadehによって最初に導入された現在の標準概念の代替として、その可能性の新しい概念を提供する。この新版は原典に触発されたものであるが、公式には、論理接続の多価解釈をLukasiewiczに採用したこと以外は共通点がない。
論文参考訳（メタデータ） (2025-10-03T01:15:06Z)
Planning with Dynamically Changing Domains [7.469995940050812]
前もって与えられた名前のオブジェクトが有限個あると仮定され、それらは行動や流線型にのみ参加できる。我々は一階述語論理の計画問題を定式化し、初期理論が有限一貫した流動リテラル集合であると仮定する。本稿では,計画時に根ざした行動列の探索を整理することを提案する。
論文参考訳（メタデータ） (2025-07-26T17:34:25Z)
Exploring Inevitable Waypoints for Unsolvability Explanation in Hybrid Planning Problems [0.0]
計画問題の解決不可能を説明することは、説明可能なAI計画において重要な研究の関心事である。本稿では,ハイブリッドシステムにおける計画問題の未解決性を解析・説明するためのメカニズムとして,サブプロブレム同定という同じ哲学を採用することを提案する。
論文参考訳（メタデータ） (2025-04-22T07:45:30Z)
Platform-Aware Mission Planning [50.56223680851687]
本稿では,PAMP(Platform-Aware Mission Planning)の問題を紹介する。第1のベースラインアプローチはミッションレベルとプラットフォームレベル、第2のベースラインアプローチは抽象リファインメントループに基づいている。提案手法の健全性と完全性を実証し,実験により検証する。
論文参考訳（メタデータ） (2025-01-16T16:20:37Z)
Unified Task and Motion Planning using Object-centric Abstractions of Motion Constraints [56.283944756315066]
本稿では,タスクとモーションプランニングを一つの検索に統一するTAMP手法を提案する。我々のアプローチは、オフザシェルフAIサーチの計算効率を活用して、物理的に実現可能な計画が得られるような、オブジェクト中心の動作制約の抽象化に基づいている。
論文参考訳（メタデータ） (2023-12-29T14:00:20Z)
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)
A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
論文参考訳（メタデータ） (2023-05-19T13:15:48Z)
Knowing How to Plan [0.0]
このようなロジックを使って、モデルチェックによるノウハウベースのプランニングを行います。特に、ノウハウの公式を目標とする高次てんかん計画の処理が可能である。
論文参考訳（メタデータ） (2021-06-22T02:47:06Z)
Probability and consequences of living inside a computer simulation [77.65665055163332]
合理的な仮定の下では、ドレーク型方程式は宇宙が故意のシミュレーションの結果であるという確率に対して得られることが示されている。このようなシミュレーションの外部からの盗聴の可能性について検討し、シミュレーション内の量子暗号の試行を回避できる汎用攻撃を導入する。
論文参考訳（メタデータ） (2020-08-21T02:41:33Z)

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