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