AI Lecture Notes

• Introduction
• AI Goals, roots, and Sub-fields
• Knowledge Representation & Physical Symbol System Hypothesis
• Logic and Knowledge Representation
• Syntax, semantics, Interpretation, Inference
• Reasoning patterns & Predicate logic
• FOPL, syntax, Inference
• Binding and Unification
• Clausal form, conversion
• Unification, Composition, Disagreement sets
• Unification Algorithm, Resolution, & Theorem Proving
• Rule-based systems
• RBS: forward chaining
• RBS: backward chaining
• Prolog and reasoning
• Simple Prolog examples of recursion: 1. factorial 2. Towers-of-Hanoi 3. Foods 4. Majoring 5. Grades 6. Picnic1 7. Picnic2 8. Picnic3 9. Picnic4
• Knowledge Representation & Ontology
• Situation Calculus-I
• Situation Calculus-II
• Default logic
• Description logic
• Uninformed Search
• Heuristic Search
• Nature Inspired Search
• Constraint Problem Solving
• Search & Game Playing
• Minimax Search
• Alpha-Beta Search
• Planning
• Partial order & graph based planning
• Hierarchical planning, multiagent systems