AIMA Artificial Intelligence a modern approch

AIMA-exercises is an open-source community of students, instructors and developers. Anyone can add an exercise, suggest answers to existing questions, or simply help us improve the platform. We accept contributions on this github repository.

Exercise 19.1 [dbsig-exercise]

Show, by translating into conjunctive normal form and applying resolution, that the conclusion drawn on pageĀ dbsig-page concerning Brazilians is sound.

View Answer