| 中文摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 第1章 绪论 | 第14-27页 |
| 1.1 形成本文的学术背景 | 第14-15页 |
| 1.2 国内外研究现状 | 第15-25页 |
| 1.2.1 基于经典逻辑的归结自动推理研究现状 | 第15-18页 |
| 1.2.2 基于格蕴涵代数的格值逻辑的归结自动推理研究现状 | 第18-25页 |
| 1.3 本文的主要内容 | 第25-27页 |
| 第2章 预备知识 | 第27-33页 |
| 2.1 格蕴涵代数和格值命题逻辑系统简介 | 第27-29页 |
| 2.1.1 格蕴涵代数 | 第27-29页 |
| 2.1.2 格值命题逻辑系统LP(X) | 第29页 |
| 2.2 格值一阶逻辑系统LF(X)中的公式及其解释 | 第29-31页 |
| 2.3 语言真值格蕴涵代数简介 | 第31-33页 |
| 第3章 格值逻辑系统中广义文字的α-归结性 | 第33-52页 |
| 3.1 格值命题逻辑系统中的α-归结与α-归结演绎 | 第33-35页 |
| 3.2 格值命题逻辑系统(L_n×L_2)P(X)中0-IESF的α-归结性 | 第35-44页 |
| 3.3 格值命题逻辑系统(L_n×L_2)P(X)中1-IESF的α-归结性 | 第44-48页 |
| 3.4 格值命题逻辑系统(L_n×L_2)P(X)中2-IESF的α-归结性 | 第48-52页 |
| 第4章 格值逻辑系统的α-语义归结自动推理 | 第52-94页 |
| 4.1 基于命题变元和形如x→b广义文字的α-语义归结方法 | 第52-58页 |
| 4.2 基于命题变元和形如x→(x→b)广义文字的α-语义归结 | 第58-69页 |
| 4.2.1 基于命题变元和形如x→(x→b)广义文字的α-语义归结方法 | 第58-66页 |
| 4.2.2 基于命题变元和形如x→(x→b)广义文字的α-语义归结算法 | 第66-69页 |
| 4.3 LP(X)中基于形如C~*(?) x的广义子句的α-语义归结方法 | 第69-71页 |
| 4.4 LP(X)中基于一类广义子句集的α-语义归结方法 | 第71-75页 |
| 4.5 语言真值格值命题逻辑L_(V(n×2))P(X)中的α-语义归结 | 第75-82页 |
| 4.5.1 基于语言真值格值命题逻辑L_(V(n×2))P(X)的(d_i,t)-语义归结方法 | 第75-78页 |
| 4.5.2 基于语言真值格值命题逻辑L_(V(n×2))P(X)的(d_(n-i+1,f)-语义归结方法 | 第78-79页 |
| 4.5.3 基于语言真值格值命题逻辑L_(V(n×2))P(X)的α-语义归结算法 | 第79-82页 |
| 4.6 格值一阶逻辑系统LF(X)中的α-语义归结方法 | 第82-87页 |
| 4.7 语言真值格值一阶逻辑L_(V(n×2))F(X)中的α-语义归结 | 第87-94页 |
| 4.7.1 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的(d_i,t)-语义归结方法 | 第87-89页 |
| 4.7.2 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的(d_(n-i+1,f)-语义归结方法 | 第89-91页 |
| 4.7.3 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的α-语义归结算法 | 第91-94页 |
| 第5章 格值逻辑系统的α-广义语义归结自动推理 | 第94-119页 |
| 5.1 格值命题逻辑系统LP(X)的α-广义归结 | 第94-95页 |
| 5.2 格值命题逻辑系统LP(X)的α-广义语义归结方法 | 第95-100页 |
| 5.3 语言真值格值命题逻辑L_(V(n×2))P(X)的α-广义语义归结 | 第100-107页 |
| 5.3.1 基于语言真值格值命题逻辑L_(V(n×2))P(X)的(d_i,t)-广义语义归结方法 | 第100-102页 |
| 5.3.2 基于语言真值格值命题逻辑L_(V(n×2))P(X)的(d_(n-i+1,f)-语义归结方法 | 第102-104页 |
| 5.3.3 基于语言真值格值命题逻辑L_(V(n×2))P(X)的α-广义语义归结算法 | 第104-107页 |
| 5.4 格值一阶逻辑系统LF(X)中的α-广义语义归结方法 | 第107-111页 |
| 5.5 语言真值格值一阶逻辑L_(V(n×2))F(X)的α-广义语义归结 | 第111-119页 |
| 5.5.1 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的(d_i,t)-广义语义归结方法 | 第111-114页 |
| 5.5.2 基于语言真值格值一阶逻辑L_(V(n×2))F(X))的(d_(n-i+1,f)-语义归结方法 | 第114-116页 |
| 5.5.3 基于语言真值格值一阶逻辑L_(V(n×2))F(X)的α-广义语义归结算法 | 第116-119页 |
| 第6章 格值逻辑系统中归结方法的相容性 | 第119-136页 |
| 6.1 格值一阶逻辑LF(X)中α-语义归结方法与删除策略的相容性 | 第119-125页 |
| 6.1.1 LF(X)中带有删除策略的α-语义归结 | 第119-121页 |
| 6.1.2 LP(X)中带有删除策略的α-语义归结算法 | 第121-125页 |
| 6.2 格值一阶逻辑中α-广义语义归结方法与广义删除策略的相容性 | 第125-128页 |
| 6.2.1 LF(X)中带有删除策略的α-广义语义归结 | 第125-127页 |
| 6.2.2 LP(X)中带有删除策略的α-广义语义归结算法 | 第127-128页 |
| 6.3 LF(X)中α-广义归结和支撑集归结的相容性 | 第128-136页 |
| 6.3.1 格值逻辑中的支撑集归结 | 第128-132页 |
| 6.3.2 一般广义子句集的广义支撑集归结方法 | 第132-136页 |
| 结论与展望 | 第136-138页 |
| 致谢 | 第138-139页 |
| 参考文献 | 第139-151页 |
| 附录 | 第151-164页 |
| 攻读博士学位期间的科研工作 | 第164-165页 |
