模糊推理的机制及其逻辑基础

不确定性推理是计算智能研究中的重要方向之一，在智能机器的研制中将发挥重要的作用。经过众多学者长期的研究，已经形成了多种不确定性推理方法，其中最主要的有模糊推理方法，证据推理方法和概率推理方法等三种。值得注意的是，推理方法的合理性是其被接受并得到广泛应用的基础，而这种合理性可以通过其逻辑意义来衡量。因此，将推理方法与相应的逻辑体系有机地结合起来，并为这些推理方法建立可靠的逻辑基础，就成为十分重要的研究课题。本项目基于已有的研究工作，深入研究几种模糊推理模型的推理机制，特别是面向广义重言式的一般推理模型和模糊量化命题的推理模型，改进与完善已有的模糊推理方法，重点探讨模糊推理的逻辑基础问题，试图在适当的逻辑框架里为模糊推理寻求逻辑依据，为模糊推理的实际应用提供新的有效方法。