plasp
3.1.1
PDDL용 ASP 계획 도구
plasp 답변 세트 프로그래밍 계획을 위한 도구 모음입니다. plasp 3은 Fast Downward에서 사용되는 입력 언어 PDDL 3.1(지속 작업, 수치 유창 및 기본 설정과 같은 고급 기능 제외) 및 SAS(SAS 3 전체 지원)를 지원합니다.
plasp 가 제공하는 가장 주목할만한 도구는 PDDL 설명을 ASP 사실로 변환하는 plasp translate 입니다.
PDDL 인스턴스는 다음과 같이 ASP 사실로 변환됩니다.
plasp 번역 domain.pddl 문제.pddl
또는 PDDL 인스턴스가 먼저 Fast Downward의 출력 형식인 SAS로 변환될 수 있습니다.
./fast-downward.py --translate --build=release64 domain.pddl 문제.pddl
그러면 output.sas 라는 파일이 생성되며 이제 plasp 로도 번역될 수 있습니다.
plasp 번역 출력.sas
번역된 인스턴스는 최종적으로 clingo 및 메타 인코딩(예: sequential-horizon.lp 을 사용하여 해결할 수 있습니다.
plasp 번역 domain.pddl 문제.pddl > 인스턴스.lp 클링고 인코딩/순차-수평선.lp -c 수평선=10 인스턴스.lp
plasp translate SAS 및 PDDL 입력 문제에 대해 통일된 출력 형식을 제공합니다. 자세한 내용은 출력 형식을 참조하세요.
plasp translate 의 출력에 대한 메타 인코딩을 직접 작성하려면 이 간단한 예제 인코딩을 사용하면 됩니다.
plasp <명령> [<옵션>...] [<입력 파일>...]
PDDL을 ASP 사실로 변환하는 것 외에도 plasp 다음 명령을 제공합니다.
| 명령 | 설명 |
|---|---|
translate | PDDL 및 SAS를 ASP 사실로 변환 |
normalize | PDDL을 plasp의 사용자 정의 PDDL 형식으로 정규화 |
check-syntax | PDDL 사양의 구문을 확인하세요. |
beautify | PDDL 사양을 깔끔하게 형식화 |
help | 도움말 메시지 표시 |
version | 버전 정보 표시 |
plasp help plasp 가 제공하는 모든 명령 목록을 보여줍니다. 명령의 사용 가능한 모든 옵션을 나열하려면 plasp <command> --help 또는 plasp help <command> 호출하세요.
plasp 입력 설명의 언어(PDDL 또는 SAS)를 자동으로 감지합니다.
plasp CMake와 C++ 컴파일러로 구축되었습니다. 자세한 내용은 건물을 참조하세요.
plasp PDDL 3.1의 하위 집합을 지원합니다. 지원되거나 지원되지 않는 PDDL 3.1 기능 목록은 PDDL 기능 지원을 참조하세요.
패트릭 뤼네
마틴 게브서(인코딩)
Torsten Schaub(인코딩)
르네 크나벨
무라트 크네히트
