人类在对事物进行判断时,时常表现出赞同、犹豫及反对三种态度,直觉模糊逻辑能够很好的表达人类在受到外界信息影响后做出的带有犹豫程度的不确定性推理。归结方法作为自动推理的重要分支,以其严谨而简洁的推理过程被诸多学者关注。本文结合经典逻辑中的线性归结方法提出了直觉模糊命题逻辑的(α,β)-有序线性归结,并进一步研究了直觉模糊谓词逻辑中的(α,β)-线性归结。结合锁归结策略,提出了直觉模糊谓词逻辑的(α,β)-线性半锁归结,提高了直觉模糊谓词逻辑的归结效率。本文的主要研究成果如下:本文提出了一种基于(α,β)-归结的直觉模糊命题逻辑自动推理方法。通过有限次的使用等价公式将每一个同时拥有真度和假度的直觉模糊命题逻辑公式转换成直觉模糊命题逻辑广义子句。利用假定的阈值(α,β)判断直觉模糊命题逻辑广义子句中的每一个直觉模糊命题逻辑文字是否是(α,β)-可满足的,并以此为基础将文字分成两类,即(α,β)-相似文字和(α,β)-互补文字。利用线性归结仅有一条中心线和一条边线的结构去限制每次归结过程中的归结子句。此外通过(α,β)-有序归结去限制每次参加归结的文字必须是中心子句的最右一个文字。然后使用直觉模糊命题逻辑被框文字去记录已经归结过的文字的信息,而不是将其存贮在内存中,以减少可能的归结数量并提高归结的效率。得到了(α,β)-有序线性归结的可靠性和完备性,并通过实例说明了(α,β)-有序线性归结算法的有效性。为了提高直觉模糊谓词逻辑的归结效率,本文结合经典逻辑中的线性归结和锁归结策略,在(α,β)-归结原理的基础上提出了直觉模糊谓词逻辑的(α,β)-线性半锁归结方法。文中首先给出了直觉模糊谓词逻辑中将直觉模糊谓词公式转换成Skolem标准范式的方法。接着研究了直觉模糊谓词逻辑中的(α,β)-线性半锁归结,给出了直觉模糊谓词逻辑中锁子句的合并规则,证明了该方法的可靠性和完备性。该归结方法是(α,β)-线性归结在直觉模糊谓词逻辑中的拓展,既保留了线性归结结构简洁、直观的优势,又拥有锁归结限制文字顺序的优点,从而使直觉模糊谓词逻辑的归结效率得到了提升。最后将(α,β)-线性半锁归结应用于问题求解领域中,设计了直觉模糊谓词逻辑的(α,β)-线性半锁归结问题求解算法,并以三个例子说明了基于(α,β)-线性半锁归结的问题求解算法的有效性。