一种用PROLOG实现非精确推理的方法

A WAY OF INEXACT INFERENCE WITH PROLOG

本文通过对模糊f-Horn子句的语义和推理机制的分析,提出了一种直接用Horn子句做非精确推理方法,并用Turbo Prolog编制了实例程序,对该方法做了检验。证明这种方法对于直接用Prolog语言编制需要做非精确推理的人工智能软件是可行的。

This paper presents a way of inexact inference by use ofHorn Clauses on the basis of analyzing the sematices and reasoning process of f-Horn clauses. This way has been examined by some examples. The results show that this way is reasonable to construct the program of artificial intelligence in need of inexact inference with Prolog.