Course abstract
An intelligent agent needs to be able to solve problems in its world. The ability to create representations of the domain of interest and reason with these representations is a key to intelligence. In this course we explore a variety of representation formalisms and the associated algorithms for reasoning. We start with a simple language of propositions, and move on to first order logic, and then to representations for reasoning about action, change, situations, and about other agents in incomplete information situations. This course is a companion to the course ?Artificial Intelligence: Search Methods for Problem Solving? that was offered recently and the lectures for which are available online.
Course Instructor
Prof. Deepak Khemani
Deepak Khemani is Professor at Department of Computer Science and Engineering, IIT Madras. He completed his B.Tech. (1980) in Mechanical Engineering, and M.Tech. (1983) and PhD. (1989) in Computer Science from IIT Bombay, and has been with IIT Madras since then. In between he spent a year at Tata Research Development and Design Centre, Pune and another at the youngest IIT at Mandi. He has had shorter stays at several Computing departments in Europe. Prof Khemani’s long-term goals are to build articulate problem solving systems using AI that can interact with human beings. His research interests include Memory Based Reasoning, Knowledge Representation and Reasoning, Planning and Constraint Satisfaction, Qualitative Reasoning and Natural Language Processing.
Teaching Assistant(s)
Course Duration : Jan-Apr 2018
View Course
Enrollment : 20-Nov-2017 to 22-Jan-2018
Exam registration : 08-Jan-2018 to 07-Mar-2018
Exam Date : 28-Apr-2018
Enrolled
13971
Registered
539
Certificate Eligible
282
Certified Category Count
Gold
0
Silver
0
Elite
25
Successfully completed
257
Participation
184
Success
.jpg)
Category : Successfully Completed
Elite
.jpg)
Category : Elite
Gold
.jpg)
Category : Gold
Legend
>=90 - Elite + Gold
60-89 - Elite
40-59 - Successfully Completed
<40 - No Certificate
Final Score Calculation Logic
- Assignment Score = Average of best 8 out of 12 assignments.
- Final Score(Score on Certificate)= 75% of Exam Score + 25% of Assignment Score
Enrollment Statistics
Total Enrollment: -1
Registration Statistics
Total Registration : 0
Assignment Statistics
Feedback Videos
Exam score
Final score