150 likes | 245 Views
Project 2 due date moved to next Wed Homework 2 due next Monday. Term paper: Only for CS796 students. Logical Agents do not follow textbook closely. agent. KB. T ell. Ask. If KB is true in the real world, then any sentence entailed by KB is also true in the real world.
E N D
Project 2 due date moved to next Wed • Homework 2 due next Monday
agent KB Tell Ask
If KB is true in the real world, then any sentence entailed by KB is also true in the real world
Syntax defines allowed sentences (positive & negative) literal
Semantics define the rules for determining the truth of a sentence w.r.t. a particular model
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” PQ and QP Propositional logic does not require any relation of causation between P and Q