Makinson一个公开问题的注记  

Note on Question of Makinson

作　　者：吴茂念[1] 陈武[2] 张明义[3] 沈复兴[4] 

机构地区：[1]贵州大学理学院,贵阳550025 [2]西南大学计算机与信息科学学院,重庆400715 [3]贵州科学院,贵阳550001 [4]北京师范大学信息科学与技术学院,北京100875

出　　处：《计算机科学》2009年第6期217-218,222,共3页Computer Science

基　　金：国家自然科学基金(No.90718009);贵州大学省级研究生创新基金(省研理工2006005);贵州省科学技术基金(黔科合J字[2009]2123号)资助

摘　　要：公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essential原子,从而加快搜索解的速度。将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题。现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V。Essential letter in a set of formulae plays an important role. Now it is a focus of research to introduce essential letter into a set of valuations. Makinson formulated an open problem about essential letter in 2005. This paper shows that no letter is essential to nonempty set of valuations V if equivalent valuations in V or not in V.

关 键 词：非单调推理 essential原子 等价关系 

分 类 号：O141.1[理学—数学]