单项选择题

如果一个产生式系统可以分解为几个子问题,当子问题得以求解时,则原始问题被求解。这样的产生式系统称为()

A.双向产生式系统
B.可交换的产生式系统
C.可分解的产生式系统
D.正向产生式系统