Così è definibile l’AI quando è utilizzata come dispositivo di dominazione e di controllo.
Per minimizzazione si intende
(…) processo di riduzione al minimo. Il termine è usato in logica classica per indicare la possibilità di introdurre un sistema minimo di connettivi, da cui ricavare tutti gli altri attraverso opportune equivalenze logiche. (…) Sempre in logica si parla di minimizzazione di una espressione booleana, cioè di una espressione dell’algebra di Boole, per indicare la sua scrittura più sintetica. Per minimizzare un’espressione booleana si seguono metodi anche laboriosi, fondamentalmente basati su un teorema di minimizzazione (…). Con l’applicazione successiva di questo teorema si ottengono regole pratiche per minimizzare molte espressioni. (da Treccani – Enciclopedia della Matematica)