Thanks for the IPPC questions, answers below.
Q: Modifying mdpsim client for rddlsim?
A: The protocols are very close, see our PROTOCOL.txt file:
The code in rddlsim/cclient is in fact a modified mdpsim client. See
It should be straightforward to modify your client following this example.
Q: Are there quantifiers in ground PPDDL? Is it legal PPDDL?
A: There are no quantifiers and no variables, everything is grounded w.r.t. a fixed set of domain objects. Ground PPDDL is still legal PPDDL and is semantically equivalent to the RDDL domain / instance from which it was derived.
Best if you look at the translated PPDDL examples provided in files/boolean/ppddl:
Q: From the past discussion, I am thinking something like:
(1) We will be provided with a translator that convert problems in
RDDL to PPDDL format.
(2) During the competition, we have to convert all problems by
ourselves if we want to read in PPDDL format using the translator
(3) Our planner will then talk to the server using the protocol
outlined in PROTOCOL.txt.
A: Yes to (1) and (3) -- please note the translator already exists and is documented in rddlsim/INSTALL.txt.
For (2) you can translate if you want, but we will also provide a competition directory that looks something like files/boolean:
where the subdirectories will contain the RDDL source and the other translations.
How will you know which instances to use in the competition? We will provide a text file of instance names (15 instances per domain, 8 domains) -- one per line -- of competition instances.