1. The State Council of China. Development Plans of New Generation Artificial Intelligence; 2017.
2. European Commission. Artificial Intelligence for Europe; 2018.
3. UK Government Office for Science. Artificial intelligence: opportunities and implications for the future of decision making; 2016.
4. National Science and Technology Council, Networking and Information Technology Research and Development Subcommittee. The National Artificial Intelligence Research and Development Strategic Plan. Washington: Executive Office of the President of the United State; 2016 Oct.
5. Symbolic logic and mechanical theorem proving;Chang,1973