论文部分内容阅读
模糊逻辑及其扩充是处理不确定性与模糊性信息的重要数学工具，在近似推理、人工智能等领域有着广泛的应用。而逻辑程序也已经成为人工智能的研究热点之一。本文是在再扩充模糊逻辑中，对逻辑程序进行了语义的研究。给出了其语法和语叉描述，并且将逻辑程序的许多主要结论推广到再扩充模糊逻辑中。首先，得到了关于模糊逻辑推论的充分必要条件以及模型交与强模型交性质。然后，通过引入一个Herhrand解释算子τp：L^Bp→L^Bp，给出了确定性程序P的Herbrand模型的充分条件和强Herbrand模型的充分必要条件。最后，建立