陈述性知识的表征形式（），程序性知识的表征形式产生式系统。