Illusione epistemologica e operativa degli anni Ottanta, secondo cui era possibile implementare dispositivi in grado di applicare inferenze logiche su basi di conoscenza scritte in forma dichiarativa, complete e totalmente dominate, sulla base di definizioni e descrizioni e di euristiche per combinare e manipolare le conoscenze stesse.