Programovacie jazyky umelej inteligencie: LISP (50-te roky, funkcionálny jazyk, riešenie problému = funkcia, nezvyklá syntax, efektívne programy s jasným významom, práca so symbolmi) PROLOG (80-te roky, logické programovanie predikátová logika 1. rádu, práca so symbolmi) Objektovo orientované C++ alebo SMALLTALK (nutnosť práce s rozmanitými reťazcovými operáciami a dostatok možností na tvorbu údajovo-riadiacich štruktúr) Špeciálne programovacie jazyky (Knowledge Representation Language - KRL, Frame Representation Language - FRL, One World Language - OWL) - netriviálne reprezentačné prostriedky, veľmi náročné, viac teoretického významu