McCARTHY NOTICE BOARD 32002: Artificial Intelligence: 3rd Year (II Sem) CSE, 2013-14, IIT, Jodhpur. JOHN McCARTHY, INENTOR OF AI,  & TURING AWARD WINNER Lecture notes: 01. Syllabus Link 02. Introduction Lect1pdf 03. AI Goals, roots, and Sub-fields Lect2pdf 04. Knowled. Rep. & Phy. symbol sys. Hypoth. Lect3pdf 05. Logic and Knowledge Representation Lect4pdf 06. Syntax, sematics, Interpretation, Inference Lect5pdf 07. Reasoning patterns, Predicate logic Lect6pdf 08. FOPL, syntax, Inference Lect7pdf 09. Binding and Unification Lect8pdf 10. Clause form, conversion11. Unification, Composition, Disagreement sets12. Unification Algorthm, Resolution, and Theorem Proving 13. Rule based systems 14. RBS- forward chainig 15. RBS- backward chainig 16. Prolog and reasoning 17. Simple prolog examples (to be run and understood): Recursion: factorial towers-of-hanoi      Backtrack:  foods majoring; Controlling backtrack: grades picnic1  picnic2 picnic3 picnic4                         18. Knowledge Rep. & Ontology 19. Situation Calculus-I 20. Situation Calculus-II 21. Default logic 22. Description logic 23. Uninformed Search 24. Heuristic Search 25. Natured Inspired Search 26. Constraint Problem Solving Lect31-32pdf 27. Search & Game Playing Lect33pdf 28. Minimax Search Lect34pdf 29. Alpha-bete search Lect35pdf 30. Planning Lect36pdf 31. Partial order and graph based planning Lect37pdf 32. Hierarchical planning, multi-agent systems  Lect38pdf 33. NLP Research  Lect39pdf Homeworks/Quizes/Exams/Semester Project: 1. Quiz #1 2. HW #1  3. Midsem #1 4. Quiz #2 5. HW #2 6. Midsem #2 7. AI Nano-Projects8. Latex-template and other files for AI Nano-Project report  9. Latex manual latex-manual.pdf (note: Once you have edited your aiprojrepo.tex, by a text editor, the compilation (conversion to .pdf) can be using kile or texmaker environment very easily. 10. Quiz #311. Distribution of marks12. End Semester exam syllabus13. Practice Home work 14. End Sem. Exam AI Journals