归结方法相关论文
本文考虑十八元非链的格值命题逻辑系统L18P(X)下的归结方法.首先提出了基于超滤的归结原理,得到归结删除原理,讨论了格值逻辑公式......
多通道人机界面通过语音、姿势、视线等多个人机通道,为人与计算机提供自然和谐的交互方式.其中如何正确识别用户输入所指称的对象......
为了在基于格蕴涵代数的格值逻辑系统中构造行之有效的归结证明算法,该文探讨了经典归结及一些扩充的模糊逻辑的归结方法的局限性,并......
陈永义在1990年提出了一种适用于不精确推理的软归结方法,但在这个系统中,排中律和矛盾律已经失去。该文把布尔代数引入该系统,从而使排中......
根据语气词对真值的影响,用定性的方法分析语气词,可以将其分成三类,得到了六元语言真值.基于六元格蕴涵代数,研究了能同时表示可......
研究再扩充模糊逻辑的一些主要性质,得到了关于公式的有效逻辑结果的充分必要条件,讨论了基于归结方法的模糊推理的有效性;证明了子句......
模糊集与模糊逻辑是处理大量存在的不确定性与模糊性信息的重要数学工具,在近似推理等领域有着广泛的应用。该文将王家兵等人提出的......
提出了一种新的归结方法-矩阵归结.结合归结原理的单文字、纯文字、分裂规则以及Petri网的T-不变量归结的思想,给出了几种矩阵归结......
归结方法是自动推理的重要方法之一,而扩展规则是与归结对称的方法,近年来引起了研究者的广泛关注。从扩展规则的相关概念、在命题逻......
提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统,该逻辑系统中命题的真值是不惟一的,它依赖于可能世界W中的个体.文中......
本文介绍了常微分方程模型的三种归结方法,并以实例加以说明,旨在使大家对其有明确的认识,为以后建立常微分方程模型提供有力的帮助。......