Редукция модели рассуждений в продукционной системе с расширенным набором операцийстатья