节点文献
布尔算子Fuzzy逻辑公式的λ－恒假性
λ-Unsatisfiability in Boolean Operator Fuzzy Logic
【摘要】 在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归结的正确性．
【Abstract】 It is proved that any formula G in Boolean operator fuzzy logic is λ-unsatisfiable if and only if TI(S)≤λ for any Herbrand interpretation I of S.The resolution principle can thus be applied in Boolean operator fuzzy logic.
【关键词】 布尔算子Fuzzy逻辑；
λ－恒假；
Herbrand解释；
归结；
【Key words】 Boolean operator fuzzy logic； λ-unsatisfiable； Herbrand interpretation； resolution；
【Key words】 Boolean operator fuzzy logic； λ-unsatisfiable； Herbrand interpretation； resolution；
- 【文献出处】 东北师大学报(自然科学版) ,JOURNAL OF NORTHEAST NORMAL UNIVERSITY (NATURAL SCIENCE EDITION) , 编辑部邮箱 ,1995年02期
- 【分类号】O159
- 【下载频次】17