Научное
направление, занимающееся вопросами формализации, представления и обработки
знаний в информационных системах, называют