Introduction
Introduction
Intelligence
Logistics
• Instructor: Alon Levy (alon@cs); Sieg 310.
– Office hours: Monday, 3:30-4:30pm.
– Email is good, but expect delays.
• TA: Steve Wolfman (wolf@cs); Sieg 428
• www.cs.washington.edu/education/courses/cse473/99wi
(not really there yet).
• Mailing list: cse473@cs.
– Subscribe by sending mail to majordomo@cs.
(not there yet either).
Reading
• Required text:
Artificial Intelligence: Theory and Practice
Dean, Allen, Aloimonos
Addison Wesley
• Other good books:
– Russell & Norvig: Artificial Intelligence - a Modern
Approach.
– Genesereth & Nilsson: Logical Foundations of
Artificial Intelligence.
Grading
• Problem sets: mostly programming
assignments (Lisp: more on this soon).
• Midterm
• Final
• Class participation and discussion.
What is Artificial Intelligence?
Some Definitions (I)
Knowledge learning
representation
planning reasoning
Outline of the Course
• Search: the fundamental tool of AI programs.
• Lisp briefing.
• Knowledge representation:
– propositional logic
– first-order logic
– inference (soundness and completeness)
– specialized formalisms: Horn rules, description logic.
– Non-monotonic reasoning
– Reasoning with uncertainty
• Planning
• Machine learning
• Natural language understanding
• More, as time allows.