在模糊知识表示与推理中，否定概念扮演了特殊角色。经典集合和经典逻辑中的一种否定思想已经不能满足信息发展的需要。国内外学者对信息处理领域中的否定提出新的思想，然而他们的成果是根据各自领域处理否定信息的需要展开，不具有普遍意义。模糊逻辑FLCOM和模糊集合FSCOM从概念本质上认知和区分模糊性知识中的各种否定。本文对FLCOM和FSCOM的理论和应用进行相关研究。第一章讨论了模糊逻辑的形成与发展以及研究现状，比较了信息处理领域中以逻辑为基础的否定知识的处理方法。第二章介绍了模糊知识中不同否定关系及其数学定义，讨论了模糊集FSCOM和模糊逻辑FLCOM定义和性质，对现今典型的模糊逻辑关于否定的认识、处理进行比较，显示了FSCOM和FLCOM认识、处理不同否定及其关系的能力和特色。第三章基于FLCOM的一种语义解释，给出了FLCOM的一种无穷值语义模型，基于FLCOM公理理论研究证明了在G del的蕴涵算子下，FLCOM的每条公理都是λ重言式，并对其可靠性进行了证明，为FLCOM的模糊推理算法的扩展研究奠定了一定的理论基础。第四章基于模糊命题逻辑FLCOM和模糊集FSCOM，研究模糊知识的形式表示、推理与计算。将模糊与或图扩展，命题公式视为状态结点，把逻辑规则表示为状态搜索空间，构建模糊命题公式的与或图。在传统与图搜索算法的基础上修改启发函数，给出一种处理推理过程中否定信息的方法，将模糊知识推理转化为状态空间搜索问题，并利用状态空间搜索来解决模糊知识推理问题。第五章研究模糊逻辑FLCOM在模糊决策中的应用。以一金融投资辅助决策的实例，利用距离比率函数给出模糊命题及其不同否定的一种真值度量的方法，并给出了一种确定FLCOM语义模型中λ值的方法，结合模糊产生式规则讨论了FLCOM在模糊决策中的推理和应用。