Анализ формальных понятий [Formal Concept Analysis]

Термин «Анализ Формальных Понятий (АФП)» [Formal Concept Analysis (FCA)] был предложен Рудольфом Вилле [Rudolf Wille], который начал работу над своим исследованием «restructuring lattice theory» (Wille, 1982) в конце 1970-х годов в Техническом университете Дармштадта [Technical University of Darmstadt]. АФП уходит корнями в предшествующие работы, посвящённые связям Галуа и решеткам замкнутых множеств (G. Birkhoff  (Birkhoff, 1973),  O. Ore и др.), и ранние работы о приложениях теории решёток к задачам информатики (M. Barbut, B. Monjardet (Barbut & Monjardet, 1970) и др.). На ранних этапах развития АФП зачастую неверно воспринималась как ещё один тяжело масштабируемый формализм для работы с таблицами из нулей и единиц. Но сейчас легко показать актуальность Анализа Формальных Понятий при решении задач обработки больших объёмов сложных динамических данных, связанных с некоторыми дополнительными «знаниями».  

В течение трех последних десятилетий основанные на АФП модели представления, выявления (Hereth, 2002) и интенсивной обработки знаний разработаны и используются во многих научно-исследовательских и промышленных проектах во всем мире (см. недавние обзоры J. Poelmans с коллегами; обзор C. Carpineto и G. Romano (2004 г.); обзор U. Priss 2006 года по применению АФП к информационному поиску и выявлению знаний; обзор программного обеспечения (2004 г.), использующего АФП (Tilley, Tool support for FCA, 2004); аналитический обзор 2012 года с библиометрическим анализом публикаций и изучением научно-исследовательского сообщества АФП (Doerfel, Jäschke, & Stumme, 2012)). В то же время, были показаны связи с другими направлениями в области выявления и обработки знаний: дескриптивными логиками, понятийными структурами (Sowa, 1984), нахождением ассоциативных правил, машинным обучением, теорией «грубых» и нечётких множеств и другими.

На 13-й международной конференции в области решёток понятий и их приложений ( Concept Lattices and Their Applications  - CLA’2016) Бернард Гантер сделал доклад, в котором сформулировал наиболее значимые краткосрочные цели в области формальных понятий:
1. Разработка интутивно понятных программ для прорисовки диаграмм решеток понятий
2. Разработка алгоритмов для прорисовки диаграмм решеток понятий
3. Создание списка существующих "рецептов" ( стандартных процедур) применения методов анализа формальных понятий в различных областях анализа данных
4. Разработка методик обучения методам анализа формальных понятий