Ushbu mustaqil ish bilimlarni tasvirlash usullari, mantiqiy modellar va tarmoqli semantik modellarni o'rganadi. Zamonaviy informatika va sun'iy intellekt sohasida muhim o‘rin tutadigan bu nazariya inson bilimlarini kompyuterda samarali saqlash va qayta ishlashni optimallashtiradi. Asosiy prinsiplar bilan tanishish.