Данная глава целиком посвящена примеру создания экспертной системы CIOS (Circuit Input/Output Simplification). Назначением системы CIOS является построение и оптимизация таблиц истинности (boolean decision table) заданных логических схем. В отличие от примера, приведенного в гл. 9, рассматриваемая в этой главе экспертная система будет использовать не так уж много правил. Данный пример демонстрирует, насколько эффективной может оказаться интеграция объектно-ориентированных возможностей COOL с правилами и механизмом логического вывода CLIPS. Именно наличию продуманной иерархии классов, объекты которых представляют собой элементы логической схемы, экспертная система обязана такому небольшому числу правил. Большая часть обработки информации происходит в объектах благодаря использованию обработчиков сообщений разных типов.
Помимо объектно-ориентированных возможностей CLIPS система CIOS использует также родовые функции, которые превосходно подошли для связывания логических элементов разных типов.
Большинство конструкций языка, используемых при создании экспертной системы CIOS, уже были рассмотрены в предыдущих главах. Однако в данной главе все-таки встречаются еще не рассмотренные функции языка CLIPS. Краткое описание назначения таких функций будет приводиться по мере необходимости. Полное описание большинства таких функций можно будет найти в гл. 15.