Overview
Explore the fundamental concepts of truth, logic, and provability in artificial intelligence with Prof. Deepak Khemani from the Department of Computer Science & Engineering at the Indian Institute of Technology Madras. Delve into the core principles of knowledge representation and reasoning as part of the broader study of artificial intelligence. Gain insights into how these concepts form the foundation for intelligent systems and decision-making processes in AI.
Syllabus
2.3 - Truth, Logic, and Provability
Taught by
NPTEL-NOC IITM