La disciplina che affronta la pianificazione e l'attività di costruzione, test e distribuzione di sistemi basati sulla conoscenza di programmazione. Esso prevede lo sviluppo di sistemi esperti, tra cui l'acquisizione di conoscenza e rappresentazione della conoscenza.