473 Lesson Plan - Mon Oct 3
80 min

1:30	1. Shakey domain discussion  (15m)
1:45	2. Informed search (Manhatten distance example) (15m)
		(slides)
1:55	3. A* Search - definition & proof (10m)
		(slides)
2:10	break (5m)
2:15	4. Demo A* applet (5m)
2:20	5. Heuristic Functions (15m)
2:35	6. Propositional Logic (15m)
------------------------------------------------------------

Informed search:
1. weighted graphs
2. dikstra's algorithm
3. saving the path
4. best first
5. best first non-optimality
6. A*

------------------------------------------------------------
2:35	6. Propositional Logic (15m)

Syntax:
variables, literals, connectives AND, OR, NOT, IMPLIES

rain v ~rain
rain => cloud


CNF
truth in an interpretation
satisfiability
validity
IMPLIES versus ENTAILS
Frege system - mechanical rules
ENTAILS versus DERIVABLE