| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 前言 | 第12-18页 |
| 第1章 基本理论 | 第18-36页 |
| ·半环 | 第18-20页 |
| ·二值命题逻辑 | 第20-23页 |
| ·二值命题逻辑基本知识 | 第20-21页 |
| ·二值命题逻辑L中的计量逻辑学理论 | 第21-23页 |
| ·图,二部图,连通分量 | 第23-24页 |
| ·约束满足问题 | 第24-27页 |
| ·经典的约束满足问题 | 第24-25页 |
| ·半环值约束满足问题与软约束 | 第25-26页 |
| ·文法约束 | 第26-27页 |
| ·软集理论 | 第27-29页 |
| ·赋值代数 | 第29-36页 |
| ·赋值代数的定义与实例 | 第29-33页 |
| ·赋值代数中的计算问题与算法 | 第33-36页 |
| 第2章 赋值代数中的Markov联合公理与分裂算法 | 第36-68页 |
| ·Markov联合公理 | 第36-44页 |
| ·各种赋值代数中的Markov联合公理 | 第36-41页 |
| ·Markov联合公理的若干性质 | 第41-44页 |
| ·基于Markov联合公理的分裂算法 | 第44-59页 |
| ·Markov联合公理在降低计算工作量中的作用 | 第44-46页 |
| ·t划分,t分解,t分裂,传递t分裂 | 第46-54页 |
| ·分裂算法 | 第54-59页 |
| ·动态分裂算法 | 第59-64页 |
| ·分裂算法在赋值代数近似推理中的应用 | 第64-66页 |
| ·总结 | 第66-68页 |
| 第3章 隐性半环值赋值概念与实例 | 第68-88页 |
| ·隐性半环值赋值 | 第68-70页 |
| ·隐性半环值赋值实例一:由命题逻辑诱导的半环值赋值 | 第70-74页 |
| ·隐性半环值赋值实例二:由文法约束诱导的半环值赋值 | 第74-76页 |
| ·隐性半环值赋值实例三:由软集结构诱导的半环值赋值 | 第76-84页 |
| ·半环值软集 | 第76-80页 |
| ·半环值软集诱导的半环值赋值 | 第80-84页 |
| ·隐性半环值赋值实例四:经典约束满足问题的自动机隐性表示 | 第84-86页 |
| ·总结 | 第86-88页 |
| 第4章 分裂算法在隐性半环赋值中的应用 | 第88-104页 |
| ·分裂算法在命题赋值投射真度计算中的应用 | 第88-96页 |
| ·二值命题公式真度的计算方法 | 第88-92页 |
| ·值命题D真度的计算方法以及τ_n(A)求法 | 第92-96页 |
| ·分裂算法在半环值约束自动机隐性表示中的作用 | 第96-101页 |
| ·总结 | 第101-104页 |
| 第5章 隐性半环值赋值投射与联合问题求解 | 第104-128页 |
| ·隐性半环值文法约束赋值的投射与联合问题 | 第104-118页 |
| ·基于CFGC的半环值文法约束单投射问题 | 第104-107页 |
| ·基于DNNF和VNNF隐性表示的解决方案 | 第107-113页 |
| ·半环值文法约束分别与关系约束和文法约束的联合:可满足性及广义弧相容算法 | 第113-118页 |
| ·隐藏变量型不完备软约束中的优化问题 | 第118-126页 |
| ·不完备度及其性质 | 第118-119页 |
| ·不完备软集的完备化,必然最优解和可能最优解 | 第119-123页 |
| ·不完备软集论域U上的若干关系及其性质和应用 | 第123-124页 |
| ·基于付费角度的启发式诱导算法 | 第124-126页 |
| ·总结 | 第126-128页 |
| 总结 | 第128-130页 |
| 参考文献 | 第130-140页 |
| 致谢 | 第140-142页 |
| 个人简历、在读研期间的科研成果 | 第142页 |
