Анализ доминирующих моделей представления и использования знаний

Анализ доминирующих моделей представления и использования знаний

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Управляющие системы и машины
Datum:2014
Hauptverfasser: Кургаев, А.Ф., Григорьев, С.Н.
Format: Artikel
Sprache:Russian
Veröffentlicht: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2014
Schlagworte:
Искусственный интеллект и обработка знаний
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/83424
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Анализ доминирующих моделей представления и использования знаний / А.Ф. Кургаев, С.Н. Григорьев // Управляющие системы и машины. — 2014. — № 3. — С. 64-73. — Бібліогр.: 13 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-83424
record_format dspace
spelling Кургаев, А.Ф.
Григорьев, С.Н.
2015-06-19T15:53:16Z
2015-06-19T15:53:16Z
2014
Анализ доминирующих моделей представления и использования знаний / А.Ф. Кургаев, С.Н. Григорьев // Управляющие системы и машины. — 2014. — № 3. — С. 64-73. — Бібліогр.: 13 назв. — рос.
0130-5395
https://nasplib.isofts.kiev.ua/handle/123456789/83424
004.8:681.3
Выполнен анализ специфики, достоинств и недостатков эвристических моделей представления знаний (продукционных, сетевых, фреймовых), а также использования различных вариантов метаязыкового представления. Показано, что ни одна из известных моделей представления знаний не имеет решающих преимуществ – у каждой свои существенные недостатки. Сделано заключение о целесообразности развития метаязыковых моделей представления знаний.
Analysis of the specific character, advantages and disadvantages of the heuristic models of knowledge representation (production, network, frame-based models) and applying the different variants of meta-language representation models is performed. It is shown that none of the known knowledge representation models have any decisive superiority over the other models, each model has its own disadvantages. It is advisable to focus on the development of the different meta-language knowledge representation models.
Виконано аналіз специфіки, переваг і недоліків евристичних моделей подання знань (продукційних, мережевих, фреймових), а також використання різних варіантів метамовного подання. Показано, що жодна з відомих моделей подання знань не має вирішальних переваг, – у кожної свої істотні недоліки. Зроблено висновок про доцільність розвитку метамовних моделей представлення знань.
ru
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
Управляющие системы и машины
Искусственный интеллект и обработка знаний
Анализ доминирующих моделей представления и использования знаний
Analysis of the Dominant Representation Models and Knowledge Application
Аналіз домінуючих моделей подання та використання знань
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Анализ доминирующих моделей представления и использования знаний
spellingShingle Анализ доминирующих моделей представления и использования знаний
Кургаев, А.Ф.
Григорьев, С.Н.
Искусственный интеллект и обработка знаний
title_short Анализ доминирующих моделей представления и использования знаний
title_full Анализ доминирующих моделей представления и использования знаний
title_fullStr Анализ доминирующих моделей представления и использования знаний
title_full_unstemmed Анализ доминирующих моделей представления и использования знаний
title_sort анализ доминирующих моделей представления и использования знаний
author Кургаев, А.Ф.
Григорьев, С.Н.
author_facet Кургаев, А.Ф.
Григорьев, С.Н.
topic Искусственный интеллект и обработка знаний
topic_facet Искусственный интеллект и обработка знаний
publishDate 2014
language Russian
container_title Управляющие системы и машины
publisher Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
format Article
title_alt Analysis of the Dominant Representation Models and Knowledge Application
Аналіз домінуючих моделей подання та використання знань
description Выполнен анализ специфики, достоинств и недостатков эвристических моделей представления знаний (продукционных, сетевых, фреймовых), а также использования различных вариантов метаязыкового представления. Показано, что ни одна из известных моделей представления знаний не имеет решающих преимуществ – у каждой свои существенные недостатки. Сделано заключение о целесообразности развития метаязыковых моделей представления знаний. Analysis of the specific character, advantages and disadvantages of the heuristic models of knowledge representation (production, network, frame-based models) and applying the different variants of meta-language representation models is performed. It is shown that none of the known knowledge representation models have any decisive superiority over the other models, each model has its own disadvantages. It is advisable to focus on the development of the different meta-language knowledge representation models. Виконано аналіз специфіки, переваг і недоліків евристичних моделей подання знань (продукційних, мережевих, фреймових), а також використання різних варіантів метамовного подання. Показано, що жодна з відомих моделей подання знань не має вирішальних переваг, – у кожної свої істотні недоліки. Зроблено висновок про доцільність розвитку метамовних моделей представлення знань.
issn 0130-5395
url https://nasplib.isofts.kiev.ua/handle/123456789/83424
citation_txt Анализ доминирующих моделей представления и использования знаний / А.Ф. Кургаев, С.Н. Григорьев // Управляющие системы и машины. — 2014. — № 3. — С. 64-73. — Бібліогр.: 13 назв. — рос.
work_keys_str_mv AT kurgaevaf analizdominiruûŝihmodeleipredstavleniâiispolʹzovaniâznanii
AT grigorʹevsn analizdominiruûŝihmodeleipredstavleniâiispolʹzovaniâznanii
AT kurgaevaf analysisofthedominantrepresentationmodelsandknowledgeapplication
AT grigorʹevsn analysisofthedominantrepresentationmodelsandknowledgeapplication
AT kurgaevaf analízdomínuûčihmodeleipodannâtavikoristannâznanʹ
AT grigorʹevsn analízdomínuûčihmodeleipodannâtavikoristannâznanʹ
first_indexed 2025-11-26T00:09:51Z
last_indexed 2025-11-26T00:09:51Z
_version_ 1850594436682088448
fulltext 64 УСиМ, 2014, № 3 Искусственный интеллект и обработка знаний УДК 004.8:681.3. А.Ф. Кургаев, С.Н. Григорьев Анализ доминирующих моделей представления и использования знаний Выполнен анализ специфики, достоинств и недостатков эвристических моделей представления знаний (продукционных, сетевых, фреймовых), а также использования различных вариантов метаязыкового представления. Показано, что ни одна из известных моде- лей представления знаний не имеет решающих преимуществ – у каждой свои существенные недостатки. Сделано заключение о це- лесообразности развития метаязыковых моделей представления знаний. Analysis of the specific character, advantages and disadvantages of the heuristic models of knowledge representation (production, network, frame-based models) and applying the different variants of meta-language representation models is performed. It is shown that none of the known knowledge representation models have any decisive superiority over the other models, each model has its own disadvantages. It is ad- visable to focus on the development of the different meta-language knowledge representation models. Виконано аналіз специфіки, переваг і недоліків евристичних моделей подання знань (продукційних, мережевих, фреймових), а також використання різних варіантів метамовного подання. Показано, що жодна з відомих моделей подання знань не має вирішальних пе- реваг, – у кожної свої істотні недоліки. Зроблено висновок про доцільність розвитку метамовних моделей представлення знань. Введение. Развитие языков и систем програм- мирования связывают с представлением знаний в интеллектуальных информационных систе- мах и компьютерах. Известно множество моделей представления знаний [1]. Основываясь на этих моделях и их определенных сочетаниях, создано и использу- ется много языков представления знаний. Боль- шинство моделей реальных систем – гибридные. В методических целях известнейшие модели классифицируют в рамках схемы (рисунок). Ключевые слова: модели представления знаний, продук- ционные, сетевые, фреймовые системы, метаязыки. Первый подход, называемый эмпиричес- ким, основан на понимании организации че- ловеческой памяти и моделировании меха- низмов решения задач. Согласно этому под- ходу разработаны и получили наибольшую популярность:  продукционные модели, основанные на правилах в виде предложений типа: «ЕСЛИ условие, ТО действие;  сетевые модели (или семантические сети) – в инженерии знаний их понимают как граф, отображающий содержание целостного образа. Узлы графа соответствуют понятиям и объек- там, а дуги – отношениям между объектами;  фреймовая модель основывается на понятии фрейма (frame – рамка, каркас). Фрейм – струк- тура данных для представления некоторого кон- цептуального объекта. Информация, принадле- жащая фрейму, содержится в его слотах. По- следние могут быть терминальными или сами быть фреймами, образуя таким образом единую иерархическую сеть. В [2] и ряде других публикаций уже исследо- вана задача анализа моделей представления зна- ний. Цель исследований в данной статье – уточ- нение известных результатов и расширение об- ласти анализа металингвистическими моделями представления знаний. УСиМ, 2014, № 3 65 Эмпирические модели Продукционная система включает в себя : базу правил IF-THEN, указывающих, какие выводы в соответствующих ситуациях должны быть сделаны или нет, глобальную базу дан- ных и интерпретатор правил. База правил – область памяти, содержащая базу знаний в форме последовательности правил вида: і; Q; P; A  B; N. Здесь элемент і – имя продукции, выделяющее эту продукцию из базы знаний. Элемент Q ха- рактеризует сферу проблемной области приме- нения продукции. Основной элемент продукции – ее ядро: A  B. Интерпретация ядра продук- ции может быть разной и зависит от условия А, слева от знака секвенции . Ядро продукции имеет смысл: ЕСЛИ A, ТО B. Более сложные конструкции ядра допускают в правой части альтернативный выбор, например, ЕСЛИ А, ТО B1, ИНАЧЕ B2. Секвенция может толковаться в обычном логическом смысле, как знак логиче- ского следования В из истинного А (если А лож- но, то о В ничего сказать нельзя). Возможны и другие интерпретации ядра продукции, напри- мер A описывает некоторое условие, необходи- мое, чтобы совершить действие В. Элемент Р – это внешнее условие применимо- сти ядра продукции в форме логического выра- жения (предикат). Ядро продукции активизиру- ется только тогда, когда Р – истинно. Элемент N описывает постусловие продукции, указываю- щее изменения в базе знаний после выполнения продукции. Оно актуализируется, лишь если реализовалось ядро продукции. Если в памяти системы хранится некоторый набор продукций, они образуют систему продукций. В системе продукций должны быть заданы специальные процедуры управления продукциями, с исполь- зованием которых происходит актуализация и выбор для выполнения той или иной продукции из числа актуализированных. Глобальная база данных – это область памя- ти, содержащая факты (описание начальных, текущих данных и состояний системы). Базы данных имеют разную форму, но могут быть описаны как массив, содержащий имя данных, атрибуты и значения атрибутов. Интерпретатор реализует вывод заключений, пользуясь базой правил и данных. Механизм вывода включает в себя поиск в базе знаний, вы- полнение операций над знаниями и формирова- ние выводов; обычно реализуется определенное сочетание прямых (восходящих, управляемых данными) и обратных (нисходящих или ориен- тированных на цель) выводов. Представление знаний правилами и вывод на них легко понимаемы, поскольку близки силлогизмам, а однообразие формы обеспечи- вает легкую модификацию системы продукций введением и/или удалением одних правил не- зависимо от содержания других. Эти свойства – достоинство при постановке простых, однородных по смыслу задач (в фор- ме переходов между состояниями), но ведут к падению эффективности решения проблем в составе разнородных задач. Даже для простой проблемы трудно построить систему управле- ния знаниями как единым целым, поэтому весь процесс управления должен контролироваться человеком. Широкое применение систем, основанных на правилах, обусловлено следующим.  Модульная организация. Благодаря этому упрощается представление знаний и расширение системы методом инкрементной разработки.  Наличие средств объяснения. Поскольку ан- тецеденты точно указывают условия активиза- ции правил, с их помощью легко создавать сред- ства объяснения в форме восстановления про- цесса рассуждений для получения заключения.  Аналогия с процессом познания человека. Правила – естественный образ моделирования процесса решения задач, упрощающий форма- лизацию знаний экспертов. Правила принадлежат к типу продукций, идея которых начата в работах 1940-х гг. В символь- ной логике продукционные системы впервые использовал Е. Пост, доказавший, что любая система математики или логики может быть оформлена в виде системы продукционных пра- вил определенного типа. В отличие от обычного языка программирования, такого как С или С++, 66 УСиМ, 2014, № 3 порядок, в котором записаны правила, не имеет значения. Основным ограничением продукционных правил Е. Поста относительно программирова- ния есть отсутствие стратегии управления упо- рядочением вызова правил. Система Е. Поста позволяет применять правила к строкам любой формы. Одной из лучших реализаций продукцион- ных систем на сегодня считается инструмен- тальная среда CLIPS (C Language Integrated Production System – язык Си, интегрированный с продукционными системами), предназначен- ная для разработки баз знаний и экспертных систем (ЭС) [3]. Сейчас CLIPS свободно рас- пространяется через интернет (http:// www.ghg. net/clips/CLIPS.html), в частности для препода- вания предмета «Экспертные системы» в сот- нях университетов всего мира:  наиболее широко используется (в том числе в государственных организациях и учебных за- ведениях) в качестве инструментальной среды для разработки ЭС, благодаря скорости, эффек- тивности и бесплатности;  исходный код программного пакета CLІPS распространяется свободно, его можно устано- вить на любой платформе, поддерживающей стандартный компилятор языка Cи. Существу- ющую версию можно эксплуатировать на плат- формах UNІХ, DOS, Wіndows и Macіntosh;  хотя теперь и стала общественным дос- тоянием, CLІPS до сих пор поддерживается ее автором, Гери Райли (Gary Rіley);  содержит полноценный объектно-ориен- тированный язык COOL для написания ЭС;  хотя CLІPS и написана на языке Си, ее ин- терфейс намного ближе к языку программиро- вания LІSP;  во многом схожа с языками, созданными на базе LІSP, в частности OPS5 и ART;  имеет четко сформулированный синтаксис;  включает в себя множество апробирован- ных конструкций из других инструментальных средств;  допускает вызов внешних функций, напи- санных на других языках программирования, а модули, написанные на CLІPS, могут быть вы- званы программами, написанными на других языках;  может быть обеспечена возможность рабо- ты в реальном масштабе времени, когда реакция системы на возмущение не должна превышать нескольких миллисекунд. CLIPS –сегодня луч- ший выбор для работы в реальном времени. Основные недостатки систем продукций:  трудности составления продукционного правила, адекватного элементу знания, при на- личии ограничения возможностей выразить сложные правила;  невозможность вызова одного правила из другого (связь между правилами косвенная, только через данные);  отсутствие внутренней структуры, веду- щее к неразрешимости проблемы непротиво- речивости базы знаний;  отсутствие зависимости шагов вывода от стратегии выбора, что усложняет их интерпре- тацию. Следствие. Продукционным системам не хватает строгой теории. Пока у них властвует эвристика. При заданной модели проблемной области в виде совокупности продукций нель- зя быть уверенным в ее полноте и непротиво- речивости. Причина неудач создания теории кроется в расплывчатости понятия продукции, в той интерпретации, которая приписывается ядру, а также в разных способах управления системой продукций. Семантические сети – это классический об- раз представления пропозициональной инфор- мации в искусственном интеллекте (пропози- циональным утверждением, высказыванием мо- жет быть предложение истинное или ложное). Высказывания имеют форму декларативных зна- ний, поскольку в них утверждаются факты. С формальной точки зрения семантическая сеть – это отмеченный ориентированный граф. Семантические сети впервые разработал в 1968 г. Квиллиан для исследований в области искусственного интеллекта как образ описа- ния человеческой памяти и языка. С того вре- мени семантические сети успешно применя- УСиМ, 2014, № 3 67 лись для решения многих задач представле- ния знаний. Понимание смысла с помощью семантических сетей позволяет выйти за пре- делы возможностей программного обеспече- ния простых экспертных систем или искусст- венного интеллекта. Связи в семантической сети представляют отношения, а узлы – объекты, концепты или ситуации. Для семантических сетей отношения имеют исключительное значение, поскольку придают знаниям базовую структуру, позво- ляющую выводить новые знания. Семантические сети называют ассоциатив- ными сетями, поскольку одни узлы в таких се- тях ассоциированы (связаны) с другими. В оригинальной работе Квиллиана человеческая память моделировалась ассоциативной сетью, в которой, если при чтении слов предложения стимулируется один узел, то активизируются его связи с другими, и такая активность рас- пространяется по сети. К двум наиболее распространенным связкам принадлежат связки is-a (экземпляр) и a-kind-of (АКО – подмножество, подкласс). При этом бо- лее общий класс, на который указывает стрелка АКО, называется суперклассом. Если суперкласс имеет связь АКО, указывающую на другой узел, то он одновременно есть классом суперкласса, на который указывает стрелка АКО. Все объекты класса должны иметь некоторые общие атрибуты, каждый из которых приобрета- ет значение. Комбинация атрибута и значения называется свойством. В семантических сетях можно также найти связи других типов. Повторение характеристик узла у его по- томков называется наследованием. Если не ут- верждается обратное, то считается, что все элементы некоторого класса наследуют все его свойства. Наследование – полезное средство в представлении знаний, поскольку позволяет не указывать повторно общие характеристики. Связи и наследование есть основой эффектив- ных способов представления знаний, давая возможность показывать сложные отношения с помощью нескольких узлов и связок. Типизация семантических сетей обусловли- вается смысловым содержанием образующих их отношений. Например, если дуги сети вы- ражают родовидовые отношения, то такая сеть определяет классификацию объектов предмет- ной области. Аналогично, наличие в сети при- чинно-следственных (каузальных) отношений позволяет интерпретировать ее как сценарий. Построение сети на ассоциативных отношени- ях формирует ассоциативную структуру поня- тий рассматриваемого фрагмента предметной области. При практическом использовании се- мантических сетей для представления знаний решающее значение имеют унификация типов объектов и выделение базовых видов отноше- ний между ними. Очевидные достоинства сетевой модели – ее высокая общность, наглядность отображения си- стемы знаний, а также понятность. В то же вре- мя в семантической сети наблюдается смешение групп знаний, относящихся к различным ситуа- циям при назначении дуг между вершинами, что усложняет интерпретацию знаний. Другая про- блема сетевой модели состоит в трудности уни- фикации процедур вывода и механизмов управ- ления ими на сети [4]. Признаны следующие недостатки семанти- ческих сетей.  Одна из проблем, связанных с применением семантических сетей, заключается в том, что не предусмотрены стандартные определения для имен связок. Например, нередко связки is-a ис- пользуют для представления и индивидуальных, и общих отношений, т.е., кроме ее значения, ей придают и значение связки АКО.  Отсутствует однозначное определение се- мантической сети. Перспективным направлением повышения эффективности сетевого представления, разви- ваемым в настоящее время, считается исполь- зование онтологии и параллельных выводов на семантических сетях. Основные аспекты специфики онтологиче- ского подхода. Это представление, во-первых, содержит как формальные, так и описательные (выражаемые на естественном языке) компо- ненты. Если первое важно для логического вывода (новых знаний, решений, рекомендаций, оценок 68 УСиМ, 2014, № 3 и пр.), то второе – для представления человеку смысла, стоящего за каждым действием интел- лектуальной системы. Во-вторых, для отражения семантики определяются все используемые тер- мины, а это требует спецификации общих тер- минов в рамках онтологии верхнего уровня. Фактически наблюдается иерархия онтологий: онтологии общих знаний на вершине, затем предметные онтологии и онтологии задач. В- третьих, онтологический подход, как правило, предполагает общение интеллектуальной систе- мы с пользователями на языках, близких к есте- ственным (формальные языки применяются про- граммистами, реализующими оболочки для ра- боты с онтологиями) [4]. Фреймовая система – модель представления знаний, основанная на теории М. Минского, как один из подходов к описанию знаний, пригод- ный для понимания сцен и языка. В фреймовой системе единица представления информации – объект, называемый фреймом. Он есть формой представления некоторой ситуации, описывае- мой совокупностью понятий и данных. Каждый фрейм имеет имя, единое во фрей- мовой системе, и определенную внутреннюю структуру на множестве именованных слотов, которые также имеют определенную структуру данных. Однажды установленную структуру фрейма можно менять лишь в деталях. Эта модель основана на свойстве концептов иметь аналогии и иерархические структуры от- ношений типа «абстрактное–конкретное». Ее применение ограничено случаями четкой ие- рархии между фрагментами данных или зна- ний. Примерами могут быть классификации растений, животных, неисправностей аппара- туры, заболеваний людей и др. Характеристики фрейма:  имя – символ, уникальный в данной сис- теме;  положение в иерархической структуре за- дается указателями на родительский фрейм и список дочерних фреймов;  информация относительно фрейма содер- жится в слотах, каждый слот – это атом или спи- сок, первый элемент которого – всегда ключ (имя слота);  присоединенные процедуры – служебные программы как значение слотов. Их запуск – по сообщениям из других фреймов (аналоги ме- тодов в объектно-ориентированном программи- ровании – ООП). Итак, фрейм – это форма описания знаний (в текущей ситуации при решении данной за- дачи) фрагмента предметной области. В про- цессе адаптации обобщенного фрейма к кон- кретным условиям выполняется уточнение значений слотов, изначально определенных по умолчанию. При поиске в памяти фрейма, ре- левантного некоторому образу, на первом эта- пе проверяется совпадение всех существенных слотов фрейма–кандидата с соответствующи- ми составляющими образа. На втором этапе значения слотов, заданные по умолчанию, со- гласуются с прочими аспектами образа. Меха- низм подобного согласования предусматривает выявление качественной сопоставимости ком- понентов фрейма и образа (например, принад- лежность атрибутов образа интервалам, опре- деленным в слотах по умолчанию), после чего значения по умолчанию конкретизируются. Организация вывода во фреймовой системе базируется на обмене сообщениями между фреймами, на активации и выполнении присое- диненных процедур. Отражение в иерархии фреймов родовидовых отношений обеспечивает возможность реализации в рамках фреймовой модели операции наследования, позволяющей приписывать фреймам нижних уровней иерар- хии свойства, присущие фреймам вышележащих уровней. Аналогичные механизмы наследования используются в настоящее время в объектно- ориентированном программировании. С созданием теории фреймов появились и языки (FRL, KRL, RLL, FMS, KEE, KRІNE, LOOPS и др.), описывающие формальные про- цессы в виде программ действий, выполняе- мых для каждого объектного мира (фрейма). Программы вызываются из соответствующего фрейма, а при общении между фреймами осу- ществляется межфреймовый обмен информа- цией или передача управления. К недостаткам фреймовых систем относят следующие. УСиМ, 2014, № 3 69  Поскольку знания во фреймовой системе описываются в процедурной форме, это пред- ставление, по-сути, есть расширением обыч- ных систем процедурного типа. Поэтому здесь сложнее (чем в других моделях) приобретение и изменение знаний.  Использование фреймов допустимо для сравнительно небольших проблем, а с ростом сложности проблемы возрастают трудности понимания описания, описание и управление становятся более сложными, чем в традицион- ных процедурных системах.  Во фреймовой системе не решена пробле- ма выявления семантических противоречий. При переходе к сложным комплексным предметным областям, предполагающим зна- ния различных типов, возникает потребность совмещения в одном языке представления зна- ний различных концепций. К моделям подоб- ного типа относится двухуровневая схема в составе L-языка спецификации знаний и базо- вой формальной системы (БФС) [5]. БФС – язык представления знаний, объеди- няющий разные концепции обработки знаний: семантическую сеть, фрейм, систему продукций. Семантика L-языка полностью описывается в терминах БФС. L-язык как бы надстраивается над БФС путем ввода терминальных выражений и специальных конструкций. Единица L-языка – ленема – конструкция, задающая схему описа- ния понятия и по форме напоминающая фрейм. Спецификация модели прикладной области и конкретных фактов в форме выражений L-язы- ка существует только на внешнем, пользова- тельском уровне, а собственно хранение и об- работка информации осуществляются на уров- не БФС. К числу достоинств этой модели относят: со- четание существенных для разработчика просто- ты и однородности языка с удобством для поль- зователя (инженера знаний) развитых средств поддержки процессов создания моделей при- кладных областей. Основной недостаток – отсутствие единой теории, разнородность концепций обработки знаний не соответствует принципу концепту- ального единства Ф. Брукса, приоритет которого утверждается в [6]: «концептуальное единство является самым важным соображением при проектировании системы». Таким образом, ни одна из эвристических моделей представления знаний не удовлетво- ряет ни содержательным, ни формальным тре- бованиям представления произвольных зна- ний. На этом фоне остается единственный ва- риант – перейти на более высокий уровень аб- стракции, на уровень метаязыков. Теоретические модели Второй подход (объединяющий теоретиче- ские модели на рисунке) считают теоретически обоснованным, гарантирующим правильность решений. Он в основном представлен моделя- ми, основанными на формальной логике (ис- числение высказываний и предикатов), фор- мальных грамматиках, комбинаторными моде- лями, в частности моделями конечных проек- тивных геометрий, теории графов, тензорными и алгебраическими моделями. Признано [1], что в рамках этого подхода до сих пор удава- лось решать лишь сравнительно простые за- дачи из узкой предметной области. Среди известных теоретических моделей представления знаний лишь генеративная грам- матика целенаправлена на формализацию зна- ний, теории произвольной языковой компе- тенции как сущностной основы языковой дея- тельности. Для строгого и точного описания языков программирования используют специальные метаязыки (языки для описания других язы- ков) [7]. Наиболее распространенными мета- языками стали металингвистические формулы Бекуса–Наура (БНФ) и расширенные Бекусо– Науровы формы (РБНФ). Метаязыком БНФ представляют специфи- кацию произвольного языка в виде системы взаимосвязанных формул, похожих на матема- тические. Для каждого понятия языка сущест- вует единая метаформула (нормальная форма). Она составляется из левой и правой частей. В левой части указывается определяемое поня- тие, нетерминал, а в правой – множество до- пустимых конструкций языка, которые объе- диняются в это понятие. 70 УСиМ, 2014, № 3 В формуле используют специальные мета- символы:  символ «::=» – разделяет левую и правую части формулы, его смысл эквивалентен сло- вам «есть по определению»;  символы «< >» – угловые скобки выделя- ют нетерминалы (представленные произволь- ной символьной строкой) – определяемые по- нятия языка;  символ « | » – «или» разграничивает аль- тернативные варианты определений в правой части формул;  терминальные символы записываются как есть, без использования каких-то метасимволов. Метаязык БНФ впервые был применен для описания Алгола-60, а также использован Н. Виртом при описании языка Паскаль. БНФ и других метаязыков (Хомского, Хомского – Щутценберже) достаточно для описания син- таксиса произвольных языков. Но отсутствие в нотации метаязыков средств явного задания повторений создает ряд трудностей. Во-пер- вых, определения оказываются сложными для понимания, недостаточно наглядными из-за насыщенности рекурсиями. Во-вторых, возни- кают проблемы с тем, что грамматики, дающие подходящие семантические деревья, оказыва- ются леворекурсивными. Для удобства и компактности описания в метаязык вводят дополнительные конструк- ции. В частности, специальные метасимволы были разработаны для описания необязатель- ных цепочек, повторяемых цепочек, обяза- тельных альтернативных цепочек. Существуют разные расширения формы метаязыков, незна- чительно отличающихся между собой. Их раз- нообразие чаще всего объясняется желанием разработчиков языков программирования по- своему описать создаваемый язык. К примерам таких широко известных метаязыков можно отнести: метаязык Вирта [8], использованный при описании Модулы-2, метаязык Кернигана– Ритчи, описывающий Си, и др. Главные модификации БНФ касаются вве- дения скобок для повторений вхождения цепо- чек терминалов и нетерминалов в правые час- ти формул. Соглашения относительно обозна- чений терминалов и нетерминалов также из- менены. Метаязыковым БНФ (или РБНФ) описанием служит набор правил, определяющих отношение между терминалами и нетерминалами. Терми- налы – те элементы структуры, что собствен- ной структуры не имеют; это идентификаторы (имена, которые полагают заданными для дан- ного описания) или цепочки – последователь- ности символов в кавычках или апострофах, определенные вне метаязыкового описания. Нетерминалы – элементы структуры, имеющие собственные имена и структуру. Каждый из них определяется правилами, фиксирующими его зависимость от одного или более термина- лов и/или нетерминалов. Семантика правила РБНФ: нетерминал, за- данный идентификатором слева от знака «=», определяется некоторым отношением термина- лов и нетерминалов. Полное описание структу- ры есть набор правил, определяющих все нетер- миналы так, что каждый из них может быть све- ден к комбинации терминалов путем последова- тельного (рекурсивного) применения правил. Набор основных конструкций РБНФ: конка- тенация, альтернативный выбор и итерация, а дополнительных, стилистических – отношение необязательности (необязательный элемент выражения выделяют квадратными скобками) и структурные круглые скобки (употребляются для группирования элементов при формирова- нии сложных выражений). Конкатенация определяется последователь- ной записью символов выражения, разделяе- мых одним или более пробельными символа- ми. Правило вида A = B C. обозначает, что не- терминал A состоит из двух символов – B и C. Альтернативный выбор обозначается вер- тикальной чертой. Правило A = B|C|D. обозна- чает, что нетерминал A может состоять или из B, или из C, или из D. Итерацию – конкатенацию любого числа (включая нуль) элементов обозначают фигур- ными скобками, выделяющими итерируемые элементы. Правило вида A = {B}. обозначает, что A – или пустой, или есть конкатенацией некоторого числа символов B. В варианте БНФ УСиМ, 2014, № 3 71 отношение итерации описывается с помощью рекурсии. Метаязык РБНФ пригоден для описания практически значимых языков. В том числе средствами РБНФ определяют и собственно метаязык РБНФ [8]: описание = определение { определение }. определение = имя_понятия тело_определения тчк. имя_понятия = идентификатор. идентификатор = буква { буква | цифра }. тело_определения = есть_структура выражение. выражение = элемент {отношение_ИЛИ элемент | отношение_И элемент}. элемент = имя_понятия | строка | ( выражение ) | [ выражение ] | { выражение }. строка = кавычка {знак} кавычка. В этом описании термины тчк, буква, цифра, есть_структура, кавычка, знак – терминальные. Метаязык (тот или иной) используется для конструирования спецификации объектного языка программирования, согласно которой в языке реализации разрабатывается программа распознавателя – анализа и построения дерева вывода (разбора) утверждений объектного языка программирования. Построение дерева разбора подтверждает принадлежность вход- ной цепочки символов данному языку [7–9]. В настоящее время как развитие классиче- ских инструментов YACC и LEX созданы и используются многие специализированные средства разработки синтаксических анали- заторов, различающихся конкретной реали- зацией некоторой версии метаязыка РБНФ, алгоритмами разбора, объектными языками и др. По результатам анализа возможностей современных инструментов в [10] сделано заключение, что в настоящее время нет инст- румента для создания анализаторов, превос- ходящего другие генераторы по всем показа- телям. На практике наиболее удобны инст- рументы, использующие LL-алгоритм, среди которых предпочтительнее других выглядят ANTLR, JavaCC и Coco/R, порождающие ана- лизаторы, реализованные по методу рекур- сивного спуска, что облегчает чтение и от- ладку сгенерированного кода. Однако в качестве языка представления зна- ний метаязык РБНФ (и все другие известные метаязыки) имеет определенные недостатки.  Созданный первично для узкоспециаль- ных целей и такой, что полностью их обеспе- чивает, метаязык РБНФ не есть функциональ- но полным языком и потому не пригоден для представления знаний произвольных приклад- ных областей.  Семантический разрыв [7, 11] между фор- мальным (в метаязыке) описанием языков про- граммирования и методами реализации транс- ляторов этих языков приводит к необходимо- сти преодолевать ряд проблем при разработке трансляторов:  первая из них – необходимость преобра- зования модели формальной грамматики в автоматную модель распознавателя. Между этими моделями существует несколько про- тиворечий:  противоречие между иерархической структурой исходного описания языка с использованием формальной грамматики и одноуровневой табличной моделью ав- томата, реализующего синтаксический разбор;  противоречие между высокоуровне- выми средствами описания языков и ог- раничениями на грамматики, используе- мые для перехода к автоматной модели распознавателя;  формальное описание языка в итоге должно быть преобразовано в модель ав- томата, осуществляющего разбор. Это преобразование основывается на эври- стических алгоритмах, каждый из кото- рых ориентирован на конкретный класс грамматик и автоматов. В результате не- обходимости применения данного шага теряется связь между исходным описани- ем языка и его реализацией.  вторая проблема – это необходимость преобразования грамматики. Для преобразо- вания исходного описания языка в соответ- ствующую автоматную модель необходимо, чтобы грамматика принадлежала некоторо- 72 УСиМ, 2014, № 3 му конкретному классу. Если это условие не выполняется, то автомат не может быть реа- лизован, что и вынуждает преобразовать грамматику для реализации автомата. Одна- ко по ряду причин желательно избегать та- ких преобразований: во-первых, трудно вы- брать вид преобразования, а во-вторых, не- возможно гарантировать, что они не изменят создаваемый язык. Принцип синтаксически управляемой обра- ботки данных в таких приложениях, как транс- ляция языков программирования, давно и ус- пешно используется в форме управления про- цессом трансляции согласно синтаксической структуре предложений входного языка. Более изощренное применение этого принципа – не- посредственное задание структуры решения не- которой задачи. В SYNTAX-технологии для спецификации трансляций используется метаязык TSL (КС- уровня), который есть входным языком техно- логического комплекса SYNTAX, предназна- ченного для разработки средств синтаксически управляемой обработки данных. В применении к реализации языков программирования TSL служит для описания синтаксиса и семантики языков в форме трансляционных гpaммaтик [12]. Трансляционная грамматика состоит из уп- равляющей грамматики и описания операцион- ной среды. Управляющая грамматика – это контекстно свободная грамматика с правила- ми, в которых помимо нетерминалов и терми- налов можно использовать дополнительные семантические и резольверные символы. Опи- сание операционной среды определяет ее как некоторое пространство данных – элементов операционной среды, а интерпретацию допол- нительных символов – как множество преобра- зований и предикатов над текущим состоянием операционной среды. Это означает, что программа состоит из кол- лекции объектов, организованных для конкрет- ного применения посредством некоторой транс- ляционной грамматики. Объекты представляют собой данные и методы их обработки, а управ- ляющая грамматика определяет возможные по- следовательности вызовов этих методов. Грам- матика порождает некоторый класс вычислений в форме множества цепочек терминал–действий и семантик, реализуемых посредством методов. Конкретное вычисление выбирается из этого множества цепочек в зависимости от текущего состояния операционной среды. Достоинства такой архитектуры:  разделение синтаксического и семантиче- ского уровня спецификации и реализации трансляции, связь между которыми реализует- ся посредством контекстных символов;  инвариантность программы относительно любых преобразований ее структуры управле- ния; действительно, реализация такой програм- мы представляется фиксированной процедурой, функционирующей под управлением структуры, специфицированной исходной грамматикой. Этот подход поддерживает парадигму про- граммирования, согласно которой каждое пра- вило грамматики определяет некоторую струк- туру программ. При этом любая конструкция продолжает вычислительный процесс, уже вы- полненный ее составляющими, и требуется лишь использовать предшествующие резуль- таты для выработки своего собственного. По- этому при написании правила грамматики для некоторой конструкции, достаточно определить, какие действия над результатами ее подконст- рукций должна совершить данная конструкция. Благодаря такой концептуальной модульности, воплощаемой в правилах грамматики, значи- тельно облегчается разработка программы. К числу недостатков SYNTAX-технологии [12] можно отнести:  деформацию исходной синтаксической структуры (КС-уровня) до автоматного уровня рабочей (регуляризированной) грамматики;  ее исследовательский характер, неразра- ботанность относительно классов решаемых задач, ограничения применений, а также неза- вершенность практической реализации. Заключение. Таким образом, ни одна из из- вестных моделей представления знаний не имеет решающих преимуществ перед другими, – у каждой свои существенные недостатки. Целесообразна разработка иерархической системы моделей представления знаний, соот- УСиМ, 2014, № 3 73 ветствующей принципу концептуального един- ства Ф. Брукса и удовлетворяющей требовани- ям универсальности – представлению разно- родных знаний. Один из первых претендентов на ядро такой системы – развитие метаязыко- вых формализмов, а в качестве универсальной формы представления разнородных знаний – структура научной теории. 1. Классификация моделей представления знаний. – http://www.aiportal.ru/articles/knowledge-models/ classification.html 2. Кургаев А.Ф. Анализ моделей представления знаний // Нові комп'ютерні засоби, обчислювальні машини та мережі. – К.: Ін-т кібернетики ім. В.М. Глушкова НАН України, 2001. – Т. 1. – С. 129–135. 3. Chapter 7. Introduction to CLIPS. – http://ir.nuk.edu.tw: 8080/ir/bitstream/310360000Q/11342/2/CLIPS_Intro- CLIPS. pdf 4. Башмаков А.И., Башмаков И.А. Интеллектуальные информационные технологии: Учеб. пособие. – М.: Изд-во МГТУ им. Н.Э. Баумана, 2005. – 304 с. 5. Искусственный интеллект: В 3-х кн. Кн.2. Модели и методы: Справочник / Под ред. Д.А. Поспелова. – М.: Радио и связь, 1990. – 304 с. 6. Брукс Ф.П. Как проектируются и создаются про- граммные комплексы. Мифический человеко-месяц: Очерки по системному программированию. – М.: Наука, 1979. – 152 с. 7. Softcraft разноликое программирование: Основы разработки трансляторов. – http://sl-ur.narod2.ru/stu- dentu/vtoroi_semestr_2010_g/pyavu/Osnovy_razrabot- ki translyatorov_.rar 8. Вирт Никлаус. Построение компиляторов. – М.: ДМК Пресс, 2010. – 192 с. 9. Грогоно П. Программирование на языке Паскаль. – М.: Мир, 1982. – 384 с. 10. Чемоданов И.С., Дубчук Н.П. Обзор современных средств автоматизации создания синтаксических анализаторов // Системное программирование. – 2006. – Т. 2, 1. – С. 268–296. 12. Майерс Г. Архитектура современных ЭВМ: В 2-х кн. Кн. 1. – М.: Мир, 1985. – 364 с. 13. Мартыненко Б.К. Синтаксически управляемая обра- ботка данных. – СПб: Изд-во СПбГУ, 2004. – 316 с. Поступила 16.01.2014 Тел. для справок: +38 050 881-6218 (Киев) E-mail: afkurgaev@ukr.net © А.Ф. Кургаев, С.Н. Григорьев, 2014  Внимание ! Оформление подписки для желающих опубликовать статьи в нашем журнале обязательно. В розничную продажу журнал не поступает. Подписной индекс 71008 << /ASCII85EncodePages false /AllowTransparency false /AutoPositionEPSFiles true /AutoRotatePages /None /Binding /Left /CalGrayProfile (Dot Gain 20%) /CalRGBProfile (sRGB IEC61966-2.1) /CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2) /sRGBProfile (sRGB IEC61966-2.1) /CannotEmbedFontPolicy /Error /CompatibilityLevel 1.4 /CompressObjects /Tags /CompressPages true /ConvertImagesToIndexed true /PassThroughJPEGImages true /CreateJobTicket false /DefaultRenderingIntent /Default /DetectBlends true /DetectCurves 0.0000 /ColorConversionStrategy /CMYK /DoThumbnails false /EmbedAllFonts true /EmbedOpenType false /ParseICCProfilesInComments true /EmbedJobOptions true /DSCReportingLevel 0 /EmitDSCWarnings false /EndPage -1 /ImageMemory 1048576 /LockDistillerParams false /MaxSubsetPct 100 /Optimize true /OPM 1 /ParseDSCComments true /ParseDSCCommentsForDocInfo true /PreserveCopyPage true /PreserveDICMYKValues true /PreserveEPSInfo true /PreserveFlatness true /PreserveHalftoneInfo false /PreserveOPIComments true /PreserveOverprintSettings true /StartPage 1 /SubsetFonts true /TransferFunctionInfo /Apply /UCRandBGInfo /Preserve /UsePrologue false /ColorSettingsFile () /AlwaysEmbed [ true ] /NeverEmbed [ true ] /AntiAliasColorImages false /CropColorImages true /ColorImageMinResolution 300 /ColorImageMinResolutionPolicy /OK /DownsampleColorImages true /ColorImageDownsampleType /Bicubic /ColorImageResolution 300 /ColorImageDepth -1 /ColorImageMinDownsampleDepth 1 /ColorImageDownsampleThreshold 1.50000 /EncodeColorImages true /ColorImageFilter /DCTEncode /AutoFilterColorImages true /ColorImageAutoFilterStrategy /JPEG /ColorACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /ColorImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000ColorACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000ColorImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasGrayImages false /CropGrayImages true /GrayImageMinResolution 300 /GrayImageMinResolutionPolicy /OK /DownsampleGrayImages true /GrayImageDownsampleType /Bicubic /GrayImageResolution 300 /GrayImageDepth -1 /GrayImageMinDownsampleDepth 2 /GrayImageDownsampleThreshold 1.50000 /EncodeGrayImages true /GrayImageFilter /DCTEncode /AutoFilterGrayImages true /GrayImageAutoFilterStrategy /JPEG /GrayACSImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /GrayImageDict << /QFactor 0.15 /HSamples [1 1 1 1] /VSamples [1 1 1 1] >> /JPEG2000GrayACSImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /JPEG2000GrayImageDict << /TileWidth 256 /TileHeight 256 /Quality 30 >> /AntiAliasMonoImages false /CropMonoImages true /MonoImageMinResolution 1200 /MonoImageMinResolutionPolicy /OK /DownsampleMonoImages true /MonoImageDownsampleType /Bicubic /MonoImageResolution 1200 /MonoImageDepth -1 /MonoImageDownsampleThreshold 1.50000 /EncodeMonoImages true /MonoImageFilter /CCITTFaxEncode /MonoImageDict << /K -1 >> /AllowPSXObjects false /CheckCompliance [ /None ] /PDFX1aCheck false /PDFX3Check false /PDFXCompliantPDFOnly false /PDFXNoTrimBoxError true /PDFXTrimBoxToMediaBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXSetBleedBoxToMediaBox true /PDFXBleedBoxToTrimBoxOffset [ 0.00000 0.00000 0.00000 0.00000 ] /PDFXOutputIntentProfile () /PDFXOutputConditionIdentifier () /PDFXOutputCondition () /PDFXRegistryName () /PDFXTrapped /False /CreateJDFFile false /Description << /ARA <FEFF06270633062A062E062F0645002006470630064700200627064406250639062F0627062F0627062A002006440625064606340627062100200648062B062706260642002000410064006F00620065002000500044004600200645062A064806270641064206290020064406440637062806270639062900200641064A00200627064406450637062706280639002006300627062A0020062F0631062C0627062A002006270644062C0648062F0629002006270644063906270644064A0629061B0020064A06450643064600200641062A062D00200648062B0627062606420020005000440046002006270644064506460634062306290020062806270633062A062E062F062706450020004100630072006F0062006100740020064800410064006F006200650020005200650061006400650072002006250635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E0635062F0627063100200035002E0030002006480627064406250635062F062706310627062A0020062706440623062D062F062B002E> /BGR <FEFF04180437043f043e043b043704320430043904420435002004420435043704380020043d0430044104420440043e0439043a0438002c00200437043000200434043000200441044a0437043404300432043004420435002000410064006f00620065002000500044004600200434043e043a0443043c0435043d04420438002c0020043c0430043a04410438043c0430043b043d043e0020043f044004380433043e04340435043d04380020043704300020043204380441043e043a043e043a0430044704350441044204320435043d0020043f04350447043004420020043704300020043f044004350434043f0435044704300442043d04300020043f043e04340433043e0442043e0432043a0430002e002000200421044a04370434043004340435043d043804420435002000500044004600200434043e043a0443043c0435043d044204380020043c043e0433043004420020043404300020044104350020043e0442043204300440044f0442002004410020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200441043b0435043404320430044904380020043204350440044104380438002e> /CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e9ad88d2891cf76845370524d53705237300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002> /CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc9ad854c18cea76845370524d5370523786557406300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002> /CZE <FEFF005400610074006f0020006e006100730074006100760065006e00ed00200070006f0075017e0069006a007400650020006b0020007600790074007600e101590065006e00ed00200064006f006b0075006d0065006e0074016f002000410064006f006200650020005000440046002c0020006b00740065007200e90020007300650020006e0065006a006c00e90070006500200068006f006400ed002000700072006f0020006b00760061006c00690074006e00ed0020007400690073006b00200061002000700072006500700072006500730073002e002000200056007900740076006f01590065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f007400650076015900ed007400200076002000700072006f006700720061006d0065006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076011b006a016100ed00630068002e> /DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000620065006400730074002000650067006e006500720020007300690067002000740069006c002000700072006500700072006500730073002d007500640073006b007200690076006e0069006e00670020006100660020006800f8006a0020006b00760061006c0069007400650074002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e> /DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200076006f006e002000640065006e0065006e002000530069006500200068006f006300680077006500720074006900670065002000500072006500700072006500730073002d0044007200750063006b0065002000650072007a0065007500670065006e0020006d00f60063006800740065006e002e002000450072007300740065006c006c007400650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000410064006f00620065002000520065006100640065007200200035002e00300020006f0064006500720020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e> /ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f00730020005000440046002000640065002000410064006f0062006500200061006400650063007500610064006f00730020007000610072006100200069006d0070007200650073006900f3006e0020007000720065002d0065006400690074006f007200690061006c00200064006500200061006c00740061002000630061006c0069006400610064002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e> /ETI <FEFF004b00610073007500740061006700650020006e0065006900640020007300e4007400740065006900640020006b00760061006c006900740065006500740073006500200074007200fc006b006900650065006c007300650020007000720069006e00740069006d0069007300650020006a0061006f006b007300200073006f00620069006c0069006b0065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740069006400650020006c006f006f006d006900730065006b0073002e00200020004c006f006f0064007500640020005000440046002d0064006f006b0075006d0065006e00740065002000730061006100740065002000610076006100640061002000700072006f006700720061006d006d006900640065006700610020004100630072006f0062006100740020006e0069006e0067002000410064006f00620065002000520065006100640065007200200035002e00300020006a00610020007500750065006d006100740065002000760065007200730069006f006f006e00690064006500670061002e000d000a> /FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f0075007200200075006e00650020007100750061006c0069007400e90020006400270069006d007000720065007300730069006f006e00200070007200e9007000720065007300730065002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e> /GRE <FEFF03a703c103b703c303b903bc03bf03c003bf03b903ae03c303c403b5002003b103c503c403ad03c2002003c403b903c2002003c103c503b803bc03af03c303b503b903c2002003b303b903b1002003bd03b1002003b403b703bc03b903bf03c503c103b303ae03c303b503c403b5002003ad03b303b303c103b103c603b1002000410064006f006200650020005000440046002003c003bf03c5002003b503af03bd03b103b9002003ba03b103c42019002003b503be03bf03c703ae03bd002003ba03b103c403ac03bb03bb03b703bb03b1002003b303b903b1002003c003c103bf002d03b503ba03c403c503c003c903c403b903ba03ad03c2002003b503c103b303b103c303af03b503c2002003c503c803b703bb03ae03c2002003c003bf03b903cc03c403b703c403b103c2002e0020002003a403b10020005000440046002003ad03b303b303c103b103c603b1002003c003bf03c5002003ad03c703b503c403b5002003b403b703bc03b903bf03c503c103b303ae03c303b503b9002003bc03c003bf03c103bf03cd03bd002003bd03b1002003b103bd03bf03b903c703c403bf03cd03bd002003bc03b5002003c403bf0020004100630072006f006200610074002c002003c403bf002000410064006f00620065002000520065006100640065007200200035002e0030002003ba03b103b9002003bc03b503c403b103b303b503bd03ad03c303c403b503c103b503c2002003b503ba03b403cc03c303b503b903c2002e> /HEB <FEFF05D405E905EA05DE05E905D5002005D105D405D205D305E805D505EA002005D005DC05D4002005DB05D305D9002005DC05D905E605D505E8002005DE05E105DE05DB05D9002000410064006F006200650020005000440046002005D405DE05D505EA05D005DE05D905DD002005DC05D405D305E405E105EA002005E705D305DD002D05D305E405D505E1002005D005D905DB05D505EA05D905EA002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E05D005DE05D905DD002005DC002D005000440046002F0058002D0033002C002005E205D905D905E005D5002005D105DE05D305E805D905DA002005DC05DE05E905EA05DE05E9002005E905DC0020004100630072006F006200610074002E002005DE05E105DE05DB05D90020005000440046002005E905E005D505E605E805D5002005E005D905EA05E005D905DD002005DC05E405EA05D905D705D4002005D105D005DE05E605E205D505EA0020004100630072006F006200610074002005D5002D00410064006F00620065002000520065006100640065007200200035002E0030002005D505D205E805E105D005D505EA002005DE05EA05E705D305DE05D505EA002005D905D505EA05E8002E> /HRV (Za stvaranje Adobe PDF dokumenata najpogodnijih za visokokvalitetni ispis prije tiskanja koristite ove postavke. Stvoreni PDF dokumenti mogu se otvoriti Acrobat i Adobe Reader 5.0 i kasnijim verzijama.) /HUN <FEFF004b0069007600e1006c00f30020006d0069006e0151007300e9006701710020006e0079006f006d00640061006900200065006c0151006b00e90073007a00ed007401510020006e0079006f006d00740061007400e100730068006f007a0020006c006500670069006e006b00e1006200620020006d0065006700660065006c0065006c0151002000410064006f00620065002000500044004600200064006f006b0075006d0065006e00740075006d006f006b0061007400200065007a0065006b006b0065006c0020006100200062006500e1006c006c00ed007400e10073006f006b006b0061006c0020006b00e90073007a00ed0074006800650074002e0020002000410020006c00e90074007200650068006f007a006f00740074002000500044004600200064006f006b0075006d0065006e00740075006d006f006b00200061007a0020004100630072006f006200610074002000e9007300200061007a002000410064006f00620065002000520065006100640065007200200035002e0030002c0020007600610067007900200061007a002000610074007400f3006c0020006b00e9007301510062006200690020007600650072007a006900f3006b006b0061006c0020006e00790069007400680061007400f3006b0020006d00650067002e> /ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f00620065002000500044004600200070006900f900200061006400610074007400690020006100200075006e00610020007000720065007300740061006d0070006100200064006900200061006c007400610020007100750061006c0069007400e0002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e> /JPN <FEFF9ad854c18cea306a30d730ea30d730ec30b951fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a306b306f30d530a930f330c8306e57cb30818fbc307f304c5fc59808306730593002> /KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020ace0d488c9c80020c2dcd5d80020c778c1c4c5d00020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e> /LTH <FEFF004e006100750064006f006b0069007400650020016100690075006f007300200070006100720061006d006500740072007500730020006e006f0072011700640061006d00690020006b0075007200740069002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b00750072006900650020006c0061006200690061007500730069006100690020007000720069007400610069006b007900740069002000610075006b01610074006f00730020006b006f006b007900620117007300200070006100720065006e006700740069006e00690061006d00200073007000610075007300640069006e0069006d00750069002e0020002000530075006b0075007200740069002000500044004600200064006f006b0075006d0065006e007400610069002000670061006c006900200062016b007400690020006100740069006400610072006f006d00690020004100630072006f006200610074002000690072002000410064006f00620065002000520065006100640065007200200035002e0030002000610072002000760117006c00650073006e0117006d00690073002000760065007200730069006a006f006d00690073002e> /LVI <FEFF0049007a006d0061006e0074006f006a00690065007400200161006f00730020006900650073007400610074012b006a0075006d00750073002c0020006c0061006900200076006500690064006f00740075002000410064006f00620065002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006100730020006900720020012b00700061016100690020007000690065006d01130072006f00740069002000610075006700730074006100730020006b00760061006c0069007401010074006500730020007000690072006d007300690065007300700069006501610061006e006100730020006400720075006b00610069002e00200049007a0076006500690064006f006a006900650074002000500044004600200064006f006b0075006d0065006e007400750073002c0020006b006f002000760061007200200061007400760113007200740020006100720020004100630072006f00620061007400200075006e002000410064006f00620065002000520065006100640065007200200035002e0030002c0020006b0101002000610072012b00200074006f0020006a00610075006e0101006b0101006d002000760065007200730069006a0101006d002e> /NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken die zijn geoptimaliseerd voor prepress-afdrukken van hoge kwaliteit. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.) /NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d00200065007200200062006500730074002000650067006e0065007400200066006f00720020006600f80072007400720079006b006b0073007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c0069007400650074002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e> /POL <FEFF0055007300740061007700690065006e0069006100200064006f002000740077006f0072007a0065006e0069006100200064006f006b0075006d0065006e007400f300770020005000440046002000700072007a0065007a006e00610063007a006f006e00790063006800200064006f002000770079006400720075006b00f30077002000770020007700790073006f006b00690065006a0020006a0061006b006f015b00630069002e002000200044006f006b0075006d0065006e0074007900200050004400460020006d006f017c006e00610020006f007400770069006500720061010700200077002000700072006f006700720061006d006900650020004100630072006f00620061007400200069002000410064006f00620065002000520065006100640065007200200035002e0030002000690020006e006f00770073007a0079006d002e> /PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020006d00610069007300200061006400650071007500610064006f00730020007000610072006100200070007200e9002d0069006d0070007200650073007300f50065007300200064006500200061006c007400610020007100750061006c00690064006100640065002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e> /RUM <FEFF005500740069006c0069007a00610163006900200061006300650073007400650020007300650074010300720069002000700065006e007400720075002000610020006300720065006100200064006f00630075006d0065006e00740065002000410064006f006200650020005000440046002000610064006500630076006100740065002000700065006e0074007200750020007400690070010300720069007200650061002000700072006500700072006500730073002000640065002000630061006c006900740061007400650020007300750070006500720069006f006100720103002e002000200044006f00630075006d0065006e00740065006c00650020005000440046002000630072006500610074006500200070006f00740020006600690020006400650073006300680069007300650020006300750020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e00300020015f00690020007600650072007300690075006e0069006c006500200075006c0074006500720069006f006100720065002e> /RUS <FEFF04180441043f043e043b044c04370443043904420435002004340430043d043d044b04350020043d0430044104420440043e0439043a043800200434043b044f00200441043e043704340430043d0438044f00200434043e043a0443043c0435043d0442043e0432002000410064006f006200650020005000440046002c0020043c0430043a04410438043c0430043b044c043d043e0020043f043e04340445043e0434044f04490438044500200434043b044f00200432044b0441043e043a043e043a0430044704350441044204320435043d043d043e0433043e00200434043e043f0435044704300442043d043e0433043e00200432044b0432043e04340430002e002000200421043e043704340430043d043d044b04350020005000440046002d0434043e043a0443043c0435043d0442044b0020043c043e0436043d043e0020043e0442043a0440044b043204300442044c002004410020043f043e043c043e0449044c044e0020004100630072006f00620061007400200438002000410064006f00620065002000520065006100640065007200200035002e00300020043800200431043e043b043504350020043f043e04370434043d043804450020043204350440044104380439002e> /SKY <FEFF0054006900650074006f0020006e006100730074006100760065006e0069006100200070006f0075017e0069007400650020006e00610020007600790074007600e100720061006e0069006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b0074006f007200e90020007300610020006e0061006a006c0065007001610069006500200068006f0064006900610020006e00610020006b00760061006c00690074006e00fa00200074006c0061010d00200061002000700072006500700072006500730073002e00200056007900740076006f00720065006e00e900200064006f006b0075006d0065006e007400790020005000440046002000620075006400650020006d006f017e006e00e90020006f00740076006f00720069016500200076002000700072006f006700720061006d006f006300680020004100630072006f00620061007400200061002000410064006f00620065002000520065006100640065007200200035002e0030002000610020006e006f0076016100ed00630068002e> /SLV <FEFF005400650020006e006100730074006100760069007400760065002000750070006f0072006100620069007400650020007a00610020007500730074007600610072006a0061006e006a006500200064006f006b0075006d0065006e0074006f0076002000410064006f006200650020005000440046002c0020006b006900200073006f0020006e0061006a007000720069006d00650072006e0065006a016100690020007a00610020006b0061006b006f0076006f00730074006e006f0020007400690073006b0061006e006a00650020007300200070007200690070007200610076006f0020006e00610020007400690073006b002e00200020005500730074007600610072006a0065006e006500200064006f006b0075006d0065006e0074006500200050004400460020006a00650020006d006f0067006f010d00650020006f0064007000720065007400690020007a0020004100630072006f00620061007400200069006e002000410064006f00620065002000520065006100640065007200200035002e003000200069006e0020006e006f00760065006a01610069006d002e> /SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f00740020006c00e400680069006e006e00e4002000760061006100740069007600610061006e0020007000610069006e006100740075006b00730065006e002000760061006c006d0069007300740065006c00750074007900f6006800f6006e00200073006f00700069007600690061002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e> /SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d002000e400720020006c00e4006d0070006c0069006700610020006600f60072002000700072006500700072006500730073002d007500740073006b00720069006600740020006d006500640020006800f600670020006b00760061006c0069007400650074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e> /TUR <FEFF005900fc006b00730065006b0020006b0061006c006900740065006c0069002000f6006e002000790061007a006401310072006d00610020006200610073006b013100730131006e006100200065006e0020006900790069002000750079006100620069006c006500630065006b002000410064006f006200650020005000440046002000620065006c00670065006c0065007200690020006f006c0075015f007400750072006d0061006b0020006900e70069006e00200062007500200061007900610072006c0061007201310020006b0075006c006c0061006e0131006e002e00200020004f006c0075015f0074007500720075006c0061006e0020005000440046002000620065006c00670065006c0065007200690020004100630072006f006200610074002000760065002000410064006f00620065002000520065006100640065007200200035002e003000200076006500200073006f006e0072006100730131006e00640061006b00690020007300fc007200fc006d006c00650072006c00650020006100e70131006c006100620069006c00690072002e> /UKR <FEFF04120438043a043e0440043804410442043e043204430439044204350020044604560020043f043004400430043c043504420440043800200434043b044f0020044104420432043e04400435043d043d044f00200434043e043a0443043c0435043d044204560432002000410064006f006200650020005000440046002c0020044f043a04560020043d04300439043a04400430044904350020043f045604340445043e0434044f0442044c00200434043b044f0020043204380441043e043a043e044f043a04560441043d043e0433043e0020043f0435044004350434043404400443043a043e0432043e0433043e0020043404400443043a0443002e00200020042104420432043e04400435043d045600200434043e043a0443043c0435043d0442043800200050004400460020043c043e0436043d04300020043204560434043a0440043804420438002004430020004100630072006f006200610074002004420430002000410064006f00620065002000520065006100640065007200200035002e0030002004300431043e0020043f04560437043d04560448043e04570020043204350440044104560457002e> /ENU (Use these settings to create Adobe PDF documents best suited for high-quality prepress printing. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.) >> /Namespace [ (Adobe) (Common) (1.0) ] /OtherNamespaces [ << /AsReaderSpreads false /CropImagesToFrames true /ErrorControl /WarnAndContinue /FlattenerIgnoreSpreadOverrides false /IncludeGuidesGrids false /IncludeNonPrinting false /IncludeSlug false /Namespace [ (Adobe) (InDesign) (4.0) ] /OmitPlacedBitmaps false /OmitPlacedEPS false /OmitPlacedPDF false /SimulateOverprint /Legacy >> << /AddBleedMarks false /AddColorBars false /AddCropMarks false /AddPageInfo false /AddRegMarks false /ConvertColors /ConvertToCMYK /DestinationProfileName () /DestinationProfileSelector /DocumentCMYK /Downsample16BitImages true /FlattenerPreset << /PresetSelector /MediumResolution >> /FormElements false /GenerateStructure false /IncludeBookmarks false /IncludeHyperlinks false /IncludeInteractive false /IncludeLayers false /IncludeProfiles false /MultimediaHandling /UseObjectSettings /Namespace [ (Adobe) (CreativeSuite) (2.0) ] /PDFXOutputIntentProfileSelector /DocumentCMYK /PreserveEditing true /UntaggedCMYKHandling /LeaveUntagged /UntaggedRGBHandling /UseDocumentProfile /UseDocumentBleed false >> ] >> setdistillerparams << /HWResolution [2400 2400] /PageSize [612.000 792.000] >> setpagedevice

Ähnliche Einträge