基于模糊神经网络的Horn集上的输入归结

Input Resolution on Horn Sets Based on Fuzzy Neural Networks

关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的特点 ,结合输入归结的优点 ,进行Horn集上的输入归结。

Resolution principle of automated reasoning has been used in many aspects of artificial intelligence, and many modified methods have been proposed. In the modified methods, input resolution is one of good reasoning methods, and it is complete for Horn sets. Fuzzy neural network is a combination of fuzzy logic and neural networks. In this paper, by using the character of knowledge representation and learning of fuzzy neural networks, input resolution on Horn sets is implemented.