归结方法相关论文
根据语气词对真值的影响,用定性的方法分析语气词,可以将其分成三类,得到了六元语言真值.基于六元格蕴涵代数,研究了能同时表示可......
研究再扩充模糊逻辑的一些主要性质，得到了关于公式的有效逻辑结果的充分必要条件，讨论了基于归结方法的模糊推理的有效性；证明了子句......
模糊集与模糊逻辑是处理大量存在的不确定性与模糊性信息的重要数学工具，在近似推理等领域有着广泛的应用。该文将王家兵等人提出的......
提出了一种新的归结方法-矩阵归结.结合归结原理的单文字、纯文字、分裂规则以及Petri网的T-不变量归结的思想,给出了几种矩阵归结......
归结方法是自动推理的重要方法之一，而扩展规则是与归结对称的方法，近年来引起了研究者的广泛关注。从扩展规则的相关概念、在命题逻......
提出了一种基于Kripke语义结构的上下文相关模糊命题逻辑系统,该逻辑系统中命题的真值是不惟一的,它依赖于可能世界W中的个体.文中......
本文介绍了常微分方程模型的三种归结方法，并以实例加以说明，旨在使大家对其有明确的认识，为以后建立常微分方程模型提供有力的帮助。......
