These production rules, and the selection algorithm, combine to form what’s called a Domain Model, which is a formal representation of the knowledge, procedures and skills of a particular discipline - like algebra.

这些产生式规则和选择算法结合起来形成了所谓的领域模型，它是特定学科（如代数）的知识、程序和技能的形式化表示。