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?