О релевантном обратном выводе в системах знаний продукционного типадоклад на конференции