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.
Programming and Data Structures
3-1-0 (4 credit)
Monday (1000-1100)
Wednesday (0800-1000)
Thursday (1000-1100)
Saturday (1030-1200)
MS Teams
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.
Week # | Title | Slides | Annotated Slides | Video |
---|---|---|---|---|
1 | Introduction | NA | Link | |
Automated Problem Solving | Link | |||
State Space Search | Link | |||
2 | CSP-1 | link | ||
CSP-2 | link | |||
Heuristic Search | link | |||
Heuristic Search | ||||
3 | Doubt clearing session | |||
Class Test - 1 | ||||
Game Trees | link | |||
Propositional Logic | link | |||
4 | SAT | link | ||
Tutorial | ||||
Propositional Logic to Predicate Logic | link | |||
Predicate Logic Fundamentals | link | |||
5 | Prolog | NA | link | |
Tutorial | ||||
Resolution Refutation | link | |||
Predicate logic examples | ||||
6 | Temporal logic | NA | link | |
Class Test 2 | ||||
Temporal logic | link | |||
Temporal logic | ||||
7 | Bounded Model Checking | link | ||
BMC / Tutorial | ||||
Predicate logic examples | ||||
Introduction to planning | link | |||
8 | Planning - 1 | link | ||
Text Processing | link1, link2 | |||
9 | Planning - 2 | link | ||
Introduction to probabilistic reasoning | link1, link2 | |||
10 | Decision Tree | link | ||
Text Processing | tgz archive | |||
Knowledge graph | tgz archive |