Sum = H + Sum1.(2) - исп.Подход к проектированию ЭС.Практические аспекты разработки и внедрения ЭС.Понятие логической модели знаний.Характеристика языка предикатов первого порядка.Особенности представления знаний.Формальная теория наз.Аппарат логического вывода.Особенности машинной реализации языка предикатов первого порядка.