علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
تحلیل مفاهیم صوری
تحلیل مفاهیم صوری در دهه نخست اساساً توسط گروه کوچکی از پژوهشگران و شاگردان ویل در آلمان مورد توجه قرار گرفت و محدود به گروه کوچکی در آلمان باقی ماند. قابل توجه‌ترین طرحی که تحلیل مفاهیم صوری در آن مورد استفاده قرار گرفت، اجرای یک نظام کشف دانش در حوزه مهندسی عمران در وست فالیابود که از آلمان فراتر نرفت. اما در طول سال‌های اخیر تحلیل مفاهیم صوری در حوزهایی مثل زبان‌شناسی، مهندسی نرم‌افزار، روانشناسی، هوش مصنوعی و بازیابی اطلاعات مورد استفاده قرار گرفته‌است.