Знания – хранимая в ЭВМ информация, формализованная в соответствии с определёнными структурными правилами, которые ЭВМ может автономно использовать при решении проблем по таким алгоритмам, как логические выводы.

Обработка знаний в ЭВМ представляет собой обработку их содержимого правилами преобразования тех форм, которыми описываются знания в машине.

При обработке знаний наиболее важной проблемой является описание смыслового содержимого проблем широкого диапазона, а также существование такой формы описания знаний, которая гарантирует, что обработка их содержимого формальными правилами преобразования будет осуществляться правильно. Эта проблема – проблема представления знаний.