This course is an introduction to artificial intelligence and its many application. It includes the understanding of mind and intelligence in philosophy, psychology and other areas; the development and use of advanced knowledge representation for formalisms; different search techniques for AI problem solving; the introduction of knowledge inference and reasoning; and some rule-based systems with their practical applications.