Biçimsel analiz nedir?
Bilişimde biçimsel kavram çözümlemesi (formal kavram analizi, formal konsept analizi, FCA), nesne ve niteliklerinden oluşan bir derlemeden, bir kavram hiyerarşisi veya biçimsel ontoloji türetmenin ilkelerini belirleyen bir yöntemdir.