论文部分内容阅读
为了处理在不确定性环境下的自动演绎，本文重点研究基于自动推理理论的推理方法，其理论是真值定义在格蕴涵代数结构上格值逻辑系统中的。在确定真值水平α的二元归结已有的研究基础上，作为其继续研究和扩展，本文引入基于格值命题逻辑系统LP(X)的非子句多元α-有序线性广义归结方法和演绎，这将从本质上避免一个非子句广义归结演绎到规范子句形式。随后，得到LP(X)中的非子句多元-有序线性广义归结演绎是可靠和完备的。本文的研究工作是想提供一个方法基础，以达到在格值命题逻辑中基础自动推理的归结能够更有效。