Teach arbitrary coding
This would be an abstraction over teaching basic programming and knowledge graphs.
Feature: Production system
We’ve started to build a simple production system that can be used to detect errors in subtraction (reimplementing some classic work). We were thinking that something similar could be used to detect other kinds of errors (so, for debugging, teaching), and to support other kinds of reasoning processes (e.g., turning Q’s into A’s in a question-answering system).
We previously did a little exploratory work, with similar intent, using polygraphs as input, in the workshop paper “Modelling the Way Mathematics Is Actually Done”.
The paper talks about exposition and formal thinking as two different sides of mathematics.
You need exposition to teach anything
We are trying to build a new web
Demo application: Reimplementing classic rules to model subtraction
We looked at a classic paper about “subtraction on Mars” and it seems that reimplementing it might be the best way to go.