Extensions to Rules for Explanation and Tutoring

Here we consider the logical bases for rules: what kinds of arguments justify the rules, and what is their relation to a mechanistic model of the domain? We use the terms "explain" and "justify" synonymously, although the sense of "making clear what is not understood" (explain) is intended more than "vindicating, showing to be right or lawful" (justify).