Тип студента

#name=Typestud

#is_a=null

Отношение к списыванию=иногда

Уровень сдачи в срок=средний

Посещаемость = 50-70

Отношение с преподавателем = хорошее

#name=имиджмейкер

#is_a середнячок

Посещаемость = 70-100

Отношение с преподавателем = отличное

If Typestudname =(типовой)& …

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

1. куда перейти (на какой фрейм-кандидат) в случае если текущий фрейм-кандидат привязался, например, перейти к родителю по иерархии наследования,

2. куда перейти, если фрейм-кандидат не привязался, например, перейти к тому фрейму, у которого с текущим фреймом максимально совпадают значения слотов,

3. что делать, если некуда пойти,

4. что делать, если ошибка распараллеливания,

но возможны системные связи, которые указывают, с чего начать. Если сравнивать с UML, субфрейм – это та часть родительского фрейма, которая может без него существовать.

Эта особенность (структурированность) способствует когнитивному сжатию информации, а также ввиду связности сокращает пространство поиска по сравнению с продукциями.

2. Удобство распараллеливания вывода на сети фреймового прототипа, т.е. на каждом шаге формируется не один экземпляр ситуации, а несколько возможных

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

4. Вывод по иерархии наследования и использование заданий отсутствия в качестве типовых.

«-»

1. Громоздкость фреймового представления по сравнению с логическим

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

3. Повышенные требования к уровню квалификации разработчика

Семантические сети

Замечание и к сем сетям и к фреймам: несмотря на многообразие возможных описываемых ситуаций в БЗ ЭС, предназначенной для выдачи консультаций, достаточно задать ограниченный набор вопросов, чтобы разобраться со структурой и типологией ситуации и соотнести её с неким общим представлением. Т.е. в результате одним из подходов к моделированию сем сетей и фреймов является падежные фреймы или падежные рамки (в случае сем сетей см. Филлмор): действие, цель, кто?- агент, на кого направлено действие – рецепиент, инструмент, где? – локатив, когда? И т.д.

Преподаватель

Чуприна

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

Агент

ДАВАТЬ

Куликов

рецепиент

студент

Сем сети по своей природе, если не предписывать им доп механизмы, обладают эвристической неадекватностью и логической неоднозначностью. Это связано с тем, что без метазнаний, например, сама по себе структура не управляет выводом. Также сложно представить незнания. Поэтому чтобы получить отрицательный ответ, нужно перебрать всю сеть. Выход – использовать метазнания и более тонкую категоризацию дуг сети, например использовать класс is_instans, т.е другое наследование.

Несмотря на то, что в ИС не добавится никакого нового функционала при реализации подхода, который я не записала, с т.з. сем сети, имя предиката ситуации будет вынесено как один из её аргументов, способность системы резко увеличивается, а именно уже не надо реализовывать методом наложения, как в 1ом случае, используя метод пересечений и при этом система помимо любого вопроса к аргументам предиката ситуации, как в 1ом случае, может еще и доп отвечать на вопросы, связанные с самой ситуацией. Такое свойство сем сетей называется целостностью в том смысле, что парадигма представления знаний сем сетями диктует специфику алгоритма логического вывода.

Методе пересечений – в сети отправляясь от известных из запроса вершин распространяется активность во всех возможных направлениях до нахождения точки пересечения соотв-их путей. В контексте пересечения ищется ответ с учетом сем расстояния.

Сем сеть можно представить как систему F={C1,…,Cn,{Ri},{G}}

Ci– понятия

Ri- Набор поддерживаемых типов связей

G- Способы интерпретации взаимосвязейCiпосредствомRi

«+»

1. Самый универсальный способ представления знаний, НО это и недостаток, с точки зрения эффективности реализации, поэтому надо поддерживать только свойственные конкретной проблемной области типы связи

2. Связность ( см. связность во фреймах). Неструктурированность вершин сем сети позволяет в отличие от других СПЗ реализовать прямое представление знаний из текста на ЕЯ.

Студент сел за компьютер и отладил программу.

3. Все остальные плюсы фреймов

«-»

1. Неэффективность реализации в случае поддержки большого кол-ва типов связей

2. Повышенные требования к уровню квалификации разработчика, т.е. МЛВ надо программировать

3. Эвристическая и логическая неадекватность