%0 Journal Article
%T makinson一个公开问题的注记
%J 计算机科学
%D 2009
%X 公式集的essential原子在逻辑中扮演了重要角色，如在sat问题中可以去掉非essential原子，从而加快搜索解的速度。将essential原子引入到赋值集是近年的一个研究热点，2005年makinson提出一个关于essential原子的公开问题。现解决了这个公开问题，即证明了结论：任何原子都不是赋值集v的essential原子当且仅当等价的赋值都属于v或者都不属于v。
%K 非单调推理essential原子等价关系
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=30538281&flag=1