Логические методы построения и анализа моделей выбора

Логические методы используют представление функций выбора и моделей выбора в виде формул некоторого логического языка и сводят задачи построения и исследования моделей выбора к формальным преобразованиям и анализу этих представлений. Они позволяют решать широкий круг конструктивных задач, связанных с построением, анализом, упрощением и оценкой сложности формальных моделей выбора, дают возможность применить к задачам выбора методологию Шеннона–Яблонского–Лупанова изучения управляющих систем. В данной статье систематизируются результаты автора по исследованию моделей выбора логическими методами, полученные в разное время и опубликованные в разных изданиях. Приводятся относящиеся к этой области результаты других авторов.