Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Лекция 2.1 Информац процессы Модели.doc
Скачиваний:
11
Добавлен:
19.03.2016
Размер:
214.53 Кб
Скачать

Логическая модель представления знаний

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

М = < T, P, A, F >,

где T - множество базовых элементов,

P - множество правил,

A - множество истинных выражений (аксиом),

F - правило вывода.

Рассмотрим подробнее, что представляют собой базовые элементы Т:

Т = Т1 U Т2 U Т3 U Т4 U Т5 .

Множество Т1 - это имена задач и подзадач;

Множество Т2 определяет структуру их взаимосвязи;

Множество Т3 - это символы сведения задач к подзадачам;

Множество Т4 - вспомогательные символы;

Множество Т5 - cимволы истинности и ложности результатов решения.

На основе символов алфавита строятся формулы логической модели, т.е. множество правил Р, например :

Логической модели соответствуют графические отображения в виде графа редукции и графа пространственных состояний.

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

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

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

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

Алфавит определяется множеством Т = Т1 U Т2 U Т3,

где: Т1 = {A1, A2, ...An } - имена подзадач. Последовательность Апредставляет собой описание исходной задачи;

Т2 = { ; , case, of, while, do } - включает слова, позволяющие строить синтаксические конструкции описания последовательности решения ( например, case A of A1,A2, ...An - означает, что описание исходной задачи А, для решения которой достаточно решить одну подзадачу);

Т3 = { begin, end} - вспомогательные значения.

Алгоритмическая модель также может отображаться графом редукции, где в корневой вершине находится исходная решаемая задача, в промежуточных вершинах - подзадачи, в концевых - элементарные подзадачи. Дуги отображают операции программирования типа «соглашение».

Семантическая модель представления знаний.

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

G = { Y1, Y2,...Yn; β1, β2,...βm },

где Y - узлы (вершины ) графа. Они отображают некоторые сущности - объекты, события, процессы, явления и т.д.;

β - дуги графа, которые обозначают отношения между сущностями, заданные на множестве вершин.

Вершины отображают сущности разной степени общности. Их упорядочение происходит по видам отношений.

Предметная область отображается как совокупность сущностей и отношения между ними. Если адекватно сформулированы фундаментальные понятия отношений и объектов предметной области ( т.е. имеются всеобъемлющие концептуальные знания), то семантическая модель работает очень успешно.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]