Важным вопросом при создании БЗ является выбор способа представления знаний. Цель представления знаний — организация необходимой информации втакую форму, чтобы программа искусственного интеллекта имела легкий доступ к ней для принятия решений, планирования, узнавания объектов и ситуаций, анализа сцен, вывода заключений и других когнитивных функций. Выше достаточно подробно были рассмотрены основные типы моделей представления знаний. Здесь кратко охарактеризуем некоторые из них применительно к процессу разработки БЗ.
При использовании логики предикатов первого порядка БЗ может рассматриваться как совокупность логических формул, которые обеспечивают частичное описание проблемной среды.
Семантические сети позволяют описывать свойства и отношения объектов событий, понятий, ситуаций или действий с помощью направленного графа, состоящего из вершин и помеченных ребер. Как отмечалось выше, при использовании для представления семантической сети знания разделяются на экстенсиональные и интенсиональные. Экстенсиональная сеть является основой БД, а интенсиональная — БЗ.
|
|
Фреймы, как и семантические сети, представляют собой декла-ративно-процедуральные структуры. Во многих фреймовых структурах возможна реализация наследственных отношений, при которых объекты могут наследовать атрибуты более абстрактных объектов [36]. Такая форма организации знаний позволяет экономить объем памяти.
Продукционные модели, вероятно, являются сейчас наиболее популярным способом представления знаний.
При организации знаний с использованием продукционных моделей в БЗ содержатся правила продукций, а в БД содержится информация, которая отображает текущее состояние решаемой задачи. Инициализацию необходимого правила осуществляет блок управления (в другой терминологии: интерпретатор).
Большие трудности возникают при создании моделей не полностью определенных, нечетких знаний.
В последние годы активно ведутся работы по развитию методов формализации нечетких знаний, которые находят применение при построении баз знаний в прикладных системах ИИ.