1. Project 2 due date moved to next Wed
Homework 2 due next Monday

2. Term paper: Only for CS796 students

3. Logical Agents do not follow textbook closely

4. agent KB
Tell
Ask

7. If KB is true in the real world, then any sentence entailed by KB is also true in the real world

10. Syntax defines allowed sentences
(positive & negative) literal

11. Semantics define the rules for determining the truth of a sentence w.r.t. a particular model

12. QP
true
false
If P is true, I am claiming that Q is true.
Otherwise, I am making no claim.
“5 is odd implies Tokyo is the capital of Japan”
“5 is even implies Sam is smart”
PQ and QP
Propositional logic does not require any relation of causation between P and Q

15. Why not BFS?