最適計画のための効率的な記号探索【Powered by NICT】

Torralba Alvaro; Alcazar Vidal; Kissmann Peter; Edelkamp Stefan

文献

J-GLOBAL ID：201702291675982691 整理番号：17A1055304

最適計画のための効率的な記号探索【Powered by NICT】

Efficient symbolic search for cost-optimal planning

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A1055304&from=J-GLOBAL&jstjournalNo=E0180C") }}

著者 (4件)： , , ,
資料名：
巻： 242 ページ： 52-79 発行年： 2017年
JST資料番号： E0180C ISSN： 0004-3702 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：オランダ (NLD) 言語：英語 (EN)

コスト最適計画では,最小コストで目標を達成する演算子のシーケンスを見つけることを目的とする。二分決定グラフ(BDD)を用いた記号探索は時間とメモリの観点から効率的な状態空間探索を行う。これは最適状況下では,状態空間の大部分は,最適性を証明するために調べなければならないのに重要である。しかし,近年における明示的状態探索のための正確な発見的方法の開発は,二次場所に残された記号探索技法た。本論文では,記号探索計画のための二つの直交する改善を提案した。一方,記号探索に後継生成を効率的に行うために,画像計算のための異なる方法を分析し比較した。画像計算は記号探索アルゴリズムの主要なボトルネックである効率的な記号探索計画のために重要である効率的な計算。一方,記号探索におけるプルーン状態への状態不変制約を使用するかを検討した。これは回帰探索に必須であるが,まだ記号探索計画者に利用されていない。記号双方向のuniform-cost探索と記号A~*探索PDBとを用いた実験により,最もIPCベンチマークドメインに顕著な性能改善を示した。全体として,著者らの改善の助けを借りて,記号双方向探索は多くの異なる領域にわたるLMカットのような最先端の発見的方法による明示的状態探索よりも優れていた。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

, , , ,
, , , 【Automatic Indexing@JST】

著者キーワード (4件)： , , ,

人工知能

, ,

前のページに戻る