产生式和产生式系统是由命题网络转化而来的。