This document discusses formal definitions of artificial intelligence from various scholars and researchers. It provides definitions such as AI being the effort to make computers think like humans, the automation of human thinking processes, and the study of intelligent behavior. The document also contrasts AI with natural intelligence and conventional computing. It notes key differences in terms of permanence, cost, and how problems are solved. The document concludes by covering applications of AI such as computer vision, robotics, expert systems, natural language processing, and games.