Построение логических моделей