Метод логического анализа данных при программировании заключается в выявлении закономерностей в данных и формализации их в виде набора правил. 5 То есть набора закономерностей, описываемых простой логической формулой. 5

К логическим методам относятся, например: нечёткие запросы и анализы, символьные правила, деревья решений, генетические алгоритмы. 1

Некоторые задачи, которые решает метод логического анализа данных:

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