| 【项目成果摘要】 |
该研究在基于格蕴涵代数的动态格值命题逻辑Lvpl中建立了命题带格值真值的格值推理理论与方法,这种推理在Lvpl中既有合理的格值命题逻辑语义解释,也有严密的格值命题逻辑语法论证。在基于格蕴涵代数的动态格值－阶逻辑Lvfl中建立了－阶带格值真值的推理理论与方法,这种推理既有合理的格值－阶逻辑语义解释,也有严密的格值－阶逻辑语法论证。在基于格蕴涵代数的格值命题逻辑LP(X)中建立了格值命题分层归结、格值命题滤子归结原理与方法。在基于有限格蕴涵代数的格值－阶逻辑LF(X)中建立了格值－阶分层归结原理与方法。给出了格蕴涵代数结构及特性,提出了不确定性推理的一些新理论与新方法。; |