This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/doc/output-format.md

26 lines
951 B
Markdown

# Output Format
`plasp` 3 translates SAS and PDDL files into the same ASP fact format.
## Syntax and Semantics
`plasp` structures the translated ASP facts into the multiple sections, which are explained in the following.
### Feature Requirements
Declares advanced features required by the input planning problem, such as conditional effects and axiom rules.
Feature requirements may be used in meta encodings to warn about unsupported features.
syntax | description
-------|------------
`requiresFeature(<feature>).` | declares the feature `<feature>` to be required by the input problem
Currently, feature requirements are only recognized with SAS problems.
SAS feature | description
------------|------------
`actionCosts` | actions have associated costs
`axiomRules` | immediate actions are used, which are executed as soon as the preconditions are satisfied
`conditionalEffects` | some effects of an action may have additional conditions