Title :
Neural network resolution on horn clause set
Author :
Xia, Shi-Fen ; Qing, Ming ; Huang, Tian-Min ; Xu, Yang
Author_Institution :
Dept. of Math., Southwest Jiaotong Univ., Chengdu, China
Abstract :
Automatic inference is the center of the artificial intelligence. Resolution principle is one of the focusing direction in automated theorem proving because of its simplification. Many modified resolution methods have been raised, such as semantic resolution, ordered linear resolution, locking restriction resolution, fuzzy neural network resolution etc. Neural network (NN) has the advantages of learning capabilities and distributed structure that allows for highly parallel process. In this paper, we take advantage of NN to realize the resolution.
Keywords :
Horn clauses; artificial intelligence; neural nets; theorem proving; artificial intelligence; automated theorem proving; automatic inference; distributed structure; horn clause set; neural network resolution; parallel process; Artificial intelligence; Artificial neural networks; Biological neural networks; Fuzzy neural networks; Learning; Mathematics; Neural networks; Neurons; Organizing; Testing;
Conference_Titel :
Machine Learning and Cybernetics, 2003 International Conference on
Print_ISBN :
0-7803-8131-9
DOI :
10.1109/ICMLC.2003.1259767
