| 摘要 | 第1-8页 |
| Abstract | 第8-14页 |
| 1 Introduction | 第14-24页 |
| ·Research motivation | 第14-21页 |
| ·General background | 第14-17页 |
| ·Related work | 第17-21页 |
| ·Objectives and problem descriptions | 第21页 |
| ·Contributions | 第21-22页 |
| ·Organization of the dissertation | 第22-24页 |
| 2 Preliminaries | 第24-30页 |
| ·Linguistic truth-valued lattice implication algebras | 第24-26页 |
| ·Linguistic truth-valued lattice-valued logic | 第26-27页 |
| ·α-Resolution principle in lattice-valued logic | 第27-30页 |
| 3 The structure of generalized literals in linguistic truth-valued lattice-valued propositional logic | 第30-54页 |
| ·Introduction | 第30-31页 |
| ·The structure of k-IESF in L_6P(X) | 第31-44页 |
| ·The structure of 3-IESF in L_6P(X) | 第31-36页 |
| ·The structure of 4-IESF in L_6P(X) | 第36-42页 |
| ·An algorithm for finding k-IESFs in L_6P(X) | 第42-44页 |
| ·A unified method for finding k-IESFs in L_(n×2)P(X) | 第44-49页 |
| ·Normal properties of generalized literals | 第49-53页 |
| ·Discussions | 第53-54页 |
| 4 α-Lock resolution method for lattice-valued logic | 第54-74页 |
| ·Introduction | 第54-55页 |
| ·α-Lock resolution method in LP(X) | 第55-58页 |
| ·α-Lock resolution method in LF(X) | 第58-64页 |
| ·α-Lock resolution for LF(X) | 第58-59页 |
| ·The soundness and completeness of α-lock resolution in LF(X) | 第59-62页 |
| ·An algorithm for α-lock resolution for LF(X) | 第62-64页 |
| ·The transformation of α-lock resolution between L_(V(n×2))F(X) and L_nP(X) | 第64-67页 |
| ·α-Satisfiability of formulae | 第67-72页 |
| ·α-Satisfiability of formulae in L_nP(X) | 第67-71页 |
| ·A universal algorithm for validating α-resolvability of formulae | 第71-72页 |
| ·Discussions | 第72-74页 |
| 5 On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic | 第74-94页 |
| ·Introduction | 第74页 |
| ·Compatibility with generalized deleting strategy | 第74-80页 |
| ·α-Lock resolution with generalized deleting strategy in L_nF(X) | 第75-78页 |
| ·An algorithm for α-lock resolution with generalized deleting strategy | 第78-80页 |
| ·Compatibility with α-linear resolution method | 第80-86页 |
| ·α-Linear semi-lock resolution method in L_n(X) | 第81-84页 |
| ·An algorithm for α-linear semi-lock resolution in L_nP(X) | 第84-86页 |
| ·Compatibility with α-input resolution method | 第86-92页 |
| ·α-Input (α-Unit) resolution method in L_nF(X) | 第86-88页 |
| ·The completeness of α-input (α-unit) resolution in L_nF(X) | 第88-89页 |
| ·An algorithm for α-unit resolution method in L_nP(X) | 第89-91页 |
| ·α-Lock resolution with α-input resolution method in L_nF(X) | 第91-92页 |
| ·Discussions | 第92-94页 |
| 6 A general form of α-generalized resolution principle for linguistic truth-valued lattice-valued logic | 第94-106页 |
| ·Introduction | 第94-95页 |
| ·α-Generalized resolution principle for L_(V(n×2))P(X) | 第95-99页 |
| ·α-Generalized resolution principle for L_(V(n×2))F(X) | 第99-103页 |
| ·The α-unsatisfiblity for a general form of the logical formula | 第99-101页 |
| ·The completeness for the general form of α-generalized resolution principle | 第101-103页 |
| ·The transformation of α-generalized resolution between L_(V(n×2))F(X) and L_nP(X) | 第103-105页 |
| ·Discussions | 第105-106页 |
| 7 α-Generalized lock resolution method for linguistic truth-valued lattice-valued logic | 第106-118页 |
| ·Introduction | 第106-107页 |
| ·α-Generalized lock resolution method in LP(X) | 第107-110页 |
| ·α-Generalized lock resolution method in LF(X) | 第110-112页 |
| ·Equivalent transformation of α-generalized lock resolution | 第112-114页 |
| ·An algorithm for α-generalized lock resolution L_nP(X) | 第114-116页 |
| ·Discussions | 第116-118页 |
| 8 On compatibility of α-generalized lock resolution method for linguistic truth-valued lattice-valued logic | 第118-130页 |
| ·Introduction | 第118页 |
| ·Compatibility with α-generalized linear resolution | 第118-122页 |
| ·α-Generalized linear semi-lock resolution method in L_nF(X) | 第118-121页 |
| ·An algorithm for α-generalized linear semi-lock resolution in L_nP(X) | 第121-122页 |
| ·Comparisons with α-generalized resolution methods | 第122-127页 |
| ·Discussions | 第127-130页 |
| Conclusions and further works | 第130-132页 |
| ·Conclusions | 第130-131页 |
| ·Further researches | 第131-132页 |
| Acknowledgements | 第132-134页 |
| Bibliography | 第134-142页 |
| Appendix Ⅰ | 第142-144页 |
| Appendix Ⅱ | 第144-154页 |
| List of publications and research projects | 第154-155页 |
