计算机科学 ›› 2009, Vol. 36 ›› Issue (6): 217-218.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 公式集的essential原子在逻辑中扮演了重要角色，如在SAT问题中可以去掉非essential原子，从而加快搜索解的速度。将essential原子引入到赋值集是近年的一个研究热点，2005年Makinson提出一个关于essential原子的公开问题。现解决了这个公开问题，即证明了结论：任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V。
关键词: 非单调推理 essential原子 等价关系
Abstract: 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 ess
Key words: Non-monotonic reasoning, Essential letter, Equivalent relation
. Makinson一个公开问题的注记[J]. 计算机科学, 2009, 36(6): 217-218. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I6/217
Cited
首页