Lectures_1-10 (1040446), страница 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.Построить алфавит теории, т.е. задать счетное множество символов (буквы и знакивключены в этот термин) и определить множество объектов языка-выражений. Под выражением имеется в виду конечная последовательность символов языка.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
