Artificial Intelligence: Foundations and Applications

AI61005

Course objectives

The primary objective of this course is to indroduce the gamut of real-life problems where AI techniques can be successfully applied and detailing the necessary foundations to enable solving those practical problems. Hence, the contents of the course will revolve around several practical case-studies and provide foundational understanding to apply AI methods in solving them effectively. This course shall also provide necessary theoretical insights spanned across four layers – knowledge representation and logic; search and reasoning frameworks; ramifications of AI techniques under various scenarios/constraints; and observations/updations of methods from learning. These foundational and theoretical aspects will be enabled by suitable tools and appropriate communication interface designs, thereby bringing a holistic view of problem solving through applications of AI techniques.

Course prerequisite

Programming and Data Structures

L-T-P & Credit

3-1-0 (4 credit)

Class hours

Monday (1000-1100)
Wednesday (0800-1000)
Thursday (1000-1100)
Saturday (1030-1200)

Venue

MS Teams

Syllabus

Evolution and Domains of applications, Knowledge representation methods – state-space, knowledge graph, propositional logic, Search – heuristic, A*, CSP, DFBB, Reasoning, Planning, Learning, Communications, Real world consideration – time / memory bound, uncertainty, distributed, multi-agent, etc., Case studies – transportation, robotics, weather forecast, game design, VLSI system design, etc.

Teaching assistants

Omprakash Chakraborty
KM Poonam
Shubhajit Datta

Course schedule

Week # Title Slides Annotated Slides Video
1 Introduction pdf NA Link
Automated Problem Solving pdf pdf Link
State Space Search pdf pdf Link
2 CSP-1 pdf pdf link
CSP-2 pdf pdf link
Heuristic Search pdf pdf link
Heuristic Search
3 Doubt clearing session
Class Test - 1
Game Trees pdf pdf link
Propositional Logic pdf pdf link
4 SAT pdf pdf link
Tutorial pdf pdf
Propositional Logic to Predicate Logic pdf pdf link
Predicate Logic Fundamentals pdf pdf link
5 Prolog pdf NA link
Tutorial
Resolution Refutation pdf pdf link
Predicate logic examples pdf
6 Temporal logic pdf NA link
Class Test 2
Temporal logic pdf pdf link
Temporal logic pdf
7 Bounded Model Checking pdf link
BMC / Tutorial
Predicate logic examples
Introduction to planning pdf link
8 Planning - 1 link
Text Processing link1, link2
9 Planning - 2 link
Introduction to probabilistic reasoning pdf link1, link2
10 Decision Tree pdf link
Text Processing tgz archive
Knowledge graph tgz archive