CS 344 - Artificial Intelligence/ CS 386 - Artificial Intelligence Lab.

Spring 2009

Announcements Lecture Notes Resources Marks/Grades Lab Assignments Student Groups/Teams

Seminar slides, here.

Instructor: Prof. Pushpak Bhattacharyya (pb[AT]cse.iitb.ac.in)

TAs:

  • Shitanshu(shitanshu[AT]cse.iitb.ac.in)
  • Prasad(joshiprasad[AT]cse.iitb.ac.in)
  • Nilesh(nileshsp[AT]cse.iitb.ac.in)
  • Sriram(kashyap[AT]cse.iitb.ac.in)
  • Prashanth(pkamle[AT]cse.iitb.ac.in)
  • Saurabh(saurabhsohoney[AT]cse.iitb.ac.in)

    • Lecture Schedule and Venue

    Slot: 3    Timings: Monday 10:35-11:30, Tuesday 11:35-12:30, Thursday 8:30-9:25

    Venue: Seminar hall, Old CSE building

    Announcements

    top

    Lecture Notes
    1. Lectures 1 to 8: Intro, Search and AStar
    2. Lectures 9 to 11: Hilbert formalization of Propositional Calculus
    3. Lectures 12 to 14: Soundness and completeness
    4. Lectures 15 to 17: Completeness proof of paradoxes
    5. Lectures 18 and 19: Knowledge representation and predicate calculus
    6. Lectures 20 and 21: Predicate calculus application - Circuit verification
    7. Lectures 22 - 24: Prolog
    8. Lecture 26: Theoretical learning
    9. Lectures 26-27: Theoretical learning
    10. Lecture 28: Physical symbol system
    11. Lectures 29-30: Decision tree learning
    12. Lectures 31-32: Brain perceptron
    13. Midsem questions
    14. Midsem solutions

    top

    Resources top

    Lab Assignments
    Assignment 3: Digital circuit verification here
    Assignment 2: Propositional logic theorem prover, spec here
    Assignment 1: Implement A* algorithm for the following problems: Specifications here
    top

    Marks and Grades

  • Will be posted soon!!

    • top