- •Представление знаний в информационных системах Основные понятия об инженерных знаниях. Общие сведения о знаниях
- •Логическая модель представления знаний
- •Логика предикатов
- •Достоинства и недостатки логических моделей
- •Стандартные типы доменов
- •Списки в прологе
- •Операция отсечения
- •Разделение списка
- •Объединение списка
- •Сортировка списков
- •Сетевые модели Семантические сети
- •Виды вершин
- •Виды дуг
- •Вспомогательные отношения
- •Основные преимущества моделей представления знаний
- •Продукционная модель представления знаний
- •Стратегии выбора
- •Простота механизмов вывода.
- •Системы продукции могут реализованы любыми алгоритмами и следовательно отражать любое знание доступное эвм.
- •Методы обработки знаний
- •Представление неточных и нечетких знаний
- •Операции с нечеткими множествами
- •Стандартные функции принадлежности
- •Дефазификация
- •Преимущества и недостатки нечеткой логики
- •Инструментальные методы работы со знаниями
- •Понятие о функциональном логическом программирование
- •Экспертные системы
- •Классификация экспертных систем
- •Обучение.
Виды вершин
Понятия – представляют собой сведения об абстрактных или конкретных объектов предметной области.
События – это действия, которые могут ввести изменения в предметную область.
Свойства – используются для уточнения понятий и событий (цвет, место, время)
Существует много вариантов семантических сетей, но все они представляют объекты, категории объектов и отношения между объектами.
У графической системы обозначения имен объектов или категорий изображаются в овалах, а связи между ними обозначаются в виде дуг с метками.
Виды дуг
Дуги часто называют семантическими отношениями.
Лингвистические отношения – делятся в свою очередь на падежный и атрибутивный.
Падежные отношения могут являться следующими:
-
агент; отношение между событием и тем, что или кто его вызывает;
-
объект; отношение между событием и тем, над чем производиться действие; (гайка, завинчивание)
-
условие; отношения, указывающие на логическую зависимость между событиями;
-
инструмент; отношение между событием и объектом, с помощью которого оно совершается.
Атрибутивные отношения – это отношения между объектом и свойством (цвет, форма, размер объекта)
Логические отношения – это используемые в осуществлении высказывания.
¬ (отрицание, НЕ)
^ (конъюнкция, И)
(дизъюнкция, ИЛИ)
→ (импликация, ЕСЛИ-ТО)
Квантифицированные отношения – это логические квантеры общности и существа по ним.
Теоретико-множественные отношения – это отношения между элементом множества (подмножества) и множества, т.е. это отношение части к целому. Этот тип отношения используется дл хранения в базе знаний сложных иерархических понятий.
Для всех семантических сетей справедливо разделение по арности и количеству типов отношения.
По количеству типов отношений сети могут быть: однородные и неоднородные. Однородные сети обладают только одним типом отношения. В неоднородных сетях количество типов отношения больше либо равно двум.
По арности отношения выделяются на бинарные (которые связывают два понятия) и n-арные.
Семантические отношения можно разделить на: иерархические и вспомогательные.
Наиболее часто возникают потребности в описании отношениями между элементами, множествами и частями объектов.
Отношения между объектом и множеством обозначающем, что объект принадлежит этому множеству, называется отношением классификации (ISA).
Связь ISA предполагает, что свойства объекта наследуются от множества. Обратное к ISA отношение используется для обозначения примеров. Отношение между надмножество и подмножеством называется AKO, альтернативное название subsetof, или подмножество. Это отношение определяет, что каждый элемент первого множества входит и во второе, а так же логическую связь между самими подмножествами.
Объект состоит из нескольких частей, важным отношением является haspart, описывающий часть или целые объекты (отношение, меранимии, т.е. отношением между части и целым).
Мераним – это объект, являющийся часть для другого. Двигатель – это мераним для другого.
Холоним – это объект, который включает в себя другой.