现代认知心理学又把程序性知识可以分为模式识别程序和（）两类。