Project 2 due date moved to next Wed Homework 2 due next Monday
1
Term paper: Only for CS796 students
2
Logical Agents
do not follow textbook closely
4
agentTell
AskKB
5
6
7
If KB is true in the real world, then any sentence entailed by KB is also true in the real world
8
9
10
(positive & negative) literal
Syntax defines allowed sentences
11
Semantics define the rules for determining the truth of a sentence w.r.t. a particular model
12
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”
Propositional logic does not require any relation of causation between P and Q
QP
true
false
true
true
PQ and QP
13
14
15
Why not BFS?
