基于描述逻辑的模糊er模型

分析了描述逻辑alnui与er模型的关系,特别是如何将er模型转化为alnui的知识库,从而利用alnui的推理机制对er模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊er模型.针对模糊er模型的特点和需求,在描述逻辑alnui的基础上,对描述逻辑alnui进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑falnui.研究了基于falnui的模糊er模型,即研究了如何将模糊er模型转化为falnui的知识库,并利用falnui的推理机制研究了模糊er模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.