| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 第1章 绪论 | 第12-32页 |
| ·本文的学术背景 | 第12-14页 |
| ·国内外研究现状 | 第14-24页 |
| ·本文的主要内容 | 第24-25页 |
| ·格蕴涵代数和格值逻辑系统简介 | 第25-28页 |
| ·语言真值格蕴涵代数简介 | 第28-32页 |
| 第2章 语言真值格值命题逻辑系统LVL_(n×2)P(X)中归结的研究 | 第32-42页 |
| ·LP(X)中的α-归结原理和J-归结原理 | 第32-35页 |
| ·LP(X)中的α-归结域与J-归结域的性质 | 第35-38页 |
| ·LVL_(n×2)P(X)中α-归结与J-归结之间的关系 | 第38-42页 |
| 第3章 格值命题逻辑系统L_nP(X)中广义文字的α-归结域 | 第42-83页 |
| ·0-IESF的α-归结域 | 第42-60页 |
| ·1-IESF的α-归结域 | 第60-72页 |
| ·2-IESF的α-归结域 | 第72-83页 |
| 第4章 语言真值格值命题逻辑系统的α-归结自动推理方法 | 第83-124页 |
| ·语言真值格值命题逻辑系统LVL_nP(X)上的α-归结自动推理方法 | 第83-111页 |
| ·语言真值格值命题逻辑系统LVL_9P(X)上的α-归结自动推理方法 | 第111-119页 |
| ·格值命题逻辑系统L_(2n+1)P(X)半正则广义文字M-归结自动推理方法 | 第119-124页 |
| 第5章 格值一阶逻辑LF(X)中简单广义子句集查找基例的算法 | 第124-137页 |
| ·预备知识 | 第124-126页 |
| ·格值一阶逻辑系统LF(X)中的合一算法 | 第126-129页 |
| ·格值一阶逻辑系统LF(X)中简单广义子句集查找基例的算法 | 第129-137页 |
| 第6章 语言值决策 | 第137-152页 |
| ·基于语言值格蕴涵代数的多目标决策方法 | 第137-141页 |
| ·带有广义语言格值信息的多目标决策方法 | 第141-145页 |
| ·语言值群决策方法 | 第145-152页 |
| 第7章 结论与展望 | 第152-154页 |
| ·结论 | 第152页 |
| ·展望 | 第152-154页 |
| 致谢 | 第154-155页 |
| 参考文献 | 第155-166页 |
| 攻读博士学位期间的科研工作 | 第166-167页 |
