摘要： 主要讨论ＤＦＬ谓词描述下的归结推理方法，它是一种机器化的可在计算机上加以实现的推理方法．首先介绍ＤＥＬ命题下的归结方法，最后介绍ＤＦＬ的归结原理及方法．

关键词: 动态模糊逻辑, 归结原理, 归结策略

Abstract: This paper mainly discusses the resolution methods of DFL predicate logic, the methods can be implemented on the computer. We first Put forword the resolution method of DFL proposition logic,then resolution principle and the resolution methods at dynamic ho logic are proposed of the end at the Paper.

中图分类号: 

• TP18