генеративная система правил метод реализации с участием в доказательстве работы запись происхождения