Mākslīgā intelekta virziens, kas pēta intelektuālu sistēmu izstrādi, kuras spēj domāt racionāli, pamatojas uz pirmās kārtas loģiku. Pirmās kārtas loģika ir pamatā ļoti daudzveidīgām intelektuālām sistēmām. Šī kursa ietvaros tiek apskatīti pirmās kārtas loģikā sakņoti intelektuāli roboti un robotizētas intelektuālas sistēmas, to zināšanu bāzes projektēšana, secināšanas likumu un izveduma mehānismu, tādu kā tiešā un inversā secināšana un rezolūcija lietošana, aģentu projektēšana un plānošanas aģenti, kā arī dots ieskats augstākas kārtas loģikās, situāciju rēķinos un loģikās, kuras lieto daudzaģentu sistēmu izstrādē, pie kurām pieder autonomas sistēmas, kas sastāv no vairākiem robotiem.