Нечёткая логика - обобщение классической логики и теории множеств, она базируется на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году. Это не обычная "истинная или ложная" (1 или 0) логика, на которой основаны современные компьютеры. Принадлежность объекта к нечеткому множеству определяется не только условием "да или нет", но любыми условиями в интервале. Предметом нечёткой логики считается исследование рассуждений в условиях нечёткости, размытости, сходных с рассуждениями в обычном смысле, и их применение в вычислительных системах.
В книге речь пойдёт далеко не о строгой математике: нечёткая логика является составной частью широкого понятия "искусственный интеллект"