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



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

Основная вычислительная задача в системе фреймов


Пусть - система фреймов, и задан пример (агрегат) . Основная вычислительная задача заключается в эффективном вычислении отношения истинности , а именно:

  • удовлетворение всех областей значений элементарных фреймов значениями, входящими в этот агрегат;

  • вычисление всех функций, которым доставляют значения фактических параметров значения этого агрегата;

  • переход по ссылкам на имена фреймов (в обратном направлении);

  • переход по связям и .


Выполненными окажутся только те фреймы, которые останутся после выполнения этих четырех процедур.
  1. Методы моделирования рассуждений


Рассуждения - это процедуры, которые используются для работы со знаниями.

Вычисления - частный случай рассуждений.
    1. Типы рассуждений


Дедуктивные рассуждения (силлогизмы Аристотеля)

Главный принцип - построение умозаключений на основе перехода от общих рассуждений к частным. Формализация дедуктивных рассуждений - классическая математическая логика.

Основные правила дедуктивных рассуждений - правила математической логики.

Основное правило:

Вспомогательные правила:

;

;


Этот метод применяется в точных науках, некоторых гуманитарных (юриспруденция).

Результат таких рассуждений - всегда истина, поэтому они называются достоверными.

Индуктивные рассуждения1

Общий вывод строится на основе частных примеров.

Рассуждения такого рода могут привести к ошибочным результатам. Поэтому такие рассуждения называются правдоподобными.

Абдукция

Переход от частного к частному. Этот тип рассуждений наиболее часто используется в жизни. Также не является достоверным.

Аналогия

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

Различают точную и приближенная аналогию.

Главная проблема - выделение существенных свойств.

Рассуждения на основе прецедентов (case-based reasoning)

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


Аргументация

Для принятия решений исследуются совокупности аргументов "за" и "против". Это механизм обоснования или опровержения гипотез. Элементами аргументации часто бывают вышерассмотренные рассуждения.
  1. Метод автоматической дедукции


Автоматизация метода дедукции - метод резолюций.

Предложен Робинсоном (J.A. Robinsonб,амер.) в 1953 году. Однако еще ранее, в 1930 году Эрбран (Jean Herbrand, фр.) доказал теорему:

существует некоторая легко определяемая модель, в которой можно проверять невыполнимость формул. То есть любая формула, невыполнимая в этой модели, невыполнима в любой другой модели.
Кроме того, Эрбран предложил ее построение. Построение модели, на которой легко проверяется невыполнимость формул - основа метода резолюций. Речь идет об исчислении предикатов 1-го порядка. Эта модель обладает полнотой и корректностью: выполнимость и невыполнимость формул (множества формул).

Из предложенной теоремы следовало, что вместо доказательства выводимости формулы можно доказать невыполнимость в каком-либо виде (в каком-то смысле невыполнимость отрицания).
Робинсону принадлежит алгоритм установления выводимости формулы за конечное время.
Метод резолюций в исчислении предикатов подчиняется закону полуразрешимости.
1   ...   4   5   6   7   8   9   10   11   ...   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