新型模糊推理语言f-PROLOG

A NEW FUZZY INFERENCE LANGUAGE f-PROLOG

PROLOG是建立在Horn子句逻辑之上的人工智能语言。对于定性的逻辑推理,它在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要作用。但是在进行模糊推理时,基于二值逻辑的PROLOG语言就变得暗淡失色了。为此,我们建立了一套基于f-Horn子句规则有限集的模糊推理理论,并在此基础上开发了一种模糊PROLOG语言。f-PROLOG是一种支持模糊推理的人工智能语言,且保持了模式匹配、回溯等特点。

. PROLOG is an artificial intelligence language based on the Horn clause ogic. For the qualitative logic reasoning, it plays an important role in the 'field' of expert system, pattern recognition, natural language processing, intelligent .robot, etc.. A In ttye ^rea of fuzzy reasoning, however, PROLOG language based on fhe two-valued logic is not powerful-enough,-thus a fuzzy reasoning theory based on the finite set of , f-Horn clause rules is established and a fuzzy PROLOG language too. f-PROLOG is''' an artificial intelligence language supporting fuzzy reasoning and keeps the characters of matching and backtracking.