Un sistem care matematic, modele de relaţii complexe, care sunt de obicei tratate într-un mod vag după limbă. Sub titlul de "Fuzzy Logic" se încadrează logicii formale fuzzy (o forma multi-de prim rang al logicii), şi seturile fuzzy. Seturi fuzzy măsură similitudine între un obiect şi un grup de obiecte. Un membru al unui set neclare pot aparţine atât setul, şi compliment acesteia. Seturile fuzzy poate raţionament mai atent aproximative uman decât tradiţionale "crisp" seturi. A se vedea: seturi de Crisp.