动态模糊逻辑(DFL)的归结策略

摘要：

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

关键词：动态模糊逻辑、归结原理、归结策略

所属期刊栏目：27

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金;苏州大学校科研和教改项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：86-89，118