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