语言真值格值命题逻辑系统中广义文字的归结判定

摘要：

自动推理是人工智能研究的一个重要内容,基于归结原理的自动推理是自动推理研究的重要分支.基于语言真值格蕴涵代数的格值逻辑系统能处理带有可比较项和不可比较项的信息或知识,为自动推理研究提供了严格的逻辑基础.给出了语言真值格蕴涵代数ζV(n×2)的一些性质,在基于十八元语言真值格蕴涵代数ζV(9×2)的格值命题逻辑系统ζV(9×2)P(X)框架下,刻画了1-IESF和2-IESF型对应广义文字的结构,给出了其广义文字的可归结性.这些工作将为基于语言真值格值逻辑系统的归结自动推理提供重要的研究基础.

关键词：自动推理、格值逻辑系统、语言真值格蕴涵代数、广义文字、归结

所属期刊栏目：40

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金61175055;国家自然科学青年基金项目61100046;河南工业大学高层次人才基金项目2012BS012

在线出版日期：2013-03-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：237-240,273