Umelá inteligencia je jednou z oblastí skúmania, poznávania a štúdia, ktorá vzrušuje odborníkov rovnako ako aj laikov už viac ako pol storočia. Je to dlhá doba v informatike; je to takpovediac okamih z perspektívy takých disciplín, ako je napríklad logika, ktorej základy kládol predsa už Aristoteles. A predsa matematická logika poskytuje neodmysliteľný základ pre množstvo fundamentálnych metód umelej inteligencie. Možno má umelá inteligencia nie príliš šťastný názov, ktorý priveľa naznačuje, ale nie celkom presne korešponduje so skutočným predmetom skúmania a obsahom poznatkov... Pavol Návrat ascunde descrierea