This book provides a systematic introduction to logic in artificial intelligence, which is divided into three parts: Knowledge Representation and Reasoning, Agents and Their Interaction, and Machine Learning and Reasoning. It introduces the fundamental theories and practical applications of logic in artificial intelligence, helping readers grasp its foundational role in AI while illustrating how advancements in logic shape the design and development of intelligent systems. With a modular structure featuring relatively independent sections, the book allows readers to study selectively according to their interests and needs. It serves as an ideal textbook for courses in computer science, artificial intelligence, logic, and related fields, and is also suitable for general readers interested in AI and logic.

LIU Fenrong is a professor in the Department of Philosophy at Tsinghua University and a chair professor at the University of Amsterdam. She is a Fellow of the International Institute of Philosophy (IIP) and the International Academy of Philosophy of Sciences (AIPS), a Berggruen Fellow at Stanford University, and a visiting scholar in the Department of Mathematics at Harvard University. LIU currently serves as the director of the Tsinghua University–University of Amsterdam Joint Research Center for Logic. Her research interests include dynamic preference logic, social epistemic logic, logic in artificial intelligence, and philosophical logic.