基于格值逻辑的语言真值α-广义归结自动推理研究

针对带有不确定性的自动推理，依据基于格蕴涵代数的格值逻辑，借鉴广义归结自动推理学术思想，应用语言真值格蕴涵代数，遵循不确定性的程度差异性，在基于格蕴涵代数的格值逻辑之不确定性推理和语言真值α-归结自动推理的研究基础上，研究基于格值逻辑的语言真值α-广义语义归结自动推理、基于格值逻辑的语言真值α-广义线性归结自动推理、基于格值逻辑的语言真值α-广义锁归结自动推理（简称：三种典型的α-广义归结自动推理），分别提出相应的基本理论、建立相应的具有可靠性和完备性的方法、构造相应的具有可靠性和完备性的优化算法、设计相应的比较实用的程序，并比较三种典型的α-广义归结自动推理方法、算法、程序的有效性、复杂性和实用性，为带有不确定性的语言真值α-广义归结自动推理提供基本理论、实用方法、有效算法、应用程序。