自動定理証明を問題縮小に利用する高性能プランニングアルゴリズムの開発

开发使用自动定理证明来减少问题的高性能规划算法

• 批准号: 12J08506
• 负责人: 今井 達也
• 金额: $ 1.73万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2012
• 资助国家: 日本
• 起止时间: 2012-04-01 至 2015-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12J08506/
• 关键词: プランニング; 探索; 最適化; 人工知能

本研究では古典的なドメイン非依存プランニング問題を解くアルゴリズムの高性能化に取り組んだ。人工知能エージェントが活動するにあたってどのような手順で行動すれば目標を達成できるかを考える問題をプランニング問題といい、エージェントの能力や外部環境なども入力として与えられる問題をドメイン非依存プランニングと呼ぶ。本年度は昨年度とは異なり、問題を解くアルゴリズムの高速化ではなく、プランニング問題を構成する要素のうち不要なものを自動的に探しだし（すなわち要素が不要であることを証明し）、問題を簡約する二つのアルゴリズムを開発した。まず一つ目の簡約アルゴリズムは削除効果緩和問題の不要な要素を取り除く簡約手法である。削除効果緩和問題は、プランニング問題を分枝限定法などによって解くにあたり、各状態から目標状態までのコストを見積もるために非常によく利用されている緩和問題である。この緩和問題を自動的に簡約する手法をプランニングアルゴリズムと組み合わせることにより従来よりも高速に問題を解くことができるようになると期待される。二つ目の簡約アルゴリズムは、緩和問題ではなく一般の問題を簡約するためのアルゴリズムである。この手法では、問題を構成する要素の相互の関係を利用して不要な要素を判別している。この簡約手法は問題を解くためのプランニングアルゴリズムの構造とは無関係であるため、広く一般のプランニングアルゴリズムを高速化できるものと考えられる。

This study proposes a solution to the classical non-dependency problem of non-dependency problems, and a high-performance solution to the problem. Artificial Intelligence Activities Activities ManualでactionすればtargetをachievementできるかをtestえるquestionをプランニンProblems and problems The problem of して and えられる is non-dependent. This year's problem is different from last year's, the problem is solved by high speed, the problem is solved, and the problem is made up of the elements.ものをautomatic にExplorationしだし（すなわちESSENTIALS Proof), problem する二つのアルゴリズムを开発した.まず一つ目の SIMPLE アルゴリズムは Cutting effect to alleviate the problem の な element を GET り く SIMPLE TECHNIQUE である. Deletion effect mitigation problem, プランニング problem, branch limitation method, solution, and each statusからGoal status までのコストをSee accumulation もるためにvery によくUse されている to alleviate the problem である.このeasing problemをautomaticにsimplificationするtechniqueをプランニングアルゴリズムとgroupみ合わせることにより従来よりもHighway に problem をsolved くことができるようになるとLooking forward to される.二つ目の SIMPLE アルゴリズムは, easing the problem ではなく GENERAL のISSUE するためのアルゴリズムである. The method is used, the problem is composed, the factors are related to each other, and the factors are not used to determine the relationship. Simple approach to problem solvingるため、広くGeneral のプランニングアルゴリズムをHigh-speed できるものと卡えられる.

项目成果

ドメイン非依存プランニングアルゴリズムとドメイン依存アルゴリズムの性能比較に関するケーススタディ

领域无关规划算法与领域相关算法性能比较案例研究

• 发表时间: 2013
• 作者: Morizawa Y;Hirayama Y;Shibata S;Koizumi S.;今井 達也;西晃史朗・松本尚英・砂月幸成;森澤陽介;今井 達也;西晃史朗・古荘大輔・松本尚英;森澤陽介;Osamu Watanabe;Yosuke MORIZAWA;今井 達也
• 通讯作者: 今井 達也

Diverse Depth-First Search in Satisficing Planning

满意规划中的多样化深度优先搜索

• 发表时间: 2012
• 作者: 今井達也;今井達也;Akihiro Kishimoto
• 通讯作者: Akihiro Kishimoto

一般有向グラフに対する多項式時間劣線形作業領域最短経路アルゴリズム

一般有向图的多项式时间次线性工作空间最短路径算法

• 发表时间: 2012
• 作者: 今井達也;今井達也;Akihiro Kishimoto;川合隆嗣・山田洋・佐藤暢哉・高田昌彦・松本正幸;今井達也
• 通讯作者: 今井達也

An O (n^<1/2+e>)Space Algorithm for Directed Planar Reachability with Polynomial Running Time

多项式运行时间的有向平面可达性 O (n^<1/2 e>) 空间算法

• 发表时间: 2013
• 作者: Morizawa Y;Hirayama Y;Shibata S;Koizumi S.;今井 達也;西晃史朗・松本尚英・砂月幸成;森澤陽介;今井 達也;西晃史朗・古荘大輔・松本尚英;森澤陽介;Osamu Watanabe
• 通讯作者: Osamu Watanabe

有向ハイパーグラフ上の最短経路問題のための整数計画法による解法

有向超图最短路径问题的整数规划解

• 发表时间: 2014
• 作者: 森澤 陽介;平山友里;小泉修一;今井 達也
• 通讯作者: 今井 達也