The ALT system is designed to teach Predicate and Propositional Calculus to Students. It is based around the courses MC1 & MC2, which are run at Nottingham University. The ALT allows users to do two different things. The system offers set questions, which are of different levels, and lets the user run through these. Every so often, the user is prompted for the next line in the solution. If they get it right, then it moves on. If they get it wrong, then it tries to explain where they went wrong and then shows them a correct line. The set questions will cover Truth Tables, System L & K and Logical Sentence Conversion.
The second thing that the ALT system will allow, is for a user to put in their own problem and let the system work out the answer for them. This is the most ambitious part of the project and may or may not be finished by the submission date. If we can get this working, the student will tell the system what type of question they are entering and then the system will try to give back one possible solution to the problem.
At the moment, only the most basic parts are working, but we are constantly developing the system. The completion date is set for May 1998.
Below is a screenshot from the ALT system, which is the current interface (please note that this is going to change considerably before then end of the project):