【摘要】 本文在一阶谓词逻辑的基础上,为每个定性的Horn子句规则赋予一个蕴涵强度f,从而得到定量的f-Horn子句规则及其Herbrand解释.最后,我们成功地给出了f-Horn子句规则的模糊过程解释,并由此引入了模糊逻辑程序系统.更多还原

【Abstract】 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.更多还原