随着人工智能的发展,人们的生活越来越智能化,日常生活中在客观评价和推理时,会有很多不确定性的信息。人类在表达不确定信息时习惯用语言值,语言真值格蕴涵代数的提出不仅能够很好地处理既具有可比性又具有不可比性的语言值信息问题,而且用语言值进行推理,可以减少信息缺失以及提高信息处理效率。针对人类在做推理时发现同一个语言值的否定会根据不同的思维有不同的否定结果的问题,本文基于语言真值格蕴涵代数的语言真值逻辑系统,提出了广义语言真值格值逻辑系统的不确定性推理方法和基于广义语言真值谓词逻辑系统不确定性推理方法,主要研究内容包括:基于语言真值格蕴涵代数的语言真值逻辑系统,结合语言值的否定,构建广义语言真值格值逻辑系统,讨论了广义语言真值格值逻辑系统中命题的否定算子,并将否定算子区分为强否定算子、全否定算子和弱否定算子,研究了否定算子的相关性质,通过否定算子的多样性,提出不同否定算子之间的聚合运算。结合基于滤子的语言真值归结推理方法,提出基于滤子的广义语言真值的归结推理方法,该方法可以有效地解决具有不同否定算子的情况下的归结问题。应用实例说明了该方法的合理性和有效性。为了解决经典谓词逻辑中,存在量词与全称量词所能表述问题的局限性,基于语言真值谓词逻辑系统,构建了广义语言真值谓词逻辑系统,在此系统中研究语言值量词及其相关性质。并在该系统中研究了将广义语言真值谓词逻辑系统公式转换成Skolem标准范式的方法。完整地给出了广义语言真值谓词逻辑系统的归结原理的提升引理以及完备性的证明,结合经典互补对归结方法,提出了广义语言真值谓词逻辑系统的归结自动推理方法,该方法可以有效地解决具有语言值量词的情况下的归结问题,应用实例说明了该方法的合理性和有效性。