An Automatic Translator from KIF to PDDL
Fiona McNeill, Alan Bundy, Chris Walton · ERA · 2004
In this paper, we present a translation process that we have developed to convert KIF ontologies into PDDL. This allows us to define KIF-based agents that can plan efficiently. We discuss the difficulties inherent in such a translation process, and the steps we have taken to overcome them. This process is translates from only a subset of KIF to a corresponding subset of PDDL.