| 布尔算子模糊逻辑中的广义半锁归结原理 |
| |
| 引用本文： | 邓安生,关伟洲. 布尔算子模糊逻辑中的广义半锁归结原理[J]. 东北师大学报(自然科学版), 2000, 32(3): 104-107 |
| |
| 作者姓名： | 邓安生 关伟洲 |
| |
| 作者单位： | 东北师范大学计算机科学系,吉林,长春,130024 |
| |
| 基金项目： | 国家自然科学基金资助项目!( 6970 3 0 1 0，69983 0 0 2 ) |
| |
| 摘 要： | 大量冗余子句的产生是导致归结方法低效率的根本原因。锁策略通过对子句集中的原子进行配锁，限制某此子旬间的归结以减少无用子句的产生，从而能够提高归结方法的效率。在布尔算子模糊逻辑中，当相同谓词符号配相同锁时，广义锁归结方法是广义完备的。如果对配锁方式不加任何限制，则广义半锁归结方法是广义完备的。
|
| 关 键 词： | 布尔算子 模糊逻辑 广义锁子句 广义半锁归结 |
| 文章编号： | 1000-1832(2000)03-0104-04 |
| 修稿时间： | 2000-03-01 |
Generalized semi-lock resolution in boolean operator fuzzy logic |
| |
| DNEG An-sheng,GUAN Wei-zhou. Generalized semi-lock resolution in boolean operator fuzzy logic[J]. Journal of Northeast Normal University (Natural Science Edition), 2000, 32(3): 104-107 |
| |
| Authors: | DNEG An-sheng GUAN Wei-zhou |
| |
| Affiliation: | DNEG An-sheng,GUAN Wei-zhou(Department of Computer Science, Northeast Normal University, Changchun 130024, China) |
| |
| Abstract: | The reason of the low efficiency of resolution is the redundant clauses generated in the resolution deduction. Lock strategy uses indexes assigned to atoms to prevent some undesirable resolvents so as to reduce the number of useless clauses. In Boolean operator fuzzy logic, the generalized lock resolution is generalized complete if the same predicate symbols Rave the same index. In this paper, it shows that the generalized semi lock resolution is generalized complete in Boolean opeator fuzzy logic even if there is no restrictions on the indexes. |
| |
| Keywords: | Boolean operator fuzzy logic generalized lock clause generalized semi lock resolution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
