摘要
大量冗余子句的产生是导致归结方法低效率的根本原因 .锁策略通过对子句集中的原子进行配锁 ,限制某些子句间的归结以减少无用子句的产生 ,从而能够提高归结方法的效率 .在布尔算子模糊逻辑中 ,当相同谓词符号配相同锁时 ,广义锁归结方法是广义完备的 .如果对配锁方式不加任何限制 ,则广义半锁归结方法是广义完备的 .
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.
出处
《东北师大学报（自然科学版）》
CAS
CSCD
2000年第3期104-107,共4页
Journal of Northeast Normal University(Natural Science Edition)
基金
国家自然科学基金资助项目!( 6970 3 0 1 0
69983 0 0 2 )
关键词
布尔算子
模糊逻辑
广义锁子句
广义半锁归结
Boolean operator fuzzy logic
generalized lock clause
generalized semi lock resolution
