布尔算子模糊逻辑中的广义半锁归结原理

Generalized semi-lock resolution in boolean operator fuzzy logic

大量冗余子句的产生是导致归结方法低效率的根本原因 .锁策略通过对子句集中的原子进行配锁 ,限制某些子句间的归结以减少无用子句的产生 ,从而能够提高归结方法的效率 .在布尔算子模糊逻辑中 ,当相同谓词符号配相同锁时 ,广义锁归结方法是广义完备的 .如果对配锁方式不加任何限制 ,则广义半锁归结方法是广义完备的 .

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.