| 【项目成果摘要】 |
该项目旨在建立一种能同时处理模糊性与不可比较性的语言真值归结自动推理理论与方法。研究内容有三项：建立一种常用的语言真值格蕴涵代数：分别建立常用的语言真值集与基本修饰词集并赋予其相应偏序;生成语言真值格蕴涵代数,并研究其与逻辑相关的结构及特性;研究基于格蕴涵代数的格值命题逻辑的语言真值归结自动推理：语言真值命题逻辑α-归结原理及其可靠性与完备性,语言真值命题逻辑α-归结方法及其可靠性与完备性,语言真值命题逻辑α-归结自动推理程序及其可靠性与完备性;研究基于格蕴涵代数的格值一阶逻辑的语言真值归结自动推理：语言真值一阶逻辑α-归结原理及其可靠性与完备性,语言真值一阶逻辑α-归结方法及其可靠性与完备性,语言真值一阶逻辑α-归结自动推理程序及其可靠性与完备性。; |