Nestriktā loģika
Nestriktā loģika jeb faziloģika ir loģika, kas speciāli izveidota zināšanu un cilvēka domāšanas procesu attēlošanai. Faziloģika tiek plaši izmantota ekspertu un mākslīgā intelekta sistēmās. Atšķirībā no binārās loģikas vērtību `aplams` un `patiess` vietā faziloģika operē ar loģiskiem mainīgajiem, kas pieņem veselu virkni dažādu vērtību, piemēram, `pareizi`, `nepareizi`, `ne gluži pareizi`, `vairāk vai mazāk pareizi`, `pavisam pareizi`, `kļūdaini`, `ne pārāk kļūdaini`, `visai kļūdaini`, `augstākā mērā kļūdaini`, kas to padara tuvāku cilvēka domāšanas veidam.