This document provides information about a course on Artificial Intelligence taught at Sanjivani College of Engineering, Kopargaon. It includes the course objectives, which are to understand basic AI principles, search strategies, knowledge representation, fuzzy logic and neural networks, and applications of AI. It then discusses topics covered in the course, including uncertainty in knowledge representation, non-monotonic reasoning, semantic networks, and truth maintenance systems. Truth maintenance systems are defined as ways to implement non-monotonic reasoning by allowing a knowledge base to change as new statements are added. Justification-based truth maintenance systems are discussed as one approach.