Artificial Intelligece


Subject to change and constantly being modified

LECT:  topics:

1 intro

2 more intro and more search
    what is AI
    search as problem solving

3 a little more intro; a lot more search
  uniformed search methods
  search space for palindromes


4 informed search methods

Note: game playing (Chapter 5) is optional (but interesting!).  Also
note that we will come back to constraint satisfaction problems
(chapters 3 and 4 have some on this) when we look at temporal
constraint networks/reasoning (a type of knowledge representation).
   (See lecture 7, below)

5 finish informed search methods
  how to design yer own heuristic function!
  more on palindrome search/heuristics

6 (search for adversarial game playing - a little)
  Intro to knowledge rep
  propositional logic
     search for proofs
  intro to temporal logic

7 introduction to machine learning
     i.e., search for meta-solutions
     i.e., self-building knowledge base

8 more on temporal reasoning
     search to satisfy constraints
     example applications

9 constraint satisfaction problems in general
  video on genetic programming

10 knowledge representation concepts
     entailment, inference, monotonicity, etc.
   first-order logic

11 first-order logic examples: Wumpus, others
12 inference in first-order logic

13 rule-based expert systems
   Knowledge Representation Rhapsody

14 last day on logic: resolution, more examples
   midterm review

      ** MIDTERM EXAM **   (Oct 28)

15 midterm solutions
   a last few things about logic
   details of homework #3 -- handed out today

16 finish HW3 details and midterm solutions
   intro to planning

17 finish planning -- STRIPS logic
   intro to uncertainty and probability

18 intro to belief networks

19 belief networks: 
       general inference algorithms

20 more on machine learning: (for HW #5 in particular)
       concept learning
       advertisement for S00's W4771 (machine learning)

21 finish up belief networks
   natural language processing (NLP)
       it is an example application of most basic AI techniques:
	   constraint satisfaction
	   machine learning
	   uncertain reasoning

22 more NLP
   philosophy of AI

23 overview of AI applications

24 Summary
   Final exam review

W4701                  TUE. 12/21/99       1:10 p.m.    1127 MUD

email: evs at cs dot columbia dot edu