Input Resolution on Horn Sets Based on Fuzzy Neural Networks

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.