产生式理论把智慧技能分为两类：（）、（）。