AI Planning Languages Semantics (Q7361089)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry AI_Planning_Languages_Semantics
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | AI Planning Languages Semantics |
AFP entry AI_Planning_Languages_Semantics |
Statements
29 October 2020
0 references
Mohammad Abdulaziz
0 references
Peter Lammich
0 references
AI Planning Languages Semantics (English)
0 references
This is an Isabelle/HOL formalisation of the semantics of the multi-valued planning tasks language that is used by the planning system Fast-Downward, the STRIPS fragment of the Planning Domain Definition Language (PDDL), and the STRIPS soundness meta-theory developed by Vladimir Lifschitz. It also contains formally verified checkers for checking the well-formedness of problems specified in either language as well the correctness of potential solutions. The formalisation in this entry was described in an earlier publication.
0 references
0 references
0 references
0 references
0 references
0 references
0 references
