首页--数理科学和化学论文--数学论文--代数、数论、组合理论论文--抽象代数(近世代数)论文--偏序集合与格论论文

基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究

摘要第1-8页
Abstract第8-12页
第1章 引言第12-26页
   ·机器智能的实现需要应用自然语言第12-13页
   ·文字计算的研究第13-16页
     ·基于Type-2模糊集的文字计算方法第14页
     ·基于语言偏好关系的文字计算方法第14-15页
     ·基于形式化方法的文字计算第15-16页
   ·文字计算的符号方法第16-20页
     ·语言值的符号聚合方法第16-18页
     ·语言值的代数结构第18-20页
   ·预备知识第20-24页
   ·本文的研究内容第24-26页
第2章 语言值信息处理方法第26-48页
   ·2-Tuple语言值表示模型第27-28页
   ·语气代数第28-31页
   ·语言真值格蕴涵代数第31-46页
     ·格蕴涵代数基本概念第31-32页
     ·18元语言真值格蕴涵代数第32-40页
     ·2n元语言真值格蕴涵代数第40-46页
 本章小结第46-48页
第3章 语言真值格值命题逻辑及其归结推理第48-68页
   ·六元语言真值命题逻辑及其归结方法第48-56页
     ·归结方法第53-55页
     ·基于归结的证明第55-56页
   ·基于格蕴涵代数的语言真值逻辑系统第56-61页
     ·语言真值命题第56-59页
     ·基于滤子的语言真值归结方法第59-60页
     ·可满足问题和α-归结第60-61页
   ·语言真值推理方法在具有不可比信息的决策分析中的应用第61-66页
     ·常见决策方法第62页
     ·基于18元语言真值推理的决策分析方法第62-66页
 本章小结第66-68页
第4章 语言真值直觉模糊代数第68-108页
   ·基于18元语言真值格蕴涵代数的语言真值直觉模糊代数第68-72页
   ·语言真值直觉模糊格LI_(2n)的性质第72-77页
   ·语言真值直觉模糊格中∨-不可约元集合上的蕴涵算子及其性质第77-84页
   ·LI_(2n)上的蕴涵算子及其性质第84-89页
   ·语言真值直觉模糊格蕴涵代数与其它逻辑代数的关系第89-97页
   ·LI_(2n)的三角代数结构第97-107页
 本章小结第107-108页
第5章 语言真值直觉模糊命题逻辑系统第108-136页
   ·语言真值直觉命题逻辑的语言及其公理第108-109页
   ·LP(S)的证明与定理第109-119页
   ·LP(S)的语义第119-122页
   ·LP(S)的可靠性与完备性第122-134页
 本章小结第134-136页
第6章 语言真值自动推理第136-148页
   ·LP(S)中的可满足性及(α,β)-归结第136-138页
   ·基于LI_(18)的推理第138-141页
 本章小结第141-148页
结论第148-149页
致谢第149-150页
参考文献第150-166页
附录 攻读博士学位期间发表的论文及科研成果第166-171页

论文共171页,点击 下载论文
上一篇:基于可靠性分析的物流服务供应链设计与协调
下一篇:震后应急物流系统优化中的LRP研究