Модели представления знаний. Неформальные (семантические) модели

Симметрично-ассиметричные матрицы

Способы представления знаний о языке в лингвистической базе данных. Симметрично-асимметричные матрицы.

Из конспекта:

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

Пример *схематичненько*

|1 2 3 4 5

1|

2|

3|

4|

5|

Пример *в образах*: морской бой, таблица умножения.

Декартовая матрица – по горизонтали и вертикали одинаковые множества в одинаковом порядке (места в театре).

Дальше непереводимое:

Задание: надо получить все сочетания неизвестных букв языка: декартова матрица – теоретически возможные комбинации букв.

Все ошибки заложены в систему языка

Запреты будут снимать конкретные тексты (единичные случаи)

Задание: ТВЗ (все вспомнили старослав?)

Таблица звуков по звучности (сама в шоке) от меньшего к большему.

Запрещенными оказались около 75% сочетаний.

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

Симметрия – категория, обозначающая сохранение у объекта некоторых признаков после некоторых изменений.

Ассиметрия – не сохранение некоторых признаков.

Любой предмет обладает симметричными и нессиметричными признаками.

Дальше идет пример про детей, я его напишу, но вы в этой генетике сами разбирайтесь.

Ребенок: 50 см – 170 см

10 кг – 40 кг

беленький – темненький

ост. дочка или сын… ФИО

Признаки в лингвистике:

2 типа изменений:

изменение формы слова – С\и

образование нового слова – С\о

По строкам сохраняются (симместричны): начала, смысл – сохр. семантики

По столбцам сохраняются (симметричны): концы, формы – сохр. грамматики

бить	бью	бил	бей	битье	бой
вить	вью	вил	вей	витье	-
жить	-	жил	-	житье	-
шить	шью	шил	шей	шитье	-

Дальше невразумительные примечания:

завой – в болг. поворот дороги

лить – лой – растопленный жир (слой)

жить – гой (лит. гивак – жизнь, кить жень – жизнь, ген, изгой. гаючая вада, загаіцца

шить – хой (Да?!) – яп. хой – швейная игла.

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

Существуют два типа методов представления знаний (ПЗ):

Формальные модели ПЗ;

Неформальные (семантические, реляционные) модели ПЗ.

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

Каждому из методов ПЗ соответствует свой способ описания знаний.

1.Логические модели. В основе моделей такого типа лежит формальная система, задаваемая четверкой вида: M = <T, P, A, B>. Множество T есть множество базовых элементов различной природы, например слов из некоторого ограниченного словаря, деталей детского конструктора, входящих в состав некоторого набора и т.п. Важно, что для множества T существует некоторый способ определения принадлежности или непринадлежности произвольного элемента к этому множеству. Процедура такой проверки может быть любой, но за конечное число шагов она должна давать положительный или отрицательный ответ на вопрос, является ли x элементом множества T. Обозначим эту процедуру П(T).

Множество P есть множество синтаксических правил. С их помощью из элементов T образуют синтаксически правильные совокупности. Например, из слов ограниченного словаря строятся синтаксически правильные фразы, из деталей детского конструктора с помощью гаек и болтов собираются новые конструкции. Декларируется существование процедуры П(P), с помощью которой за конечное число шагов можно получить ответ на вопрос, является ли совокупность X синтаксически правильной.

В множестве синтаксически правильных совокупностей выделяется некоторое подмножество A. Элементы A называются аксиомами. Как и для других составляющих формальной системы, должна существовать процедура П(A), с помощью которой для любой синтаксически правильной совокупности можно получить ответ на вопрос о принадлежности ее к множеству A.

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

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

2. Сетевые модели. В основе моделей этого типа лежит конструкция, названная ранее семантической сетью. Сетевые модели формально можно задать в виде H = <I, C1, C2,..., Cn, Г>. Здесь I есть множество информационных единиц; C1, C2,..., Cn - множество типов связей между информационными единицами. Отображение Г задает между информационными единицами, входящими в I, связи из заданного набора типов связей.

В зависимости от типов связей, используемых в модели, различают классифицирующие сети, функциональные сети и сценарии. В классифицирующих сетях используются отношения структуризации. Такие сети позволяют в базах знаний вводить разные иерархические отношения между информационными единицами. Функциональные сети характеризуются наличием функциональных отношений. Их часто называют вычислительными моделями, т.к. они позволяют описывать процедуры "вычислений" одних информационных единиц через другие. В сценариях используются каузальные отношения, а также отношения типов "средство - результат", "орудие - действие" и т.п. Если в сетевой модели допускаются связи различного типа, то ее обычно называют семантической сетью.

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

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

(Имя фрейма:

Имя слота 1(значение слота 1)

Имя слота 2(значение слота 2)

......................

Имя слота К (значение слота К)).

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

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

Дата добавления: 2015-04-24