Нечёткая логика — это форма многозначной логики, формализованная в 1965 году Лютфи Заде.