语言真值格值命题逻辑系统中广义文字的归结判定

自动推理是人工智能研究的一个重要内容，基于归结原理的自动推理是自动推理研究的重要分支。基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识，为自动推理研究提供了严格的逻辑基础。给出了语言真值格蕴涵代数纷