Examines the fundamental concepts and various techniques involved in real-world applications of artificial intelligence, such as computer representation of problems, searching and inference mechanisms, intelligent languages, and computer representation and utilization of knowledge. Explores applications in theorem-proving, games, robotics, natural language processing, knowledge engineering, and more.