Выдержка из книги
Гаврилова Т.А.
Базы знаний интеллектуальных систем
При выборе языка описания поля знаний не следует забывать, что на стадии формализации необходимо его заменить на машинно-реализуемый язык представления знаний ( ЯПЗ), выбор которого зависит от структуры поля знаний. Существует ряд языков, достаточно универсальных, чтобы претендовать на роль языка инженерии знаний, - это структурно-логический язык SLL, включающий аппарат лямбда-конверсии [ Вольфенгаген и др., 1979 ], язык К-систем [ Кузнецов, 1989 ], УСК [ Мартынов, 1977 ] и др. Однако они не нашли широкого применения.