The syntax and semantics of FDDL are given.

• 给出了FDDL的语法和语义，研究了FDDL的推理机制。