Einstein's Puzzle Tutorial
This page provides a tutorial for using OpenCog to solve Einstein's Puzzle. The puzzle is a worthwhile challenge, as it is relatively easy to pose, yet hard to solve. Because of this, it highlights the kinds of problems one might encounter in a general problem-solving framework.
The tutorial is in development, and very incomplete right now, and contains a lot of conflicting and incorrect information. Currently, the most complete manifestation of the puzzle is in a unit test for the pattern matcher, the EinsteinUTest. The statement of puzzle facts can be found in tests/query/deduct-einstein.scm and the deductive rules in tests/query/deduct-rules.scm.
Since this process will require many different steps and pages, an overview of these steps seems like a good idea.
- Basic description of the puzzle-- Try solving it yourself first!
- How to solve the puzzle as a human being
- Defining the puzzle facts
- Getting Python PLN up and running
- Understanding how PLN solved the problem
The first step is to define the problem in Scheme format.
- Please leave them here.