Разработка и исследование продукционной системы параллельного программирования тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Тютюнник, Михаил Борисович
- Специальность ВАК РФ05.13.11
- Количество страниц 162
Оглавление диссертации кандидат технических наук Тютюнник, Михаил Борисович
Введение
Глава 1. Языки и системы, основанные на правилах, и методы их реализации (обзор литературы)
1.1. Теоретические основы
1.2. Классы систем продукций
1.3. Системы, основанные на правилах
1.4. Методы реализации систем, основанных на правилах
1.5. Методы оптимизации процесса логического вывода для систем, основанных на правилах
1.6. Методы организации параллельных вычислений для сис1ем, основанных на правилах
1.7. Постановка задачи диссертационного исследования
Глава 2. Модель расширенного языка, основанного на правилах
2.1: Модель языка. Синтаксис
2.1.1. Описание логического модуля
2.1.2. Оп исание имен
2.1.3. Согласование сортов объектов одного модуля
2.1.4. Синтаксис термов, используемых в правилах
2.1.5. Синтаксис формул, используемых в правилах
2.1.6. Синтаксис правил
2.1.7. Схемы правил и конкретизации схем
2.2. Модель языка. Семантика
2.2.1. Рабочая среда модуля
2.2.2. Согласование сортов объектов разных модулей
2.2.3. Определение значений термов и формул для состояния рабочей среды
2.2.4. Применимость правил
2.2.5. Семантика схем и конкретизации схем
2.2.6. Процесс выполнения модуля
2.3. Свойства процесса логического вывода
2.4. Обсуждение
Глава 3. Разработка и исследование схем распараллеливания процесса логического вывода
3.1. Распараллеливание правил внутри модуля с использованием множества активных правил
3.1.1. Определение множества активных правил
3.1.2. Схема распараллеливания №
3.2. Распараллеливание правил внутри модуля с использованием информационного графа
3.2.1. Определение информационного графа
3.2.2. Схема распараллеливания №
3.3. Распараллеливание правил внутри модуля с использованием информационного графа с передачей кортежей при неполном вычислении правила
3.4. Распараллеливание вычислений для правил с префиксом
3.5. Распараллеливание вычислений путем разбиения области значений объектов внутри правила
3.6. Распараллеливание вычислений для сети модулей
3.7. Распараллеливание вычислений для одиночных модулей
3.8. Обсуждение
Глава 4. Разработка алгоритма управления выбором схем распараллеливания и методов реализации системы параллельного программирования
4.1. Алгоритм управления схемами распараллеливания
4.2. Требования к системе параллельного программирования
4.3. Архитектура системы параллельного программирования
4.3.1. Редактор модульных логических программ
4.3.2. Редактор источников данных
4.3.3. Редактор данных
4.4. Компилятор системы параллельного программирования
4.4.1. Анализатор
4.4.2. Генератор
4.4.3. Компилятор С++
4.5. Исполняемая программа, реализующая ПЛВ
4.6. Методы реализации
4.6.1. Описание шаблона программы
4.6.2. Представление информационных структур
4.7. Обсуждение
Глава 5. Экспериментальное исследование системы параллельного программирования
5.1. Экспериментальное исследование свойств системы параллельного программирования на модельных данных
5.1.1. Описание экспериментов группы
5.1.2. Описание экспериментов группы
5.1.3. Описание экспериментов группы
5.1.4. Описание экспериментов группы
5.1.5. Описание экспериментов группы
5.1.6. Описание экспериментов группы
5.1.7. Описание экспериментов группы
5.1.8. Описание экспериментов группы
5.1.9. Описание экспериментов группы
5.2. Экспериментальное исследование системы параллельного программирования на примерах реальных задач
5.2.1. Системы решения упрощенной задачи медицинской диагностики. Случай: для заболеваний задано одно клиническое проявление
5.2.2. Системы решения упрощенной задачи медицинской диагностики. Случай: для заболеваний задано несколько клинических проявлений
5.2.3. Система решения задачи Дирихле для уравнений эллиптического типа
5.2.4. Задача поиска путей синтеза химических соединений
5.3. Рекомендации по разработке параллельного решателя задач
5.4. Обсуждение 126 Заключение 127 Литература 128 Приложение 1. Программы, используемые при экспериментах на модельных данных 137 Приложение 2. Программы, используемые при экспериментах на реальных задачах
Рекомендованный список диссертаций по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК
Методы и программно-аппаратные средства параллельных структурно-процедурных вычислений2004 год, доктор технических наук Левин, Илья Израилевич
Разработка методов выполнения функционально-параллельных программ на основе сетей Петри2005 год, кандидат физико-математических наук Калиниченко, Борис Олегович
Исследование и реализация непроцедурных преобразований программ для построения расширяемой системы распараллеливания2007 год, кандидат технических наук Жегуло, Ольга Анатольевна
Структурно-предикативная система построения внутреннего представления программ, ориентированного на оптимизацию и распараллеливание2006 год, кандидат технических наук Тапкинов, Батр Юрьевич
Автоматическое распараллеливание некоторого класса фортран-программ. Отображение на кластер2009 год, кандидат физико-математических наук Клинов, Максим Сергеевич
Введение диссертации (часть автореферата) на тему «Разработка и исследование продукционной системы параллельного программирования»
Актуальность проблемы. Продукционные языки и системы, основанные на правилах, являются важной технологией при создании информационных систем [97], называемых системами с базами правил (или с базами знаний, представленными в виде правил). Представление задачи в виде множества правил является более естественным способом по сравнению с алгоритмом и не требует от разработчика программной системы специальных знаний по организации вычислительного процесса: управление этим процессом реализует языковой процессор языка, основанного на правилах. При использовании систем продукций для решения реальных прикладных задач к настоящему времени разработаны базы знаний объемом в тысячи правил. В современных проектах по созданию Семантического Интернета также предполагается использование правил как средств, расширяющих возможности языка для представления онтологии OWL (Web Ontology Language) и позволяющих описывать бизнес-логику программных систем, создавать адаптеры между информационными системами и определять различные сложные запросы к информационным компонентам программных систем [97].
Если в системе, основанной на правилах, результат решения задачи зависит от порядка применения правил, в механизме вывода неявно присутствует управление выбором правил при решении задачи либо в систему продукций вводятся явные средства для задания управления (т.е. для задания алгоритма управления) [83 ]. В системах конфлюэнтных1 продукций [51] результат логического вывода не зависит от порядка применения правил, что не требует введения явных или неявных средств управления процессом решения задачи, позволяя рассматривать конфлю-энтные системы продукций не только как средство для представления знаний, но и как средство для задания метода решения задачи, т.е. как язьгк программирования метода. Поэтому системы конфлюэнтных продукций являются важным классом продукций. На основе модели конфлюэнтных продукций были созданы системы СИНАП и РЕПРО [6,7], которые использовались для построения многих прикладных экспертных систем.
Существует два основных способа организации вывода в системах продукций: прямой и обратный. При прямом выводе система использует информацию из антецедента правил, чтобы вывести информацию, описанную в консеквенте правил. При обратном выводе выдвигается цель - установить, можно ли вывести не
1 Конфлюэнтные системы также называются коммутативными или системами, имеющими неподвижную точку. который факт из системы продукций. Чем больше правил содержит система продукций, гем медленнее выполняется логический вывод, поэтому исследовались различные методы ускорения вывода. К настоящему времени разработаны методы оптимизации как для прямого, так и для обратного методов организации вывода, в том числе для конфлюэнтных систем продукций, причем наибольший эффект при оптимизации получен для систем последнего класса.
Развитие компьютерной архитектуры и сетевых технологий, появление новых научных и прикладных задач, требующих большого объема вычислений, отставание быстродействия существующих последовательных компьютерных комплексов и теоретическая ограниченность роста их производительности привели к необходимости применения многопроцессорных и многоядерных компьютерных систем (МВС), выдвинув параллельные вычисления на одно из центральных мест в современном программировании и вычислительных технологиях. Это, в свою очередь, потребовало развития языков программирования и создания параллельных языковых процессоров для них. Для систем продукций, реализующих обратный вывод (в частности, систем, основанных на языке Пролог и его модификациях) [42], к "настоящему времени описаны методы организации параллельного вывода.
Большой вклад в разработку моделей систем продукций, методов организации процесса логического вывода для таких систем, а также методов распараллеливания вывода для них внесли Д.А. Поспелов, В.Н. Вагин, Г.С. Осипов, И.П. Кузнецов, А.П. Еремеев, A.C. Клещев, B.J1. Стефанкж, A.B. Жожикашвили, Ю.А.Загорулько, Т.М. Яхно, A.C. Нариньяни, S. Vere, D.B. Lenat и многие другие.
В существующих к настоящему времени моделях систем продукции допускаются предметные, функциональные и предикатные имена, причем типы объектов, с которыми могут работать правила, в современных формализмах для представления правил согласованы с типами объектов, используемых в языках для определения онтологий. Однако в существующих программных системах, основанных на правилах, типы данных, используемые для моделирования объектов предметных областей, ограничены, в основном, предикатами, а сами языки являются языками с бедным семантическим базисом. В таких языках отсутствуют средства для компактного представления правил с похожей структурой.
Существующие в настоящее время параллельные программные системы, основанные на правилах, базируются на неконфлюэнтных продукциях, поэтому для них разрабатываются сложные механизмы контроля процесса распараллеленного вывода. При этом при обратном выводе применение алгоритмов распараллеливания затрудняется наличием неявного управления порядком записи правил, порядком записи компонентов правил и порядком записи компонентов целевого утверждения, которое является входом системы, основанной на правилах. Кроме того, наличие неявного управления выбором правил затрудняет сопровождение систем с большим количеством правил. Распараллеливание прямого вывода учитывает лишь очень простые связи между правилами. Методы распараллеливания вывода, ориентированные на конфлюэнтные продукции, которые обладают естественным параллелизмом и не накладывают никаких дополнительных условий на управление процессом вывода, из литературы не известны.
Поэтому актуальными проблемами являются развитие языка системы продукций, а также разработка подходов к распараллеливанию процесса логического вывода для конфлюэнтных систем продукций.
Целью диссертационной работы является разработка и исследование моделей и методов создания системы параллельного программирования на основе модульных конфлюэнтных продукций, в которых язык позволяет использование предметных, функциональных и предикатных имен и ограниченных логических и математических кванторов, имеет средства деления задачи на подзадачи и средства для более экономного представления повторяющихся фрагментов, поддерживаемые наличием модульности и подпрограмм в языках высокого уровня.
Для достижения поставленной цели в диссертационной работе необходимо решить следующие задачи:
1. Разработать расширенную модель продукционного языка и на ее основе расширенный язык, основанный на правилах, имеющий средства деления множества правил на модули и более экономного представления повторяющихся фрагментов.
2. Разработать и исследовать схемы распараллеливания процесса логического вывода для системы конфлюэнтных продукций, основанной на разработанной модели языка.
3. Разработать алгоритм управления выбором схем распараллеливания в процессе логического вывода.
4. Разработать методы реализации системы параллельного программирования.
5. Провести экспериментальное исследование системы параллельного программирования на реальных примерах.
Методы исследования. Для решения указанных задач использовались элементы математической логики, теории алгоритмов и исчислений, а также методы системного программирования, объектно-ориентированного программирования, параллельного программирования.
Научная новизна работы состоит в следующем: впервые разработана расширенная модель и на ее основе расширенный продукционный язык, особенностью которых является наличие средств для задания схем правил и их конкретизации, модулей и их вызовов, а также ограниченных кванторов; в рамках предложенной модели впервые разработаны схемы распараллеливания процесса логического вывода для системы конфлюэнтных продукций; получены оценки времени исполнения при различных схемах распараллеливания; впервые разработан алгоритм управления выбором схем распараллеливания в процессе логического вывода; приведено описание условий и ограничений, налагаемых средой выполнения системы и структурой информационного графа логической программы, учитываемых при выборе схем распараллеливания в процессе выполнения правил.
Практическая ценность работы состоит в том, чго разработана система параллельного программирования, которая может быть использована при создании параллельных систем, основанных на правилах, предназначенных для решения задач разных классов на многоядерных персональных компьютерах, а также на кластерах.
Научные результаты диссертационной работы использованы в Дальневосточном государственном университете в учебном процессе при чтении курса лекций по спецдисциплинам «Системы искусственного интеллекта» и «Рекурсивно-логическое программирование» студентам специальности 010503.65 - «Математическое обеспечение и администрирование информационных систем» и выполнении практических заданий по ним.
Результаты работы нашли применение в научных исследованиях сотрудников кафедры ПО ЭВМ Института математики и компьютерных наук ДВГУ и сотрудников лаборатории интеллектуальных систем ИАПУ ДВО РАН.
Получено свидетельство о государственной регистрации программы для ЭВМ №2010614810 «Распараллеливающий компилятор для языка, основанного на правилах». Авторы: Артемьева И.Л., Гютюнник М.Б. Зарегистрировано в Реестре программ для ЭВМ 23 июля 2010 г.
Апробация работы. Основные научные и практические результаты работы докладывались и обсуждались на следующих международных и отечественных конференциях и семинарах: Дальневосточной математической школе-семинаре имени академика Е.В. Золотова (Владивосток, Хабаровск, Находка, 2003-2008), открытом Дальневосточном конкурсе программных средств студентов, аспирантов и молодых специалистов «Программист» (Владивосток, 2004, 2010), II - V международных конференциях «Параллельные вычисления и задачи управления» (Москва, 2004, 2006, 2008, 2010), Международной конференции «Knowledge-Dialog-Solution» (Varna, Bulgaria, 2008), Международной конференции «First Russia and Pacific Conference on Computer Technology and Applications» (Vladivostok, Russia, 2010), Научной сессии МИФИ (Москва, 2006, 2007, 2008), Демидовской конференции «Фундаментальные и прикладные проблемы современной физики» (Москва, 2006), Международной научно-технической конференции «Искусственный интеллект. Интеллектуальные и многопроцессорные системы» (Кацивели, Украина, 2006, 2007), совместных семинарах отдела интеллектуальных систем ИАПУ ДВО РАН и базовой кафедры программного обеспечения ЭВМ ДВГУ при ИАПУ ДВО РАН (2005-2010).
Публикация результатов работы. По материалам диссертации опубликовано 28 печатных работ (работы [17-25,30-38,71-78,84,85]), из них 2 статьи в журналах, входящих в перечень ВАК (работы [25,37]).
Структура и объём работы. Диссертационная работа состоит из введения, пяти глав, заключения, списка литературы, включающего 100 наименований, и 2 приложений. Основная часть работы изложена на 127 страницах, включая 18 рисунков, 14 диаграмм и 10 таблиц.
Похожие диссертационные работы по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК
Автоматизация распараллеливания алгоритмов функционирования многопроцессорных систем2007 год, кандидат технических наук Новиков, Алексей Владимирович
Исследование и разработка методов выполнения функционально-параллельных программ2004 год, кандидат технических наук Кузьмин, Дмитрий Александрович
Модель параллельных вычислений визуального граф-ориентированного языка2000 год, кандидат технических наук Востокин, Сергей Владимирович
Гибридная модель параллельного программирования DVM/OpenMP2008 год, кандидат физико-математических наук Бахтин, Владимир Александрович
Распараллеливание программ для суперкомпьютеров с параллельной памятью и открытая распараллеливающая система2004 год, доктор технических наук Штейнберг, Борис Яковлевич
Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Тютюнник, Михаил Борисович
Заключение
1. Разработана модель расширенного продукционного языка. Модель определяет средства для задания схем правил и их кошфетизаций, содержит описание модулей и их вызовов, а также ограниченных кванторов. Язык допускает использование предметных, функциональных и предикатных символов, содержит теоретико-множественные операции и отношения, а также правила двух типов. Правила первого типа позволяют описывать действия, выполняемые над состояниями рабочей среды модуля, а правила второго типа - задавать условия вызова модулей правил. Модель языка определяет два типа правил вывода, позволяющих либо добавлять новые кортежи для объектов, имеющих функциональные или предикатные имена, либо исключать варианты для объектов с предметными именами.
2. На основе расширенной модели языка разработаны и исследованы схемы распараллеливания процесса логического вывода для системы конфлюэнтных продукций; описана организация процесса параллельного выполнения логического модуля, когда отдельному процессу предлагается роль диспетчера (управляющий процесс), остальным процессам - роль обрабатывающего процесса (зависимые процессы). Определение информационного графа обобщено на случай модульной! логической программы. Предложены следующие методы распараллеливания: на основе множества активных правил, на основе свойств информационного графа, для правил с префиксом, путем разбиения области значений объектов внутри правила, распараллеливание модулей, вызываемых из одного модуля, а также распараллеливание модульной программы.
3. Проанализированы условия и ограничения, налагаемые структурой информационного графа логической программы и средой выполнения системы. С учетом этих ограничений разработан алгоритм управления выбором схем распараллеливания в процессе логического вывода.
4. Разработаны методы реализации системы параллельного программирования, а таюке ее архитектура. Система включает в себя такие компоненты, как среда разработки модульных логических программ, компилятор, набор процедур поддержки процесса логического вывода и процедур взаимодействия с СУБД. Описана схема взаимодействия пользователей с системой, архитектурно-контекстные диаграммы компилятора и исполняемой программы.
5. В результате экспериментальных исследований свойств системы на различных наборах данных показана эффективность примененных схем распараллеливания процесса выполнения правил и алгоритма управления их выбором.
Список литературы диссертационного исследования кандидат технических наук Тютюнник, Михаил Борисович, 2010 год
1. Артемьева И.Л. и др. Инструментальный комплекс для реализации языков представления знаний. //Программирование. - 1983. - №4. - С. 78-89.
2. Артемьева ИЛ. и др. Развитие инструментального комплекса на базе реляционного языка. // Языки представления знаний и вопросы реализации экспертных систем. Владивосток. 1984. - С. 123-137.
3. Артемьева ИЛ. Методы недоопределенного вывода в системах продукций. // Управляющие системы и машины. 1991. - №7. - С. 88-93.
4. Артемьева И.Л. Разработка и исследование системы недоопределенного вывода для декларативных продукций. Дисс. . канд. техн. наук: 05.13.1 1: защищена 25.09.92: утв. 25.12.92 / Артемьева Ирина Леонидовна. Владивосток. - 1992. - 190 с.
5. Артемьева И.Л., Высоцкий В.И., Рештаненко Н.В. Модель онтологии предметной области (на примере органической химии). // НТИ. Сер.2. - 2005. - № 8. - С. 19-27.
6. Артемьева И.Л., Горбачев С.Б., Клещев A.C. и др. Вопросы реализации реляционного языка программирования. // Теоретические основы компиляции. Новосибирск. 1980. - С. 37-48.
7. Артемьева И.Л., Горбачев С.Б., Клещев A.C. и др. Инструментальный комплекс для реализации языков представления знаний. // Программирование. 1983,-№4.-С. 78-89.
8. Артемьева И.Л., Клещев A.C. Вывод в системах продукций с недоопреде-ленными объектами. Процесс рассуждений, определяемый модульной базой знаний. // Препр. Владивосток: ИАПУ ДВО АН СССР. 1992. - 31 с.
9. Артемьева И.Л., Клещев A.C. Вывод в системах продукций с недоопреде-ленными объектами. Процесс логического вывода. // Препр. Владивосток: ИАПУ ДВО АН СССР. 1992.-41 с.
10. Артемьева И.Л., Клещев A.C. Расширенная модель декларативных продукций. // Препр. Владивосток: ИАПУ ДВО АН СССР. 1991. - 36 с.
11. Артемьева И.Л., Клещев А.С и др. Оптимизация программ и вычислений для реляционного языка программирования. // Методы трансляции и конструирования программ. Новосибирск: ВЦ СО АН СССР. 1986. - С. 4349.
12. Артемьева И.Л., Клещев A.C. Необогащенные системы логических соотношений. Часть 1. // НТИ, сер. 2. 2000. - №7. С. 18-28.
13. Артемьева И.JT., Клещев A.C. Необогащенные системы логических соотношений. Часть 2. // НТИ, сер. 2. 2000. - №8. - С. 8-18.
14. Артемьева И.Л., Клещев A.C., Лифшиц А .Я. и др. Генератор экспертных систем СИНАП. Описание языка представления знаний. // Препр. Владивосток: ИАПУ ДВО АН СССР. 1987. - 35 с.
15. Артемьева И.Л., Клещев A.C., Лифшиц А .Я. и др. Генератор экспертных систем СИНАП. Описание ядра языка представления знаний. // Препр. Владивосток: ИАПУ ДВО АН СССР. 1987. - 45 с.
16. Артемьева И.Л., Лифшиц А.Я., Плис Г.Я. Принципы реализации генератора экспертных систем РЕПРО. // Методы и средства создания и исследования экспертных систем. Владивосток: ДВО АН СССР. 1991. -С. 118-129.
17. Артемьева И.Л., Тютюнник М. Б. Распараллеливающий компилятор для языка, основанного на правилах. Свидетельство о государственной регистрации программы для ЭВМ №2010614810.
18. Артемьева И.Л., Тютюнник М.Б. Анализ схем распараллеливания вычислении для системы конфлюэнтных продукций. // Научная сессия МИФИ-2006, сб. научн. тр. в 16 томах, т. 3, Москва: МИФИ. -2006. С. 128-129.
19. Артемьева И.Л., Тютюнник М.Б. Исследование распределенной системы логического программирования. // IV межд. конф. «Параллельные вычисления и задачи управления», Москва, 2008: сб. тр. Электронный ресурс. М.: ИПУ РАН. 2008. - С. 1150-1160.
20. Артемьева И.Л., Тютюнник М.Б. Модель модульного языка декларативных конфлюэнтных продукций с ограниченными кванторами. // Искусственный интеллект. НАНУ, Институт проблем искусственного интеллекта, Донецк. 2007. - №3. - С. 120-132.
21. Артемьева И.Л., Тютюнник М.Б. Модульная система конфлюэнтных продукций для многопроцессорной вычислительной системы. // Программные продукты и системы. 2007. - №2. - С. 38-39.
22. Артемьева И.Л., Тютюнник М.Б. Продукционная система РЕПРО-С. Интерфейс и компиляция логического модуля. // Препр. Владивосток: ИАПУ ДВО РАН. 2009. - 40 с.
23. Артемьева И.Л., Тютюнник М.Б. Продукционная система РЕПРО-С. Описание языка. Часть 1. // Препр. Владивосток: ИАПУ ДВО РАН. 2009. - 28 с.
24. Артемьева И.Л., Тютюнник М.Б. Продукционная система РЕПРО-С. Описание языка. Часть 2. // Препр. Владивосток: ИАПУ ДВО РАН. 2009. - 36 с.
25. Артемьева И.Л., Тютюнник М.Б. Продукционная система РЕПРО-С. Подсистема поддержки разработки. // Препр. Владивосток: ИАПУ ДВО РАН. -2009. 36 с.
26. Артемьева И.Л., Тютюнник М.Б. Прототип системы конфлюэнтных продукций для МВС-1000. // Информатика и системы управления. 2004. -№2.-С. 133-143.
27. Артемьева И.Л., Тютюнник М.Б. Распараллеливание процесса логического вывода для систем конфлюэнтных продукций. // Демидовская конференция «Фундаментальные и прикладные проблемы современной физики», Москва. 2006 г.
28. Артемьева И.Л., Тютюнник М.Б. Схемы распараллеливания вычислений для системы конфлюентных продукций. // Информатика и системы управления. 2005. - №2. - С. 102-112.
29. Артемьева И.Л., Тютюнник М.Б. Методы управления распараллеливанием вычислений в системе конфлюэнтных продукций. // Искусственный интеллект. НАНУ, Институт проблем искусственного интеллекта, Донецк. -2006. №4. -С. 107-117.
30. Артемьева И.Л., Тютюнник М.Б. Управление распараллеливанием логического вывода для системы, основанной на правилах. // Научно-технические ведомости СПбГПУ. 2008. - №3. - С.99-103.
31. Артемьева И.Л., Тютюнник М.Б. Экспериментальное исследование системы параллельного программирования. // Сб. научн. тр. научной сессии МИФИ-2008 в 15 томах. Т. 10 «Интеллектуальные системы и технологии» - 2008. Москва: МИФИ. - С. 97-98.
32. Артемьева И.Л., Яценко О.С. Модель декларативных продукций с обобщенными кванторами. // Преп. Владивосток: ИАПУ ДВО РАН. 1998. - 3 1 с.
33. Бобровский С. Как японцы компьютерный мир осчастливили. (088) 14х 1997. 15.04.1997. PC Week/RE. Электронный ресурс. URL: http://www.pcweek.ru/ themes/detail.php? 1D=41250. (дата обращения: 14.05.2010).
34. Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. М.: Мир. - 1990. - 560 с.
35. Вагин В.Н., Головина Е.Ю., Загорянская A.A., Фомина М.В. Достоверный вывод в интеллектуальных системах. // Под ред. В.Н. Вагина, Д.А. Поспелова. М.: ФИЗМАТЛИТ. - 2004. - 704 с.
36. Вагин В.Н., Еремеев А.П. Параллелизм в продукционных моделях представления знаний. // Техническая кибернетика. М.: Наука. 1994. - №2. - С. 48-55.
37. Виноградов А.Н., Жилякова Л.Ю., Осипов Г.С. Динамические интеллектуальные системы. 4.1. Представление знаний и основные алгоритмы. // Известия РАН. Теория и системы управления, М: Наука. 2002. - №6. - С.87- 94.
38. Гаврилов C.B., Малышков A.M., Плесневич Г.С. Бинарная модель данных и знаний. // КИИ-2002, Восьмая национальная конференция по ИИ с международным участием. Труды конференции, Том 1. Москва Физмаглит. -2002. С. 398-405.
39. Гладкий A.B. Формальные грамматики и языки. М.: Наука, 1973.
40. Еремеев А.П. Параллельная модель для продукционной системы табличного типа. // М.: Наука. 1990. - №5. - С. 171-180.
41. Жожикашвили A.B., Стефанюк В.Л. Алгебраическая теория продукционных систем. // Восьмая нац. конф. по искусственному интеллекту с между-нар. участием. Сб. тр. в 3 томах. Москва: Физматлит. 2002. - Т.1. - С. 428436.
42. Иванов A.C. Модель представления продукционных баз знаний на ЭВМ. // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2007. - Т. 7. - № 1. - С. 83-88.
43. Информационно-аналитический центр. Электронный ресурс. URL: http://parallel.ru/ (дата обращения: 14.05.2010).
44. Клещев A.C. Реляционная модель вычислений. // Программирование. -1980. -№4.-С. 20-29.
45. Клещев A.C. Математические основы информатики. Лекции по курсу. // Находка: Институт технологии и бизнеса. 2003. - 84 с.
46. Клещев A.C. Реализация экспертных систем на основе декларативных моделей представления знаний. // Препр. Владивосюк: ДВО АН СССР. -1988.-45 с.
47. Клещев A.C. Реляционный язык как программное средство для искусеi-венного интеллекта. // Преп. Владивосток: ДВНЦ АН СССР. 1980. - 17 с.
48. Клещев A.C., Артемьева И.Л. и др. Методы трансляции и конструирования программ, 1986.
49. Клещев A.C., Артемьева И.Л., Коган Б.И., Лифшиц А .Я. Матвеева Т.О. Орлова Л.Д., Плис ГЛ., Сысоева Э.Н. Система поддержки целостности реляционных баз данных для ЕС ЭВМ. // Алгоритмы и программы. 1986. -№6.-С. 11.
50. Клещев A.C., Самсонов В.В. МАКРОРЕПРО язык спецификации компиляции баз знаний в базы правил. // Препр. Владивосток: ДВО РАН. - 1992. -25 с.
51. Кузнецов И.П., Мацкевич А.Г., Семантико-ориентированные системы на основе баз знаний. // М.: Издательство МТУСИ. 2007. - 173 с.
52. Мальцев А.И. Алгебраические системы. // М.: Наука, гл.ред.физ.-мат. лит. 1970. - 392 с.
53. Матвеева Т.О. Оптимизация вычислений в системах декларативных продукций на основе анализа информационных графов. // Препр. Владивосток: ИАПУ ДВО PAII. 1992. - 37 с.
54. Нариньяни A.C. Недоопределенность в системах представления и обработки знаний. //Изв. АН СССР. Техн. кибернетика. 1986. - №5. - С. 3-28.
55. Параллельное программирование. Центр информационных технологий. Электронный ресурс. URL: http://itcentre.ru/programming/science-work/parallel-programming/ЗОб/ (дата обращения: 14.05.2010).
56. Попов Э.В. Экспертные системы: Решение неформализованных задач в диалоге с ЭВМ. // М.: Наука. Гл. ред. фпз.-мат. лиг. 1987. - 288 с.
57. Попов Э.В., Фридман Г.Р. Алгоритмические основы интеллектуальных роботов и искусственного интеллекта. // М.: Наука. 1976. - 455 с.
58. Родзина О.Н. Кластерная обработка продукционных правил в базе знаний интеллектуальных САПР. // Известия Южного федерального университета. Технические науки. 2009. - Т. 93. - № 4. - С. 141-146.
59. Савяк В. Эффективные кластерные решения. 2002. Электронный ресурс. URL: http://www.ixbt.com/cpu/clustering.shtml (дата обращения: 14.05.2010).
60. Самсонов В.В., Сорокин B.C., Черняховская М.Ю. Экспериментальная медицинская экспертная система Консультант-2. // Проблемы проектирования экспертных систем: Тез. Докл. Всесоюз. школы-совещания. 4.2 Москва. 1988.-С. 238-239.
61. Стефанюк B.JL, Жожикашвили A.B. Сотрудничающий компьютер: проблемы, теории, приложения. // Ин-т проблем передачи информ. РАН. М.: Наука. - 2007. - 274 с.
62. Тютюнник М.Б. Выбор схем распараллеливания вычислений в системе конфлюэнтных продукций. // ХХХГ Дальневосточная математическая школа-семинар им. академика Е.В.Золотова: тезисы докладов. Владивосток: Изд-во ИПМ ДВО РАН. 2006. - С. 200.
63. Тютюнник М.Б. Методы реализации параллельной системы продукций. // XXXII Дальневосточная математическая школа-семинар им. академика Е.В.Золотова: тезисы докладов. Владивосток: Изд-во ИПМ ДВО РАН. -2008. С. 34-35.
64. Тютюнник М.Б. Прототип продукционной системы параллельного программирования. // Тез. докл. открытого Дальневосточного конкурса программных средств студентов, аспирантов и молодых специалистов. 2004. - С. 45-49.
65. Тютюнник М.Б. Система параллельного логического программирования РЕПРО-С. // Тез. докл. Открытого Дальневосточного конкурса программных средств студентов, аспирантов и молодых специалистов. — 2010. С. 20-23.
66. Тютюнник М.Б. Экспериментальное исследование прототипа параллельной системы продукций. // XXXII Дальневосточная математическая школа-семинар им. академика Е.В.Золотова: тезисы докладов. Владивосток: Изд-во ИПМ ДВО РАН. 2007.
67. Успенский В.А., Семенов А.А. Теория алгоритмов: основные открытия и приложения. // М: Наука. 1987. - 288 с.
68. Уинстои П. Искусственный интеллект. // М.: Мир. 1980.
69. Уотермен Д. Руководство по экспертным системам: Пер. англ. // М.: Мир. -1989.-388 с.
70. Черняховская М.Ю. Представление знаний в экспертных системах медицинской диагностики. // Владивосток, ДВНЦ АН СССР. 1983. - 212 с.
71. Яхно Т.М. Системы продукций: структура, технология, применение. // Новосибирск: ВЦ СО АН СССР. 1990. - 127 с.
72. Artemieva I.L., Tyutyunnik М.В. Parallel Logical Inference for Confluent Rule-Based System. // First Russia and Pacific Conference on Computer Technology and Applications (RPC 2010): Electronic res.. Vladivostok, Russia. 2010. -P. 171-176.
73. Bhawmik S., Athawale P.V., Palchaudhuri P. KET A tool for building expert systems. // Institution of Electronics and Telecommunication Engineers. - 1988. -Vol 34.-№3.-P. 184-192.
74. Duda R. et al. Model design in PROSPECTOR consultant system for mineral exploration. // Expert Systems in the Microelectronic Age. Edinburgh University Press. 1979. - P. 153-167.
75. Feigenbaum E. The art of artificial intelligence: Themes and case studies of knowledge engineering. // The fifth International Joint Conference of Artificial Intelligence. Boston: MIT. 1977. - P. 1014-1029.
76. Forgy C. RETE: A fast algorithm for many pattern/many object pattern match problem. //Artificial Intelligence. 1982. - Vol. 19. - P. 17-38.
77. Funabashi M., Mori K. Knowledge based control systems software for building expert systems EUREKA-II. // Hitachi Rev. 1998. - V. 37. - №4. - P. 267-274.
78. Gupta A., Pandarung N., Rosenbloom P. Comparison of the Rete and Treat Productio Matchers for Soar (A Summary). // Pr. AAAI-88. 1988. - Vol. 2. - P. 693-698.
79. Ishida T. Optimizing Rules in Production System Programs. // Pr. AAAI-88. -1988. Vol.2. - P. 699-704.
80. McDermott J. et al. The efficiency of certain production system implementation. //Pattern-Directed Inference Systems. 1978. - P. 155-176.
81. Miranker D.P. TREAT: A Better Match Algorithm fo A1 Production Systems. // Pr. AAAI-87. 1987. - Vol. 2. - P. 42-47.
82. Post E. Formal reduction of the general combinatorial. // Am. J. Math. 1943. -Vol. 65.-№2. - P. 197-215.
83. RIF Production Rule Dialect. W3C Working Draft 11 February 2010. Электронный ресурс. URL: http://www.w3.org/TR/2010/WD-rif-prd-20100211/ (дата обращения: 14.05.2010).
84. RIF Use Cases and Requirements. W3C Working Draft 18 December 2008. Электронный ресурс. URL: http://www.w3.org/TR/rif-ucr/ (дата обращения: 14.05.2010).
85. Shortliffe E.H. Computer-based medical consultation: MYCIN. // NY: Academician Elsevier. 1976.
86. Van Melle. A domain independent production rule system for consultation programs. // Proc. Of IJCAI-6. Tokyo. 1979. - P. 923-925.
87. Vere S.A. Relational production systems. // Artificial Intelligence. 1977. - №8. - P. 47-68.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.