Интерпретация противоречивых изображений на основе систем линейных неравенств

Рассматривается задача интерпретации трехмерных изображений по их плоским проекциям с точностью до набора видимых граней. Для проекций выпуклых многогранников демонстрируется алгоритм интерпретации на основе максимальных совместных подсистем некоторой несовместной системы линейных неравенств, моделирующей требования видимости граней многогранника. Приводится ряд модельных примеров, в частности, алгоритм применяется для интерпретации куба Неккера.