This course teaches and discusses the main ideas and key technologies in the frontier research field of artificial intelligence. The main contents include non-monotonic logic, automatic reasoning, machine learning, distributed artificial intelligence, Internet intelligence, large-scale parallel artificial intelligence, etc.