Название: Организация работы с документами - Шмелев А.Г.

Жанр: Менеджмент

Рейтинг:

Просмотров: 798


В соответствии с перечисленными аспектами семиотических систем можно выделить три типа знаний: синтаксические, семанти­ческие и прагматические.

Синтаксические знания характеризуют синтаксическую структу­ру описываемого объекта или явления, которая не зависит от смысла и содержания используемых при этом понятий.

Семантические знания содержат информацию, непосредственно связанную со значениями и смыслом описываемых объектов и явле­ний.

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

Трем типам знаний соответствуют и три типа моделей для их представления: синтаксические, семантические и прагматические. Наличие двух последних является наиболее существенным призна­ком, отличающим интеллектуальные системы от всех других.

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

1. Интерпретируемость. Данные, помещенные в ЭВМ, могут содержательно интерпретироваться лишь соответствующей програм­мой. В отрыве от нее данные не несут никакой содержательной ин­формации. Знания отличаются тем, что возможность содержатель­ной интерпретации всегда присутствует.

2. Структурированность или наличие классифицирующих отноше­ний. Несмотря на разнообразие форм хранения данных, ни одна из них не обеспечивает возможностикомпактного описания всех свя­зей между различными типами данных. Информационные единицы знаний должны обладать гибкой структурой, т.е. для них должен выполняться «принцип матрешки», т.е. такой вложимости, когда можно любую информационную единицу включить в состав другой и из каждой информационной единицы можно выделить некоторые ее составляющие. Это позволяет записывать и хранить отдельно информацию, одинаковую для всех элементов множества. При необ­ходимости эту информацию можно автоматически передать опи­санию любого элемента множества. Такой процесс называется «на­следованием» информации.

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

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

Такое отношение дает возможность выделять в информацион­ной базе некоторые типовые ситуации. Отношение релевантности при работе с информационными единицами дает возможность нахо­дить знания, близкие к уже найденным.

5. Активность. Все процессы, протекающие в ЭВМ, иницииру­ются командами, которые являются активной компонентой, а данные используются этими командами лишь при необходимости, т.е. последние - пассивная компонента. Такая ситуация, характерная для классических систем обработки информации, для интеллектуальных систем (ИС) неприемлема. По аналогии с человеком в ИС актуали­зации тех или иных действий способствуют знания, имеющиеся в системе. Таким образом, выполнение программ в ИС должно ини­циироваться текущим состоянием информационной базы. Появле­ние в базе фактов (объектов выбора) или описаний событий (квалификаторов и их значений), установление связей (правил в продукци­онных системах) может стать источником активности системы.

Особенности знаний, их назначение и структура, способы хра­нения и интерпретации вызывают определенные аналогии со спосо­бами организации человеческой памяти. Однако человеческая па­мять хранит не только числовые данные, но и образы или символы. Символьные образы в памяти человека объединены в так называе­мые чанки - наборы фактов и связей между ними, запоминаемые и извлекаемые как единое целое. В каждый момент времени человек может обрабатывать и интерпретировать не более 4 — 7 чанков. Спо­собность формировать чанки отличает эксперта в конкретной пред­метной области от неэксперта. Эксперт, в силу профессиональной необходимости, упорно развивает свою способность объединять в чанки большие объемы данных и устанавливать иерархические связи между ними (т.е. преобразовывать данные в знания) для того, чтобы быстро извлекать эти данные из памяти и с их помощью распозна­вать новые ситуации по мере поступления информации об этих си­туациях. Средний специалист в конкретной предметной области помнит от 50 000 до 100 000 чанков, которые могут быть использо­ваны для решения той или иной проблемы. Накопление в памяти .человека и построение указателей для такого объема данных требует от 10 до 20 лет.

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

 

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

 

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

Факты представляются как формулы в некоторой логике (перво­го или высшего порядков, многозначной, модальной, нечеткой или какой-либо другой). Логика первого порядка (логика предикатов) -операции с простыми высказываниями, расчлененными на субъект (нечто лежащее в основе) и предикат (нечто высказываемое — ут­верждаемое или отрицаемое — о субъекте). Предикат отображает наличие или отсутствие у предмета того или иного признака. Логика многозначная — допускает много значений истинности события. Логика модальная — исследует высказывания, имеющие значения «возможность», «невозможность», «необходимость» и т.д. Логика Нечеткая — нечеткое рассуждение, вывод в условиях неопределенно­сти — процесс оценки гипотезы при неполной или недостаточной информации в левой или правой части высказывания (т.е. это при­надлежность логики первого порядка, когда определены не все или недостаточно полно некоторые элементы множества).


Оцените книгу: 1 2 3 4 5