1. Li KF, Wang YG (2018) What exactly is artificial intelligence. Science Grand View Park 2:48–49 (in Chinese)
2. Haugeland J (1985) Artificial intelligence: the very idea. Philos Rev 7:3–11
3. Kurzweil R, Richter R, Kurzweil R et al (1990) The age of intelligent machines. MIT Press, Cambridge
4. Zf CHEN (2016) Strong artificial intelligence and super intelligence: technical rationality and criticism. Sci Manage 36(5):25–33 (in Chinese)
5. Gelernter H (1963) Realization of a geometry-theorem proving machine. Comput Thought 134–152