The most classic research area of artificial intelligence, the basic theory of automated reasons, which is the general basis of other areas of artificial intelligence. Automated reasons have always been one of the most popular contents of artificial intelligence research among those who study dynamic evolutionary characteristics and the possibility of the knowledge system as the latest hotspot and tend to make great progress.