格值命题逻辑系统LP(X)的语义归结方法 上传者：nightash 2020-07-16 20:13:20上传 PDF文件 924.41KB 热度 39次 为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
