论文部分内容阅读
自动推理是人工智能研究的一个重要内容，基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识，为自动推理研究提供了严格的逻辑基础。给出了语言真值格蕴涵代数5级的一些性质，在基于十八元语言真值格蕴涵代数。Ⅷ的格值命题逻辑系统彩P（X）框架下，刻画了1-IESF和2-IESF型对应广义文字的结构，给出了其广义文字的可归结性。这些工作将为基于语言真值格值逻辑系统的归结自动推理提供重要的研究基础。