2. A computer implemented method in accordance with claim 1 , wherein problems in said problem domain and said SLT rule for solving problems in said problem domain serve as inputs to a computer implemented automated general purpose tutor delivery system for delivering said content specified to at least one said student, wherein said automated general purpose tutor delivery system makes diagnostic, remedial and mastery decisions independently of the semantics of said to-be-learned SLT rule, wherein said automated general purpose tutor delivery system interacts with each said student using the interface created with said interface creation tool, said delivery method comprising the steps of: a) Receiving the output of said authoring in claim 1 as input, wherein said input includes an SLT rule, at least one problem that can be solved by said SLT rule, attributes for displaying problems on said interface, and a method of interacting with said student, wherein said method includes at least one of and mastery options, delivery options and inferencing methods specifying how tutoring decisions are to be made, b) Selecting a problem and a node in said SLT rule, c) Generating a sub-problem of said problem, wherein said sub-problem is generated by executing said SLT rule up to one of said node in said SLT rule and the top level node in said SLT rule, d) Generating a solution to said sub-problem by completing execution of said SLT rule on said sub-problem, e) Displaying said sub-problem on said interface in accordance with values and attributes assigned to input nodes in said sub-problem and response types of goal nodes in said sub-problem as specified in step e) of claim 1 , f) One of asking a question and presenting instruction on said sub-problem, g) When instruction on said sub-problem is given on said interface, adjusting the mastery status of said student on said node defining said sub-problem as specified in step f) of claim 1 , h) When a question on said sub-problem is displayed on said interface, receiving a response from said student, i) Evaluating said student response by comparing said student response with said solution and one of providing feedback to said student and not providing said feedback, j) Updating said student's status on said node based on said mastery and delivery options and the results of said evaluation of step i), k) One of making and not making inferences as to student status on other nodes based on said updating in accordance with said mastery and delivery options, and l) Repeating steps b) through k) until the student has demonstrated said level of mastery specified in said mastery options received in step a).
2. A computer implemented method in accordance with claim 1 , wherein problems in said problem domain and said SLT rule for solving problems in said problem domain serve as inputs to a computer implemented automated general purpose tutor delivery system for delivering said content specified to at least one said student, wherein said automated general purpose tutor delivery system makes diagnostic, remedial and mastery decisions independently of the semantics of said to-be-learned SLT rule, wherein said automated general purpose tutor delivery system interacts with each said student using the interface created with said interface creation tool, said delivery method comprising the steps of: a) Receiving the output of said authoring in claim 1 as input, wherein said input includes an SLT rule, at least one problem that can be solved by said SLT rule, attributes for displaying problems on said interface, and a method of interacting with said student, wherein said method includes at least one of and mastery options, delivery options and inferencing methods specifying how tutoring decisions are to be made, b) Selecting a problem and a node in said SLT rule, c) Generating a sub-problem of said problem, wherein said sub-problem is generated by executing said SLT rule up to one of said node in said SLT rule and the top level node in said SLT rule, d) Generating a solution to said sub-problem by completing execution of said SLT rule on said sub-problem, e) Displaying said sub-problem on said interface in accordance with values and attributes assigned to input nodes in said sub-problem and response types of goal nodes in said sub-problem as specified in step e) of claim 1 , f) One of asking a question and presenting instruction on said sub-problem, g) When instruction on said sub-problem is given on said interface, adjusting the mastery status of said student on said node defining said sub-problem as specified in step f) of claim 1 , h) When a question on said sub-problem is displayed on said interface, receiving a response from said student, i) Evaluating said student response by comparing said student response with said solution and one of providing feedback to said student and not providing said feedback, j) Updating said student's status on said node based on said mastery and delivery options and the results of said evaluation of step i), k) One of making and not making inferences as to student status on other nodes based on said updating in accordance with said mastery and delivery options, and l) Repeating steps b) through k) until the student has demonstrated said level of mastery specified in said mastery options received in step a). 15. A computer implemented method in accordance with claim 2 wherein each said SLT rule is terminal, wherein each said terminal SLT rule consists of a given input and corresponding output, said knowledge is said to represent factual knowledge.