（）又称为推理机构，由一组程序组成，负责整个产生式系统的运行，实现对问题的求解。