0
빠른 진행 플래너가 계산 한 계획이 가능한 모든 계획 중에서 최상인지 확인하려면 어떻게해야합니까?!빨리 감기 및 pddl : 가장 좋은 계산 솔루션입니까?
이 문제를 해결하는 자동 도구가 있습니까?!
감사합니다.
A
답변
1
잘못 기억하지 않으면 FF가 최적의 계획자가 아니므로 생성 된 계획이 최적인지 확실하지 않을 수 있습니다. 반면에 FF는 최적 계획을 제공하지만 계획을 만족시키는 것보다 훨씬 느린 최적 계획자 (cpt4, bjolp, ecc ...)와는 대조적으로 "충분히 좋은"솔루션을 빠르게 생성합니다.
현재이 계획의 목록을 찾을 수 있습니다 IPC2011 Planners는
이것은 내가 전체 검색 공간을 작성하고 그 위에 A *를 사용하여 차별화 최선의 계획을 얻기 위해 상상할 수있는 유일한 방법입니다.
1
Demplo가 이미 지적했듯이 FF는 최적의 솔루션을 찾지 못할 수도 있습니다. (FF 휴리스틱)도있다
- 가 사용하는 알고리즘
- 가 사용하는 휴리스틱을 최적의 보장을 제공하지 않습니다 (강제 hillclimbing) : 그 이유는 당신이 정말로 최적의 솔루션을 발견 할 경우에 대비 아는 것이 중요합니다 최적의 솔루션을 찾는데 적합하지 않습니다.
둘 다 "수정"하려면 허용 가능한 휴리스틱과 함께 A * 알고리즘을 사용해야합니다.
많은 수의 다양한 알고리즘과 휴리스틱을 지원하므로 잘 알려진 Fast Downward Planning System (www.fast-downward.org/)을 설치하는 것이 좋습니다. 말하자면, A *가 선택되어야하고, 휴리스틱 스 (heuristic)로 받아 들여질 수있는 것. 이러한 조합을 통해 발견 된 계획은 주어진 문제에 대한 최적의 솔루션입니다.
(주로 검색/계획 전문가 용) : A *는 그래프 검색이 아닌 트리 검색 (즉, 중복이 반복적으로 확장되는 경우)을 구현하는 경우에만 최적의 솔루션을 찾을 수 있습니다. 그래프 검색을 구현하는 경우 휴리스틱을 허용하기에는 충분하지 않으며 단조 로움이 필요합니다 (일관성이라고도 함). 그러나 http://www.fast-downward.org/Doc/SearchEngine에 따르면 트리 검색을 구현합니다 (제 생각에는). 또한 일관된 발견 적 방법이 있습니다.