Under construction

CSU33061 Artificial Intelligence I (Semester 2, January-April 2024)

News

• Exam (Tue, 30 Apr, 14:00-16:00) consisting of 2 questions: sample, solution outline
• Homework 2 due Wed, 27 March in Blackboard (23:59); code (incomplete), demo movie (transcript fragment)
• Homework 1 due Feb 21, Wed 24, Sat (23:59); submit via Blackboard
• Syllabus, SWISH Prolog, Log

Notes/slides

• Introduction (Generative AI on youtube: A. Karpathy, M. Lapata)
  • some logic & automata (Logicomix, Pullum on the Halting Problem)
  • from finite automata to Turing machines
  
  
• Search (exercise solution)
  • costs, heuristics, A-star
  • from minimizing costs to maximizing rewards
  • Google Page Rank
  
  
• Markov decision processes & Q-learning
  • deterministic case: examples in slides 19-20
  • non-deterministic case: example, code for 3-node graph, learning
  
  
• Constraint satisfaction & Knowledge representation
  • Non-determinism & SAT, CSP (gen-test code)
  • interpretations & logical consequence
  
  
• Conditional independence
  • Bayes nets
  • Markov nets (skipped slides 14-30)
  
  
• Neural nets
  • McCulloch & Pitts, Kleene, Rabin & Scott (black box & non-determinism), Turing (learning)
  • backpropagation
  
  

Textbooks

• RN: Artificial Intelligence: A Modern Approach by Stuart Russell & Peter Norvig (4th ed, 2020)
• PM: AI: Foundations of Computational Agents by David Poole & Alan Mackworth (3rd ed, 2023)