Makinson一个公开问题的注记

• 作者: 吴茂念 张明义 沈复兴 陈武
• 来源期刊: 计算机科学
• 学科: 数学
• 关键词: 非单调推理 essential原子 等价关系
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 人工智能
• 页码范围: 217-218,222
• 页数: 3页
• 分类号: O141.1
• 字数: 2868字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2009.06.058

摘要

公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essemial原子,从而加快搜索解的速度.将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题.现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈复兴	北京师范大学信息科学与技术学院	21	98	4.0	9.0
2	吴茂念	贵州大学理学院	14	39	3.0	5.0
3	张明义		18	89	5.0	9.0
4	陈武	西南大学计算机与信息科学学院	9	24	4.0	4.0