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