Программные продукты и системы

Под знанием обычно понимают формализованную систему суждений с принципиальной и единой организацией, основанную на объективной закономерности, наблюдаемой в определенной предметной области (принципы, связи, законы) и установленной в результате умственной деятельности человека, направленной на обобщение опыта, полученного им в результате практической деятельности, которая позволяет ставить и решать задачи в этой области.

Для построения СОЗ или ЭС необходимо формализовать знания в определенной модели их представления, которую можно определить как множество синтаксических и семантических соглашений, делающее возможным описание в определенной проблемной области (объекты в этой области, их свойства, отношения между объектами). Синтаксис представления знаний определяет набор правил, регламентирующих объединение символов для формирования выражений. Семантика определяет отношения между знаками и их концептами, то есть задает содержание или значение конкретных знаков.

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

Для обеспечения возможности построения СОЗ, свободных от отмеченных недостатков, необходимо разработать соответствующее математическое обеспечение, содержащее язык представления знаний и процедуры, автоматизирующие взаимное преобразование структур знаний.

Подробное описание дается в статье «Программный комплекс для представления и преобразования дискретных структур знаний», автор Субботин С.А. (Запорожский национальный технический университет, Запорожье).