Lectures_1-7 (1040445), страница 7

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 7)

С nонятием"з нак" связываются nонятия "экстенсионал· и ·интенсионал ".Экстенсионал знака-это его конкретное значение или класс допустимых значений.Интенсионал знака-это его смысл , характеристика содержания. Интенсионал знакаопределяет содержание связанного с ним понятия .ТипызнанийэкстенсиональныеинтенсиональныедекларативныепроцедуральныеметазнанияСоответственно различают два типа знаний: экстенсиональные и интенсиональные .Экстенсиональные знания-это набор количественных и качественных характеристикразличных конкретных объектов . Они представляются перечислениями объектов предметнойобласти, экземпляров объектов , свойств объектов. Иными словами, экстенсиональные знания-это данные , хранящиеся в базах данных.Иногда экстенсиональные знания называются предметными , или фактографическимизнаниями.Интенсиональные знания-это совокупность основных терминов, применяемых в про­блемной области, и правил над ними, позволяющих получать новые знания .

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

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

Иногда процедуральные знания называются алгоритмическими .Метазнания-это знания об орrанизаЦJАи всех остальных тиnов знаний. Иначе они называ­ются специальными . Метазнания содержат признаки декларативных и процедуральных знаний.Поверхностные-знания о видимых взаимосвязях между отдельными событиями ифактами в предметной области.Глубинные-абстракции, аналогии, схемы , отображающие структуру и природу про­цессов, протекающих в предметной области.

Эти знания объясняют явления и могут исполь­зоваться для прогнозирования поведения объектов .5.Классификация знаний (по глубине и жесткости)J1~ЗНАНИЯПоверхностные зна нияГлубинные знания(совокупность эмпирических ассоциаций и причинно·следственных(абстра кции, образы, анало ги и в кота-отношений между понятиямипредметно й области и вза имосвязь от-предметной области)дельн ых поНЯП1Й)ры х отражается пон има ние структурыКлассификация знаний по « глубине »/1~ЗНАНИЯЖесткие з нанияМяrхие знания(позволяют получить однозначные(Допускают множественные, рас-четкие рекомендации при заданныхплыв ч атые решения и различныеначальных условиях)варианты рекомендаций)Клас01фикация знаний по сжесткости »6.Формальные языкиФормализованный (формальный) язык-язык, характеризующийся точными правиламипостроения выражений и их понимания.

Он строится в соответствии с четкими правилами,обеспечивая непротиворечивое, точное и компактное отображение свойств и отношений изу­чаемой предметной области (моделируемых объектов) .В отличие от естественных языков формальным языкам присущи четко сформулиро­ванные правила семантической интерпретации и синтаксического преобразования используе­мых знаков , а также то , что смысл и значение знаков не изменяется в за в и01мости от каких­либо прагматических обстоятельств (например, от контекста) .Большинство формальных языков (созданных конструкций) строится по следующей схе­ме : Оiачала выбирается алфавит, или совокупность исходных символов , из которых будут стро­иться все выражения языка ; затем описывается 01нтаксис языка, то есть правила построенияосмысленных выражений. Буквами в алфавите формального языка могут быть и буквы алфави­тов естественных языков, и скобки, и специальные знаки и т.

п. Из букв, по определенным пра­вилам можно составлять слова и выражения. Осмысленные выражения получаются в формаль­ном языке, только если соблюдены определенные в языке правила образования . Для каждогоформального языка совокупность этих правил должна быть строго определена и модификациялюбого из них приводит чаще всего к появлению новой разновидности (Диалекта) этого языка .Формальные языки широко применяются в науке и технике . В процессе научного иссле­дования и пра1m1ческой деятельности формальные языки обычно используются в тесной вза­имосвязи с естественным языком, поскольку последний обладает гораздо большими вырази­тельными возможностями. В то же время формальный язык является средством более точно­го представления знаний , чем естественный язык, а следовательно, средством более точногои объективного обмена информацией между людьми .Формальные языки часто конструируются на базе языка математики.

