M04.2 CONNECT THE MECHANISM
Talk about objects and relationships
Teaching a computer "a parent's parent is a grandparent" takes 216 rules in plain true/false logic. With variables it takes one. See how, and watch a family tree answer questions.
LESSON OVERVIEW12 min lesson
Lesson overview
Teaching a computer "a parent's parent is a grandparent" takes 216 rules in plain true/false logic. With variables it takes one. See how, and watch a family tree answer questions.
What you’ll explore
- Predicates, variables, quantifiers, and unification let logic express relationships among objects while making the scope of each statement explicit.
GO TO THE SOURCE
Original explanations, connected to the research.
Artificial Intelligence: A Modern Approach — authors’ materialsSuggest a correction
A precise note can make an explanation better.
Choose the scene and describe what needs attention. Download a feedback file to share through a channel you already use. This page does not send feedback or connect you with a reviewer.