https://en.wikipedia.org/wiki/Formal_concept_analysis
https://ru.wikipedia.org/wiki/Анализ_формальных_понятий
У меня смысл возникает как сложная синтаксическая структура не требующая в своем основании теории множеств, вообще ничего не требующая. Это принципиально. Смысл это синтаксис (точнее связь).
Основание идет от процессов и изменения состояния. Матем.формализация от нормальных алгоритмов Маркова, физическим воплощением которых, граундингом и реализацией служат конечные автоматы.
Но, само по себе, определение понятия как упорядоченная пара совпадает. Поэтому "Formal concept analysis" работать будет, хоть и не очень стройно стыковаться со всем остальным. Но как мат.формализм основанный на теории множеств был многим исследователям приятен. Но это несколько уводит в сторону и индуцирует менее ясные пути.
https://en.wikipedia.org/wiki/Formal_concept_analysis
Игнатов. Анализ формальных понятий от теории к практике.
https://publications.hse.ru/mirror/pubs/share/folder/8yy8txxwr7/direct/72561425
ДСМ-метод — метод автоматического порождения гипотез.
https://ru.wikipedia.org/wiki/ДСМ-метод
Аншаков О.М. ДСМ-метод: теоретико-множественное объяснение
http://www.raai.org/about/persons/anshakov/ansh2012tmojsm.pdf
ДСМ-метод в терминах Анализа формальных понятий
http://www.machinelearning.ru/wiki/index.php?title=ДСМ-метод_в_терминах_АФП
Финн В.К. О неаристотелевском строении понятий
https://iphras.ru/uplfile/logic/log21/Finn.pdf
Витяев Е.Е. ,Мартынович В.В.
Вероятностные формальные понятия в некоторых задачах классификации
https://cyberleninka.ru/article/n/veroyatnostnye-formalnye-ponyatiya-v-nekotoryh-zadachah-klassifikatsii
Demin, Ponomaryov, Vityaev. Probabilistic concepts in formal contexts.
https://www.researchgate.net/publication/228840323_Probabilistic_Concepts_in_Formal_Contexts