摘要
王湘浩、刘叙华的广义归结方法在一阶逻辑中推广了Robinson的归结原理,使得可以将归结方法用于一种非子句形式的公式集-广义子句集上.从而不仅可以避免从一般的公式集到子句集的转化过程所产生的大量符号冗余,同时也保持了对问题描述的自然性.我们在文献[2]中提出了Boole算子Fuzzy逻辑(以下简称BOFL),同时将归结方法简洁自然地引入BOFL.在BOFL中,一般地,对任意给定的公式G,可以将G转化成形如{λ1,…,λm,λm+1∨C1,…,λm+n∨Cn}的子句集S,其中λ1,…,λ(m+n)是Fuzzy算子,C1,…,Cn是不含Fuzzy算子的普通形式的子句,则对于任意的Fuzzy算子λ,公式G是λ-恒假的当且仅当子句集S是λ-恒假的.
出处
《科学通报》
EI
CAS
CSCD
北大核心
1996年第3期274-276,共3页
Chinese Science Bulletin
基金
国家自然科学基金
国家"八六三"高科技
国家"攀登"计划资助项目