Priekšmetā tiek izskatīti intelektuālo lietišķo datorsistēmu (ILD) uzbūves modeļi un algoritmi: zināšanu atspogūļošanas modeļi un apstrādes metodes; ILD arhitektūra un izstrādes vispārēja metodoloģija; ILD realizācijas metodes - loģiskie izvādes algoritmi. Metožu ilustrēšanai tiek izmantota IF - THEN (JA - TAD) zināšaanu bāze.