{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

cs440-lec2-propositional-logic

# cs440-lec2-propositional-logic - Introduction to Artificial...

This preview shows pages 1–7. Sign up to view the full content.

Introduction to Artificial Intelligence Lecture #2: Propositional Logic UIUC CS 440 / ECE 448 Professor: Eyal Amir Fall Semester 2008

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Today Representation in Propositional Logic Axioms and Facts Boolean Algebras
Representing Knowledge Propositional symbols represent facts under consideration: there_is_rain, there_are_clouds, door1_open, robot_in_pos_56_210 Not propositions: is_there_rain? location_of_robot Dan_Roth

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Examples The sun is shining Markovian Networks Despite it all Facebook is nice I think therefore I am Every man is either alive or dead
Truth Values Logical formulas: atoms, connectives, sentences Truth Assignments Evaluating the truth value of a formula Truth tables

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Propositional Logic Semantics: Truth assignments that satisfy KB/formula ) ( ) ( b a b a ¬ -a -b a -b -a b a b Interpretations : I 1 [a]=FALSE I 1 [b]=FALSE assign truth values to propositional symbols I 1 I 2 I 3 I 4
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 20

cs440-lec2-propositional-logic - Introduction to Artificial...

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online