摘要
本文在一阶谓词逻辑的基础上,为每个定性的Horn子句规则赋予一个蕴涵强度f,从而得到定量的f-Horn子句规则及其Herbrand解释.最后,我们成功地给出了f-Horn子句规则的模糊过程解释,并由此引入了模糊逻辑程序系统.
Based on the first order predicate logic each qualitative Horn clause rule in this paper is associated with an implication strength f, therefore quantitative f-Horn clause rules and their Herbrand interpretation are obtained. Fuzzy procedural interpretation for f-Horn clause rules and the Fuzzy logic program system are presented.
出处
《计算机学报》
EI
CSCD
北大核心
1989年第10期796-799,共4页
Chinese Journal of Computers
