Closed jinnaiyuu closed 9 years ago
typing: how to implement let's implement non-polymorphic types first.
domain: types -> add predicate, (type[typename] ?obj) constants -> add objects (constname), add init state, (type[typename] constname) predicates -> just remove literals without prefix ?. action parameters -> add precondition, (type_[type] param). then remove literals without prefix ?.
instance: add objects and init state.
airport: objects name explicitly written in domain files using constants. need to make possible to read this kind of file.
airport is working. rovers is not.
seems its working for most of the domains. need to see how it works for all domans, one by one.
Currently my preprocessor have 2 difficulties.
Problem 1 . Cannot read action with many parameters(>5). Instantiation of such an action takes exponential time. Not sure how to cope with this.
Solution 1 . Write all actions and predicates to files like PDB. Solution 2 . Prune inadequate allocations.
Problem 2 . Typing, Constant, action cost Not ready yet.
Solution 1 . Find preprocessor somewhere. Solution 2 . Write by myself, one by one. Solution 3 . Generate by yacc or something.