Веком бурногоразвития различных формальных языков можно считать ХХ век.С точки зрения информатики, среди формальных языков наиболее значительную рольиграют формальный язык логики (язык алгебры логики) и языки программирования.Возникновение языков программирования приходится на начало 50-х годов ХХ в.Языков программирования и их диалектов (разновидностей) насчитывается несхолько ты­сяч.

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

Соmасно другой классификации, языки программирования можttо разделить на про­цедурные, функциональные, логические, объекпю-ориентированные. Однако любая классифика­ция несколько условна , поскольку, как f1>ЗВИЛО, большинство языков 11ЮfРаммирования включаетв себя возможности языков разных типов. Особое место среди языков программирования зани­мают языки, обеа~ечивающие работу систем УJ1>ЗВления базами данl-ЬIХ (СУБД). Часто в них вы­деляют две подсистемы: язык описания данных и язык манипулирования.8.Модели представления знанийЦентральной проблемой обработки знаниК, является проблема представления знаний.Проблема представления знаний- это проблема представления взаимосвязей в кон­кретной предметной области в форме, понятной системе искусственного интеллекта . Пред­ставление знаний- это их формализация и структурирование (в целях облегчения решениязадачи) , с помощью которых отражаются характерные признаки знаний : внутренняя интерпре­тируемость , структурированность, связность, семантическая метрика и активность.

Представ­ление знаний- это процесс (способ) описания знаний человека о проблемной области посред­ством выражений на формальном языке , называемом языком представления знаний.При проектировании модели представления знаний следует учитъ1ватъ такие факторы,как- однородность представления и простота понимания. Однородность представления приво­дит к упрощению механизма управления логическим выводом и управлением знаниями . Просто­та понимания 1"1>0дПолагает доступность понимания представления знаний и экспертам , и поль­зователем системы.

В противном случае затрудняется приобретение знаний и их оценка.Способ представления знаний определяет, каким образом знания описываются в памя­ти ЭВМ , а также каховы возможности БЗ. Для того чтобы ЭВМ имела возможность маиипули­рования знаниями о проблемной области , они должны быть представлены в виде модели .Модель представления знаний (МПЗ)-это способ и результат формального описаниязнаний в БЗ. Она должна быть понятной пользователю и обеспечивать однородность пред­ставления знаний, за счет чего упрощаются управление знаниями и логический вывод , а такжеудовлетворять ряду друrих требований.К настоящему времени разработано достаточно много различных МПЗ, и работа по со­зданию новых моделей продолжается.

Однако наибольшее распространение получили четыремодели : модель семантической сети, фреймовая, продукционная и логические.В основе использования МПЗ лежит аксиоматический метод. АхсиомаnNеский метод влюбой науке состоит в том , что выделяется некоторое небольшое множество истинных утвер­ждений, опираясь на которые можно вывести все истиниые утверждения данной наухи . Кпас­сическим примером аксиоматического метода является аксиоматическое построение геомет­рий Евклида и Лобачевского, каждая из которых базируется на ряде постулатов. Следует от­метить, что одну и ту же теорию можно строить , исходя из различного набора аксиом.Тахим образом , необходимо:1.Построить алфавит теории, т.е. задать счетное множество символов (буквы и знакивключены в этот термин) и определить множество объектов языка-выражений.

Под выраже­нием имеется в виду конечная последовательность символов языка. Понятно, что символ мо­жет несколько раз появляться в выражении, а может и не появляться (роль формальных вы­ражений в символическом языке аналогична роли слов в обычном языке) .2.Выделить подмножество таких выражений, которые будем называть формулами(обычно имеется хорошо разработанная процедура, позволяющая по данному выражениюопределить , является ли оно формулой). С формулами не будем связывать никакого значения(смысла} ; никакого значения не будем связывать и с входящими в них буквами и символами .Все операции будут формализованы .3.группуИз бесконечного множества истинных формул (тавтологий) выделим небольшую(1 -10)так называемых аксиом теории (как правило , всегда имеется возможность эф­фективно выяснить , является ли данная формула аксиомой) .

Характеристики

Список файлов лекций