agg. invar. si dice di un tipo di logica impiegata nell'intelligenza artificiale, secondo la quale una variabile può essere parzialmente vera o parzialmente falsa, dunque non necessariamente del tutto vera o del tutto falsa come nella logica tradizionale.