Интеллектуальные информационные системы. Дубровин А.Д. - 167 стр.

UptoLike

Составители: 

202
-
расширение
базисных
языков
описания
данных
ИИС
до
уровня
,
отвечающего
возможностям
их
применения
в
системах
представления
знаний
за
счет
создания
специализированных
библиотек
пакетов
прикладных
программ
;
-
создание
специальных
языков
представления
знаний
(
и
трансляторов
с
них
),
обеспечивающих
поддержку
нетрадиционных
формализмов
,
присущих
ИИС
экспертного
типа
,
ИИС
нейросетевого
типа
и
ИИС
гибридного
типа
.
До
недавнего
времени
наиболее
популярным
языком
программирования
в
проблематике
ИИС
был
язык
ЛИСП
.
К
концу
80-
х
годов
прошлого
столетия
он
был
адаптирован
для
всех
классов
существующих
компьютеров
.
В
настоящее
время
в
США
и
странах
западной
Европы
выпускаются
ЛИСП
-
компьютеры
,
для
которых
это
язык
стал
«
естественным
».
Параллельно
с
ЛИСП
разрабатывались
и
успешно
применялись
в
конкретных
приложениях
такие
языки
обработки
символьной
информации
,
как
СНОБОЛ
,
РЕФАЛ
и
др
.
Японский
проект
ЭВМ
пятого
поколения
был
ориентирован
на
базовый
язык
программирования
ПРОЛОГ
(
Франция
,
Марсельский
университет
).
С
появлением
и
развитием
фреймовых
моделей
представления
знаний
,
в
ИИС
стали
применяться
языки
KRL
и
FRL.
Чуть
позднее
этих
языков
получил
распространение
(
и
по
праву
занял
свое
место
в
пакете
Case-Tool Kits)
язык
представления
знаний
OPS.5 (Official Production Systems),
характерный
тем
,
что
поддерживает
при
создании
формально
-
логической
модели
представления
знаний
только
одну
схему
решения
обратную
стратегию
вывода
.
Определенным
этапом
в
разработке
и
внедрении
языков
программирования
стал
конец
прошлого
века
.
С
этого
времени
начинается
определенный
бум
в
создании
программных
сред
(
оболочек
)
поддержки
различных
архитектур
ИИС
: EXYS, GURU, ART,
KEE, J2.
Оболочка
А
R
Т
,
например
,
оказалась
удобной
не
только
для
программирования
правил
и
процедур
продукционных
и
формально
-
логических
моделей
представления
знаний
,
но
,
как
и
оболочка
КЕЕ
, -
для
представления
декларативных
знаний
во
фреймовых
моделях
.
Оболочка
J2
стала
первой
инструментальной
средой
поддержки
программирования
для
ИИС
,
интегрируемых
в
уже
существующие
системы
управления
,
функционирующие
в
реальном
масштабе
времени
(
динамические
системы
).
Технологическая
линия
Work Bench
представляет
собой
интегрированные
инструментальные
системы
программирования
,
технологически
поддерживающие
весь
цикл
«
создание
программы
сопровождение
программы
».
Основными
особенностями
технологической
линии
Work Bench
являются
:
-
выбранная
пользователем
(
программистом
)
система
программирования
для
разработки
конкретного
программного
продукта
технологически
обеспечивается
на
протяжении
всего
жизненного
цикла
этого
продукта
;
-
обеспечивается
процедурная
и
информационная
совместимость
инструментов
программирования
на
всех
уровнях
разработки
программного
продукта
и
на
всех
стадиях
его
создания
;
-
обеспечивается
совместимость
по
формальным
и
фактическим
параметрам
модулей
программного
продукта
,
находящихся
на
одном
системном
уровне
;
-
каждый
инструмент
программирования
содержит
только
собственные
(
оригинальные
)
компоненты
,
а
компоненты
«
общего
пользования
»,
во
избежание
дублирования
,
подключаются
только
по
мере
необходимости
.
7.5.
ТЕХНОЛОГИИ
,
РАСШИРЯЮЩИЕ
ПРОЦЕДУРНЫЕ
ВОЗМОЖНОСТИ
ИИС
        - расширение базисных языков описания данных ИИС до уровня, отвечающего
возможностям их применения в системах представления знаний за счет создания
специализированных библиотек пакетов прикладных программ;
        - создание специальных языков представления знаний (и трансляторов с них),
обеспечивающих поддержку нетрадиционных формализмов, присущих ИИС экспертного
типа, ИИС нейросетевого типа и ИИС гибридного типа.
       До недавнего времени наиболее популярным языком программирования в
проблематике ИИС был язык ЛИСП. К концу 80-х годов прошлого столетия он был
адаптирован для всех классов существующих компьютеров. В настоящее время в США и
странах западной Европы выпускаются ЛИСП-компьютеры, для которых это язык стал
«естественным».Параллельно с ЛИСП разрабатывались и успешно применялись в
конкретных приложениях такие языки обработки символьной информации, как СНОБОЛ,
РЕФАЛ и др. Японский проект ЭВМ пятого поколения был ориентирован на базовый язык
программирования ПРОЛОГ (Франция, Марсельский университет). С появлением и
развитием фреймовых моделей представления знаний, в ИИС стали применяться языки KRL
и FRL. Чуть позднее этих языков получил распространение (и по праву занял свое место в
пакете Case-Tool Kits) язык представления знаний OPS.5 (Official Production Systems),
характерный тем, что поддерживает при создании формально-логической модели
представления знаний только одну схему решения – обратную стратегию вывода.
       Определенным этапом в разработке и внедрении языков программирования стал
конец прошлого века. С этого времени начинается определенный бум в создании
программных сред (оболочек) поддержки различных архитектур ИИС: EXYS, GURU, ART,
KEE, J2. Оболочка АRТ, например, оказалась удобной не только для программирования
правил и процедур продукционных и формально-логических моделей представления знаний,
но, как и оболочка КЕЕ, - для представления декларативных знаний во фреймовых моделях.
Оболочка J2 стала первой инструментальной средой поддержки программирования для
ИИС, интегрируемых в уже существующие системы управления, функционирующие в
реальном масштабе времени (динамические системы).
        Технологическая линия Work Bench представляет собой интегрированные
инструментальные системы программирования, технологически поддерживающие весь цикл
«создание программы – сопровождение программы». Основными особенностями
технологической линии Work Bench являются:
     - выбранная пользователем (программистом) система программирования для разработки
конкретного программного продукта технологически обеспечивается на протяжении всего
жизненного цикла этого продукта;
     - обеспечивается процедурная и информационная совместимость инструментов
программирования на всех уровнях разработки программного продукта и на всех стадиях его
создания;
     - обеспечивается совместимость по формальным и фактическим параметрам модулей
программного продукта, находящихся на одном системном уровне;
     - каждый инструмент программирования содержит только собственные (оригинальные)
компоненты, а компоненты «общего пользования», во избежание дублирования,
подключаются только по мере необходимости.




  7.5. ТЕХНОЛОГИИ, РАСШИРЯЮЩИЕ ПРОЦЕДУРНЫЕ ВОЗМОЖНОСТИ ИИС

                                                                                   202