|
|||||
|
|
| Makinson一个公开问题的注记 | |
| 引用本文： | 吴茂念,陈武,张明义,沈复兴. Makinson一个公开问题的注记[J]. 计算机科学, 2009, 36(6): 217-218 |
| 作者姓名： | 吴茂念 陈武 张明义 沈复兴 |
| 作者单位： | 1. 贵州大学理学院,贵阳,550025 2. 西南大学计算机与信息科学学院,重庆,400715 3. 贵州科学院,贵阳,550001 4. 北京师范大学信息科学与技术学院,北京,100875 |
| 基金项目： | 国家自然科学基金，贵州大学省级研究生创新基金，贵州省科学技术基金 |
| 摘 要： | 公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essemial原子,从而加快搜索解的速度.将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题.现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V. |
| 关 键 词： | 非单调推理 essential原子 等价关系 |
| 收稿时间： | 2008-07-15 |
| 修稿时间： | 2008-10-17 |
Note on Question of Makinson |
|
| WU Mao-nian,CHEN Wu,ZHANG Ming-yi,SHEN Fu-xing. Note on Question of Makinson[J]. Computer Science, 2009, 36(6): 217-218 | |
| Authors: | WU Mao-nian CHEN Wu ZHANG Ming-yi SHEN Fu-xing |
| Affiliation: | College of Science;Guizhou University;Guiyang 550025;China;School of Computer and Information Science;Southwest University;Chongqing 400715;China;Guizhou Academy of Sciences;Guiyang 550001;China;School of Information Science and Technology;Beijing Normal University;Beijing 100875;China |
| 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 essential to nonempty set of valuations V if equivalent valuations in V or not in V. |
| Keywords: | Non-monotonic reasoning Essential letter Equivalent relation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |