Einstein's Puzzle Tutorial

From OpenCog
Jump to: navigation, search

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.

Contents

Since this process will require many different steps and pages, an overview of these steps seems like a good idea.

Next Steps

The first step is to define the problem in Scheme format.

Q&A

Any questions?

Please leave them here.