文献类型：期刊文章

作　　者：李晓冰[1] 邱小平[2] 徐扬[1]

机构地区：[1]西南交通大学智能控制开发中心,四川成都610031 [2]西南交通大学物流学院,四川成都610031

出　　处：《模糊系统与数学》

基　　金：国家自然科学基金资助项目(60474022;60875034);高等学校博士学科点专项科研基金资助项目(20060613007)

年　　份：2009

卷　　号：23

期　　号：4

起止页码：21-26

语　　种：中文

收录情况：BDHX、BDHX2008、CSCD、CSCD2011_2012、JST、MR、RCCSE、ZGKJHX、ZMATH、核心刊

摘　　要：在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性。

关 键 词：半正则的广义文字  中界元  格值命题逻辑系统  归结自动推理  自动推理算法  

分 类 号：O153[数学类]