68. Представление спецификаций программ.

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

69. Императивное представление знаний. Язык scp.

Императивная (продукционная) модель представления знаний

70. Декларативное представление знаний. Язык scl.

Идея представления знаний базируется на принципе того, что знание можно рассматривать независимо от того, как оно будет обрабатываться. Знание и методы его обработки будут четко отделены друг от друга.

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

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

Вопрос о том, какую схему представления  -  процедурную или декларативную  -  следует использовать, вызывает необы­чайно много разногласий, примеры чему можно найти в книге Брахмана и Смита. Каждая схема имеет присущие только ей преимущества. Декларативное представление является гиб­ким, экономным, полным и легко модифицируемым. Процедур­ное представление проще кодировать, при нем имеется лишь одна прямая цепочка логического вывода, что делает более по­нятным ход рассуждений. Вряд ли одну из этих схем можно применять полностью независимо от другой; в будущих систе­мах, по-видимому, найдут применение обе формы представле­ния знаний

Разделяют декларативное и процедуральное представление знаний. Декла­ративное представление не содержит в явном виде описания процедур. Это, как  правило, множество утверждений, не зависящих от того, где они использу­ются. Моделирование предметной области в такой форме требует полного опи­сания ее состояния. Вывод и поиск решений опирается в основном на проце­дуры поиска в пространстве состояний.

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

Наиболее распространенными считаются логические и сетевые модели представления знаний. Основой логических моделей является понятие фор­мальной системы, задаваемой четверкой М = (Т, Р, А, Ф), где Т— множество базовых элементов; Р — множество синтаксических правил, позволяющих из Т строить правильные выражения; А — множество аксиом; Ф — семантические правила вывода, позволяющие расширять множество аксиом за счет других выражений. Использование логик различного типа при построении синтаксиче­ских и семантических правил порождает модели различных типов. Широкое распространение получили предикатные системы, особенно после создания мощных процедур вывода на базе метода резолюций, лежащего в основе ме­ханизмов языка ПРОЛОГ.

Сетевые модели в отличие от логических предоставляют более широкие возможности для описания сложных структур знаний. Основой этих моделей является сеть, вершины которой отождествляются с некоторыми понятиями, а дуги — соотношениями между этими понятиями. При этом вершины могут иметь собственную внутреннюю структуру. Широкое распространение получи^ ли сетевые модели в виде семантических сетей и фреймов.

Фреймы. Одним из возможных путей представления знаний является фреймовая организация. Под фреймом понимается модель ситуации реального мира, но не конкретной ситуации, а наиболее характерных, основных особен­ностей ряда близких ситуаций одного класса. Графически фрейм представля­ется в виде сети, состоящей из узлов и связей между ними. Каждому узлу со­ответствует определенное понятие. Это понятие может быть задано в явном виде, а может быть и не задано. Не заданные в явном виде узлы называются терминалами.

При возникновении конкретной ситуации из памяти извлекается фрейм, соответствующий данному классу ситуаций, и производится уточнение ситуа­ции путем заполнения терминалов. Каждый терминал может устанавливать условия, которым должны удовлетворять его задания.