Методы представления знаний Формальные языки и формальные системы



страница4/17
Дата15.01.2013
Размер1.11 Mb.
ТипЛекции
1   2   3   4   5   6   7   8   9   ...   17

Представление знаний с помощью
семантических (ассоциативных) сетей


Понятие возникло в 50-х годах при попытке описания семантики глагола с помощью графа специального вида. Предложил Qulian (?) в 1956г.
Пример.

Рассмотрим глагол "бить"

Задавая роли1, мы тем самым задаем семантику глагола (то есть задаем типовые ситуации, которые описывает этот глагол).

В овалах – переменные. После подстановки туда конкретных значений оказывается, что точно описали ситуацию.
Но такая конструкция не является обыкновенным графом, так как семантика стрелок различна2. Этот тип графа назвали семантическим графом. Сейчас мы рассматриваем простую семантическую сеть (simple semantic network).
На рис.1 представлено графическое изображение некоторого предиката. Бить – предикатный символ. На дугах обозначены типы переменных, в овалах – переменные (предикат замкнутый, если переменные подставлены). Таким образом, можно переписать:

Бить(кто, чем, за что, куда) – атомарная 4-х местная логическая формула языка предикатов 1-го порядка.

Бить – предикатный символ

кто: тип переменной назовем субъект

чем: средство

за что: причина (казуальный тип)

куда: адресат действия

Таким образом, имеем 4 разных типа переменных. Каждый тип пробегает по своему множеству значений. Такой вариант исчисления предикатов называется многосортным.
Роберт Ковальский (R. Kowalsky) предложил другой тип семантических сетей - расширенная семантическая сеть (Extended Semantic Network) -, в вершинах которой находятся атомарные формулы, и существует несколько типов дуг:

  1. указывающих типы переменных (в атомарных формулах)

  2. связывающие типы переменных с областями допустимых значений

  3. дуги соответствующие логическому следованию


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

Всякий человек, который не держит собак, не держит кошек.



Субъект




Кошка




Собака




Джон




Мурка




Линда

Петя




Васька




Шарик

Вася













2 предиката:






                  1. Рис. 2

-сеть, соответствующая нашему знанию сейчас (интенсиональная сеть)
Как работает такая сеть?

Есть – ли у Васи кошка? - ищем в БД;

Вася владелец Линды, Линда – собака.







Используем расширение семантических сетей для вывода, уменьшая число переборов (при подстановке значений переменных и вычисления значений предикатов), но увеличивая объем используемой памяти.
-такие сети возникли для решения задач автоматического вывода + работу таких сетей можно параллелезировать (параллельно можно запускать несколько выборов).

Определение. n-арным отношением на М называется некоторое подмножество .

Пусть n=2.
Определение. Бинарное отношение называется транзитивным, если, .

В противном случае оно называется нетранзитивным.
Определение. Бинарное отношение называется симметричным, если .

В противном случае оно называется несимметричным. Если , то отношение называется антисимметричным.
Определение. Отношение называется рефлексивным в области определения, если .

В противном случае оно называется нерефлексивным. Если (т.е. утверждение никогда неверно), то такое отношение называется антирефлексивным.

1   2   3   4   5   6   7   8   9   ...   17

Похожие:

Методы представления знаний Формальные языки и формальные системы iconРабочая программа дисциплины теория автоматов и формальных языков направление подготовки
Уметь: строить формальные грамматики, деревья вывода, распознающие автоматы; анализировать формальные языки
Методы представления знаний Формальные языки и формальные системы icon4. Введение в формальные (аксиоматические) системы 1 Формальные модели
Принципы построения формальных теорий. Аксиоматические системы, формальный вывод
Методы представления знаний Формальные языки и формальные системы iconЛекция 3 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы iconЛекция 4 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы icon1. Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки
Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconКодирование информации
Представление информации. Язык как способ представления информации: естественные и формальные языки. Дискретная форма представления...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconЭкзаменационные билеты по информатике 9 класс
Понятие информации. Виды информации. Язык как способ представления информации. Естественные и формальные языки. Основные информационные...
Методы представления знаний Формальные языки и формальные системы iconФормальные модели программных агентов в задаче семантического индексирования документов
В работе рассматриваются формальные модели делиберативных агентов, т е агентов базирующихся на базируется на принципах и методах...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org