Kurs jest realizowany na 1. semestrze EIS poświęconym podstawowym metodom na których opierają się technologie i systemy inteligentne
Celem kursu jest przekazanie najistotniejszych wiadomości dotyczących metod symbolicznego reprezentowania wiedzy i automatycznego jej przetwarzania - wnioskowania