CSE111: Great Ideas in Computer Science Dr. Carl Alphonce 219 Bell Hall Office hours: M-F 11:00-11:

cell phones off (please)

Announcements HW5 –Part 1 – work on this week –Part 2 – work on next week –due April 16 4/5-4/9: Artificial Intelligence 4/12-4/16: Theory 4/19-4/23: Exam week

Today’s Agenda Artificial Intelligence –Knowledge representation and reasoning –Game playing

Reasoning Making implicit knowledge explicit Traditional example: –All men are mortal. –Socrates is a man. –Socrates is mortal. Explicit knowledge Implicit knowledge Rule of inference

Knowledge representation for reasoning Represent knowledge so reasoning is supported How should we represent “Maharani serves vegetarian food”? –Serves(Maharani, VegetarianFood)

Answering questions Does Maharani serve vegetarian food? What if we knew only: –VegetarianRestaurant(Maharani)

Inference Add rule: –All(X) VegetarianRestaurant(X) => Serves(X,VegetarianFood)

Events I ate I ate a turkey sandwich I ate a turkey sandwich at my desk I ate at my desk I ate lunch I ate a turkey sandwich for lunch I ate a turkey sandwich for lunch at my desk

Separate predicates? Eating-1 Eating-2 Etc. Will not support reasoning!

Event reification Exists(E) Eating(E) ^ Eater(E,speaker) ^ Eaten(E,turkeySandwich) ^ …