计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
6期
217-218,222
,共3页
吴茂念%陈武%张明义%沈复兴
吳茂唸%陳武%張明義%瀋複興
오무념%진무%장명의%침복흥
非单调推理%essential原子%等价关系
非單調推理%essential原子%等價關繫
비단조추리%essential원자%등개관계
公式集的essential原子在逻辑中扮演了重要角色,如在SAT问题中可以去掉非essemial原子,从而加快搜索解的速度.将essential原子引入到赋值集是近年的一个研究热点,2005年Makinson提出一个关于essential原子的公开问题.现解决了这个公开问题,即证明了结论:任何原子都不是赋值集V的essential原子当且仅当等价的赋值都属于V或者都不属于V.
公式集的essential原子在邏輯中扮縯瞭重要角色,如在SAT問題中可以去掉非essemial原子,從而加快搜索解的速度.將essential原子引入到賦值集是近年的一箇研究熱點,2005年Makinson提齣一箇關于essential原子的公開問題.現解決瞭這箇公開問題,即證明瞭結論:任何原子都不是賦值集V的essential原子噹且僅噹等價的賦值都屬于V或者都不屬于V.
공식집적essential원자재라집중분연료중요각색,여재SAT문제중가이거도비essemial원자,종이가쾌수색해적속도.장essential원자인입도부치집시근년적일개연구열점,2005년Makinson제출일개관우essential원자적공개문제.현해결료저개공개문제,즉증명료결론:임하원자도불시부치집V적essential원자당차부당등개적부치도속우V혹자도불속우V.
