An Automatic Translator from KIF to PDDL

摘要

In this paper, we present a translation process that we have developed to convert KIFudontologies into PDDL. This allows us to define KIF-based agents that udcan 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.