ABOUT THE COURSE
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.
INTENDED AUDIENCE
BE/ME/MS/MSc/PhD students
PRE-REQUISITES
Some exposure to formal languages, logic and programming
INDUSTRIES THAT WILL RECOGNIZE THIS COURSE
Software companies dealing with knowledge and reasoning, including the semantic web and semantic search.
The exam is optional. Exams will be on 24 April 2016 and 30 April 2016.
Time: 2pm-5pm
Tentative list of exam cities: http://nptel.ac.in/noc/pdf/Exam%20City-list.pdf
Registration url: Announcements will be made when the registration form is open for registrations.
The online registration form has to be filled and the certification exam fee of approximately Rs 1000 needs to be paid.
Certificate will be given to those who register and write the exam. Certificate will have your name, photograph and the score in the final exam.
It will have the logos of NPTEL and IIT Madras. It will be e-verifiable at nptel.ac.in/noc.