Машины логического вывода на основе теории параллельных дедуктивных и абдуктивных вычислений тема диссертации и автореферата по ВАК РФ 05.13.13, доктор технических наук Страбыкин, Дмитрий Алексеевич

• Страбыкин, Дмитрий Алексеевич
• доктор технических наук
• 1999

Оглавление диссертации доктор технических наук Страбыкин, Дмитрий Алексеевич

ВВЕДЕНИЕ.

1. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ

ДЛЯ ДЕДУКТИВНОГО И АБДУКТИВНОГО ВЫВОДА.

1.1. Анализ машин и методов логического вывода.

1.1.1. Машины логического вывода.

1.1.2. Формальные системы и методы.

1.2. Исчисление высказываний 1.

1.2.1. Исходный базис.

1.2.2. Основные теоремы и производные правила вывода.

1.2.3. Вывод логических следствий.

1.3. Дедуктивный вывод делением дизъюнктов.

1.3.1. Метод параллельного дедуктивного вывода.

1.3.2. Модификация метода.

1.3.3. Методы резолюции и деления дизъюнктов.

1.4. Абдуктивный вывод делением дизъюнктов.

1.4.1. Задача абдуктивного вывода.

1.4.2. Построение абдуктивных объяснений.

1.4.3. Метод параллельного абдуктивного вывода.

1.4.4. Абдукция и индукция в логике высказываний.

1.5. Выводы по главе 1.

2. МЕТОДЫ ПАРАЛЛЕЛЬНОГО ЛОГИЧЕСКОГО ВЫВОДА ДЕЛЕНИЕМ ДИЗЪЮНКТОВ.

2.1. Исчисление предикатов IP.

2.1.1. Исходный базис.

2.1.2. Преобразование произвольных выражений в множество дизъюнктов.

2.1.3. Унификация литералов.

2.2. Базовый метод дедуктивного вывода.

2.2.1. Частичное деление дизъюнктов.

2.2.2. Полное деление дизъюнктов.

2.2.3. Базовая процедура вывода.

2.2.4. Базовый метод вывода.

2.2.5. Эффективность метода.

2.3. Обобщенный метод дедуктивного вывода.

2.3.1. Связанные дизъюнкты и согласование решений.

2.3.2. Модифицированное частичное деление дизъюнктов.

2.3.3. Модифицированное полное деление дизъюнктов.

2.3.4. Обобщенная процедура вывода.

2.3.5. Обобщенный метод параллельного вывода.

2.4. Метод абдуктивного вывода.

2.4.1. Особенности абдуктивного логического вывода.

2.4.2. Формирование дополнений и процедура вывода.

2.4.3. Согласование значений общих переменных.

2.4.4. Построение абдуктивных объяснений.

2.4.5. Метод параллельного абдуктивного вывода.

2.5. Выводы по главе 2.

3. РАЗРАБОТКА МОДЕЛИ ПАРАЛЛЕЛЬНЫХ ЛОГИЧЕСКИХ ВЫЧИСЛЕНИЙ.

3.1. Анализ моделей вычислений.

3.1.1. Краткая характеристика.

3.1.2. Параллельные логические вычисления.

3.2. Основы языка логического программирования

АЛОГ.

3.3. Модель параллельных логических вычислений.

3.3.1. Дедуктивные логические вычисления.

3.3.2. Детализация схемы логических вычислений.

3.3.3. Процессы абдуктивного вывода.

3.3.4. Особенности модели.

3.4. Выводы по главе 3.

4. РАЗРАБОТКА АРХИТЕКТУРЫ И ПРОГРАММ АБСТРАКТНОЙ

МАШИНЫ ПАРАЛЛЕЛЬНОГО ЛОГИЧЕСКОГО ВЫВОДА.

4.1. Анализ архитектуры параллельных ЭВМ.

4.1.1. Особенности архитектуры мультипроцессорных ЭВМ.

4.1.2. Особенности архитектуры машин логического вывода.

4.2. Абстрактная АЛОГ-машина.

4.2.1. Назначение абстрактной машины.

4.2.2. Система данных.

4.2.3. Система команд.

4.3. Интерпретатор АЛОГ-программ.

4.3.1. Логический вывод.

4.3.2. Шаг вывода.

4.3.3. Вычисление признаков.

4.3.4. Согласование решений.

4.4. Организация абстрактных многопроцессорных машин.

4.4.1. Потоковая машина.

4.4.2. Объектно-ориентированная машина.

4.4.3. Машина на основе принципа концентрации ресурсов.

4.5. Выводы по главе 4.

5. ИССЛЕДОВАНИЕ ПРИНЦИПОВ ОРГАНИЗАЦИИ И ФУНКЦИОНИРОВА

НИЯ ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ МАШИН И РАЗРАБОТКА АРХИТЕКТУРЫ ПРОЦЕССОРА ЛОГИЧЕСКОГО ВЫВОДА.

5.1. Организация параллельных ЭВМ.

5.1.1. Особенности структуры параллельных ЭВМ.

5.1.2. Особенности структуры машин логического вывода.

5.2. Организация машин логического вывода методом деления дизъюнктов.

5.2.1. Анализ подходов к построению машин.

5.2.2. Четырехуровневая машина с директивным управлением.

5.2.3. Трехуровневая машина с потоковым управлением.

5.2.4. Двухуровневая машина с запросным управлением.

5.2.5. Одноуровневая машина на основе принципа концентрации ресурсов.

5.3. Архитектура процессора логического вывода.

5.3.1. Форматы данных.

5.3.2. Программно-доступные регистры.

5.3.3. Система команд и подпрограмм.

5.3.4. Подпрограмма унификации литералов.

5.3.5. Организация процессора.

5.4. Выводы по главе 5.

6 АНАЛИЗ ЭФФЕКТИВНОСТИ И ПРИМЕНЕНИЕ МАШИН ЛОГИЧЕСКОГО ВЫВОДА.

6.1. Анализ эффективности многопроцессорных машин логического вывода.

6.1.1. Показатели относительной эффективности архитектурно-структурных решений

6.1.2. Оценка производительности.

6.1.3. Оценка информационной, обменной и аппаратной сложности.

6.1.4. Сравнительный анализ эффективности.

6.2. Система моделирования машин логического вывода.

6.2.1. Общая характеристика системы.

6.2.2. Программные модели.

6.2.3. Интерфейс пользователя.

6.3. Логический вывода в диалоговых системах управления

6.3.1. Диалоговые системы управления.

6.3.2. Применение логического вывода.

6.4. Выводы по главе 6.

Введение диссертации (часть автореферата) на тему «Машины логического вывода на основе теории параллельных дедуктивных и абдуктивных вычислений»

Актуальность проблемы. Актуальной проблемой теории и практики вычислительных систем является создание высокопроизводительных машин логического вывода. Актуальность этой проблемы обусловлена тем, что одно из основных направлений развития современных вычислительных систем заключается в переходе от архитектуры, ориентированной на обработку данных, к архитектуре, ориентированной на обработку знаний. Важнейшую роль в обработке знаний играет логический вывод. Машина логического вывода (MJIB) является основным компонентом вычислительных систем, ориентированных на обработку знаний, и во многом определяет их характеристики. Создание высокопроизводительных вычислительных систем обработки знаний диктуется потребностью практики, поскольку использование методов искусственного интеллекта при решении задач в таких областях, как обработка изображений, машинное зрение, семантический анализ речи, обработка радиолокационных, сейсмических, метеорологических, медицинских и других данных позволяет перейти на качественно новый уровень.

Проблема создания высокопроизводительных MJIB имеет три составляющие.

Первая составляющая связана с разработкой методов логического вывода. Здесь, вероятно, отправным методом следует считать разработанный Дж. Робинсоном (1965 г.) метод резолюций. Существуют и другие не менее сильные методы логического вывода: метод Маслова, вывод на основе интерпретаций Бета, сравнений по образцу (pattern matching) и др. Тем не менее, именно для метода резолюций была разработана Р. Ковальским идея процедурной интерпретации логического вывода, которая дала начало собственно логическому программированию как языку, технологии и парадигме. Несомненно, что среди языков логического программирования ведущее место в этом отношении занимает язык ПРОЛОГ и его многочисленные версии. Создание программного обеспечения для описания задачи и реализации логического вывода образуют вторую составляющую проблемы.

Наконец, третья важнейшая составляющая проблемы создания высокопроизводительных МЛВ - это аппаратная поддержка логического вывода, необходимость которой обусловлена следующими причинами: переборным характером процедур вывода; использованием сложных нетрадиционных структур данных ; наличием специфических операций, не имеющих аналогов в других вычислениях.

Весьма продуктивным здесь оказался подход, основанный на использовании абстрактных ПРОЛОГ-машин, и, прежде всего, широко известной абстрактной машины Д. Уоррена.

Большинство современных машин логического вывода реализовано на базе ПРОЛОГ-процессоров, основным недостатком которых является низкая производительность. Чтобы повысить быстродействие ПРОЛОГ-машин, были предприняты попытки модифицировать "чистый" ПРОЛОГ в его параллельные версии. Однако должного эффекта не было достигнуто, поскольку в основе языка ПРОЛОГ лежит последовательный принцип SLD-резолюции. Производительность созданных ПРОЛОГ-машин не превышает уровня 10 MLIPS, в то время как для масштабных задач требуется производительность порядка 1 GLIPS.

Таким образом, перед разработчиками перспективных средств вычислительной техники встала важная научно-техническая проблема создания высокопроизводительных машин логического вывода на основе новых методов логического вывода и не традиционных архитектурно-структурных решений .

Основная часть исследований, посвященных теории и методам логического вывода, проводится в России под эгидой Ассоциации искусственного интеллекта. Большое влияние на развитие исследований в этой области искусственного интеллекта оказали работы Д.А. Поспелова, Г.С. Осипова, В.Н. Вагина, В.К. Финна, В.Ф. Хорошевского, Е.А. Сидоренко и др. Теоретические основы построения высокопроизводительных проблемно-ориентированных вычислительных систем были заложены в работах Э.В. Евреинова, Ю.Т. Косарева, И. В. Прангишвили, В. Б. Смолова, Е.П. Балашова, Д. В. Пу-занкова, А.В. Каляева, В.В. Корнеева и др. Важные результаты на пути создания высокопроизводительных ПРОЛОГ-машин получили В.А. Вишняков, Д.Ю. Буландже, О.В. Герман, B.C. Фомичев, А.И. Водяхо, А.А. Власов и др.

В предлагаемой работе решение данной проблемы рассматривается в рамках научного направления "Высокопроизводительные системы обработки данных и знаний"' .

Предметом исследования являются высокопроизводительные машины логического вывода: формы представления знаний, виды и методы логического вывода, вычислительные модели, архитектура, программирование, организация и применение .

Целью работы является разработка методов и средств повышения производительности машин дедуктивного и абдуктивного вывода на знаниях за счет организации параллельных логических вычислений.

В соответствии с поставленной целью в работе формулируются и решаются следующие основные задачи.

1. Разработка основ теории параллельных дедуктивных и абдуктивных вычислений, в том числе: построение формальных систем для представления знаний, позволяющих проводить параллельный логический вывод;

- разработка методов параллельного дедуктивного вывода;

- разработка методов параллельного абдуктивного вывода .

2. Разработка и исследование модели вычислений и абстрактной машины логического вывода, в том числе:

- разработка основ языка декларативного логического программирования;

- разработка модели параллельных логических вычислений для дедуктивного и абдуктивного вывода;

- разработка архитектуры абстрактной машины параллельного логического вывода и интерпретатора языка декларативного логического программирования;

- исследование подходов к реализации абстрактной машины логического вывода.

3. Разработка и исследование принципов организации, функционирования и реализации высокопроизводительных машин логического вывода, в том числе:

- разработка структур и алгоритмов функционирования многопроцессорных машин логического вывода;

- разработка базовых архитектурно-структурных решений для создания быстродействующих процессоров логического вывода;

- исследование вопросов оценки эффективности и применения машин логического вывода.

Методы исследования основаны на использовании теории множеств и теории графов, математической логике, теории моделирования, теории вычислительных систем и логического программирования, методов научного анализа и синтеза.

Научная новизна. В результате проведенных исследований получены следующие научные результаты.

1. Для представления знаний в машинах логического вывода предложена формальная система - исчисление высказываний I, отличающаяся от известных набором аксиом и правил доказательства, а также не традиционной экспликацией логического следования. На основе исчисления I разработано исчисление предикатов первого порядка IP, в котором доказаны необходимые теоремы и производные правила вывода, позволяющие применять известные способы преобразования произвольных выражений исчисления IP в дизъюнкты и проводить логический вывод.

2. Разработаны методы параллельного дедуктивного и абдуктивного логического вывода на знаниях, представленных выражениями исчисления высказываний I, названые методами деления дизъюнктов, которые отличаются от известных содержанием выполняемых преобразований и широкими возможностями по распараллеливанию вычислений.

3. Разработаны методы параллельного дедуктивного и абдуктивного логического вывода на знаниях, представленных выражениями исчисления предикатов IP. Методы отличаются от известных содержанием выполняемых преобразований и широкими возможностями по распараллеливанию вычислений. Кроме того, в отличие от известных методов разработанный метод абдуктивного вывода способен порождать не только однолитеральные, но и многолитеральные дополнительные посылки .

4. Разработаны основы языка декларативного программирования - АЛОГ. Семантика языка АЛОГ базируется на методах параллельного дедуктивного и абдуктивного вывода, разработанных в рамках исчисления предикатов IP. Отличительными особенностями языка являются: использование дизъюнктов общего вида, возможность представления заключения конъюнкцией дизъюнктов, ориентация на получение множества решений, полная декларативность.

5. Разработана многоуровневая модель параллельных логических вычислений для дедуктивного и абдуктивного вывода методом деления дизъюнктов, отличающаяся от известных наличием четырех типов параллелизма, присущих методу деления дизъюнктов.

6. Разработана абстрактная машина параллельного логического вывода и интерпретатор языка декларативного логического программирования, позволяющие уменьшить семантический разрыв между архитектурой машины логического вывода и средой, в которую ее помещают при реализации. Исследованы возможности реализации абстрактной машины параллельного логического вывода в системах с директивным, потоковым и запросным механизмом управления.

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

Практическая ценность. Практическую ценность представляют: программы решения логических задач, многоуровневые структуры многопроцессорных машин, архитектура и структура процессора логического вывода с быстрым переключением контекста, система моделирования многопроцессорных машин логического вывода на базе локальной вычислительной сети, организация диалоговых систем управления процессами и приборами. Совокупность полученных в диссертации результатов позволяет ставить и решать разнообразные задачи проектирования и применения высокопроизводительных машин логического вывода, однако разработанные методы и архитектурно-структурные решения могут быть также использованы при построении машин и диалоговых систем управления умеренной и средней производительности.

Достоверность и эффективность. Достоверность полученных в диссертации выводов подтверждается: строгими математическими доказательствами, результатами теоретических расчетов, результатами имитационного моделирования выполненных разработок, а также результатами практического использования. Эффективность предложенных методов, методик и структурных решений доказана при разработке диалоговых систем управления различного назначения, выполненных по заказам научно-исследовательских и промышленных организаций, что подтверждается актами о внедрении научно-исследовательских работ.

Внедрение результатов. Диссертационная работа является обобщением результатов, полученных автором в Ленинградском электротехническом институте им. В. И. Ульянова /Ленина/ и в Вятском государственном техническом университете в процессе выполнения в 1975-1998 годах научно-исследовательских работ, в том числе: "Диалоговые микропроцессорные системы управления цифровыми приборами" (Ленинград, КБ "Импульс"), "Применение микропроцессорных систем в высшей школе. Диалоговые микропроцессорные системы управления экспериментальными установками" (Г/б № 6.30.11), "Теория и применение машин логического вывода" в рамках проблемного совета "Высокопроизводительные системы обработки данных и знаний" АТН РФ).

Результаты исследований внедрены в серийное производство в составе первых отечественных приборов со встроенными диалоговыми системами управления "Генератор импульсов Г5-90" и "Ритмокардиоскоп РКС-02", а также использованы в лабораторных установках по микропроцессорной технике. Теоретические и практические материалы диссертации использованы в учебном процессе Вятского государственного технического университета при разработке лекционных курсов и лабораторных практикумов по дисциплинам: "Организация ЭВМ, комплексов и систем", "Микропроцессоры и микропроцессорные системы" и "Системы искусственного интеллекта". Написаны и опубликованы три учебных пособия.

Апробация работы. Основные научные и практические результаты исследований по теме диссертации докладывались и обсуждались на Всесоюзной конференции "Однородные вычислительные системы и среды" (Киев, 1975), Всесоюзных совещаниях "Микропроцессоры" (Рига, 1975, 1978), Всесоюзном совещании "Автоматизация проектирования средств вычислительной техники и перспективы применения микропроцессоров" (Минск, 1978), IV Всесоюзном научно-техническом совещании "Интерактивная технология в САПР" (Таллин, 1981), областных научно-практических конференциях "Научный потенциал вузов народному хозяйству" (Киров, 1987, 1989), IV Национальной конференции с международным участием "Искусственный интеллект-94" (Рыбинск, 1994), научно-технических конференциях "Диагностика, информатика, метрология, экология, безопасность" (Санкт-Петербург, 1995, 1997), международной конференции "Новые информационные технологии и системы" (Пенза, 1996), II международной научно-технической конференции "Моделирование и ис

15 следование сложных систем" (Москва, 1998), региональной научно-технической конференции "Наука-производство-технология-экология" (Киров, 1998), VI научно-технической конференции "Искусственный интеллект - 98" (Пущино, 1998).

Под руководством автора по тематике исследований выполнены и успешно защищены три кандидатские диссертации.

Публикации. Материалы диссертации опубликованы в 63 работах. Из них одна монография, 3 учебных пособия, 2 9 статей, 16 тезисов докладов на научных конференциях, 14 авторских свидетельств.

Структура и объем диссертации. Диссертация состоит из введения, шести глав, заключения, списка использованной литературы, включающего 222 наименования, и четырех приложений. Основная часть работы изложена на 2 99 страницах машинописного текста. Работа содержит 81 рисунок и 19 таблиц.

Заключение диссертации по теме «Телекоммуникационные системы и компьютерные сети», Страбыкин, Дмитрий Алексеевич

6.4. Выводы по главе 6

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

2. Разработана диалоговая система моделирования многопроцессорных машин логического вывода, которая дает возможность проверить корректность алгоритмов функционирования основных типов машин логического вывода, использующих метод деления дизъюнктов. Кроме того, статистические данные, получаемые с помощью системы моделирования, могут служить основой для определения оптимальной конфигурации многопроцессорной машины логического вывода, ориентированной на решение того или иного класса задач. Развитый дружественный интерфейс пользователя делает систему пригодной для применения в учебном процессе.

3. Выделен комплекс аппаратно-программных средств, названный диалоговыми системами управления (ДСУ), обеспечивающий управление сложными объектами и процессами в режиме диалога. Определен диапазон функций, разработана функциональная структура и методические рекомендации по

356 проектированию ДСУ. Эффективность предложенного подхода подтверждается разработкой и внедрением ряда ДСУ. На примере ДСУ системы управления энергообъединением и установки автоматического контроля качества пиломатериалов показана целесообразность и эффективность использования машин логического вывода методом деления дизъюнктов. Кроме этого показана целесообразность применения логического вывода методом деления дизъюнктов при решении антитрестовских задач.

357

ЗАКЛЮЧЕНИЕ

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

При решении проблемы в диссертационной работе получены следующие результаты.

1. Предложена формальная система - исчисление высказываний I. Введено производное правило вывода, названное правилом предположения. Доказана теорема, связывающая понятие логического следования с понятием противоречивости для логического вывода с помощью правила предположения. Введена операция деления дизъюнктов и определена процедура вывода, которые в совокупности с правилом предположения составляют основу параллельного логического вывода.

2. Разработаны методы параллельного дедуктивного и абдуктивного логического вывода на знаниях, представленных выражениями исчисления I. Методы работают с дизъюнктами общего вида и сочетают в себе прямой и обратный вывод. Показано, что поскольку метод абдуктивного вывода способен порождать не только недостающие факты, но и посылки общего вида, описываемые конъюнкциями дизъюнктов, а выразительные возможности логики высказываний не позволяют провести четкую грань между абдукцией и индукцией, то разработанный метод является также и методом индуктивного логического вывода.

3. Предложена формальная система - исчисление предикатов IP, являющаяся расширением исчисления высказываний I. В исчислении IP доказаны необходимые теоремы, позволяющие проводить логический вывод. Определены понятия частичного и полного деления дизъюнктов и разработана процедура вывода. Определено понятие связанных выводимых дизъюнктов и разработана процедура согласования значений их общих переменных в решениях, полученных при независимом логическом выводе дизъюнктов.

4. Разработаны методы параллельного дедуктивного и абдуктивного логического вывода на знаниях, представленных выражениями предикатов первого порядка. Логический вывод методами деления дизъюнктов характеризуется четырьмя уровнями параллелизма (системы дизъюнктов, дизъюнкты, остатки, литералы). Установлено, что логический вывод обобщенным методом может протекать параллельно даже в случае рекурсивного характера исходных правил. Показано, что метод абдуктивного вывода позволяет получать многолитеральные дополнительные посылки, обеспечивающие дедуктивный логический вывод целого класса заключений.

5. Разработаны основы декларативного языка логического программирования АЛОГ. Семантика языка АЛОГ основана на методах параллельного дедуктивного и абдуктивного вывода, разработанных в рамках исчисления предикатов первого порядка IP.

6. Разработана иерархическая модель параллельных логических вычислений для дедуктивного и абдуктивного вывода. В модели поддерживаются все четыре типа параллелизма, присущие методу деления дизъюнктов. Модель является описанием параллельных вычислений при неограниченных ресурсах .

7. Разработана абстрактная векторная машина параллельного логического вывода. С помощью векторов представляются системы дизъюнктов, отдельные дизъюнкты, литералы, функторы, подстановки, решения и т.п. Особенностью представления данных является возможность применения векторной обработки информации для данных со сложной иерархической структурой. Определена система команд машины, которая характеризуется специфическим составом операций, преобладанием векторных и групповых операций, применением специальных команд для организации параллельных вычислений .

8. Разработана программа абстрактной машины параллельного логического вывода - интерпретатор АЛОГ-программ. В отличие от программ на языке АЛОГ, которые фактически выражают условия логических задач, разработанная программа представляет собой алгоритм логического вывода, записанный с помощью системы команд абстрактной машины, и ее можно считать неизменной.

9. Исследованы три подхода к построению машины логического вывода методом деления дизъюнктов: реализация модели параллельных вычислений и абстрактной машины в виде вычислительной системы с потоковым, запросным и директивным управлением. Сформулирован принцип (принцип концентрации ресурсов) и разработан способ организации вычислительных процессов в многопроцессорной машине логического вывода.

10. Определено множество вариантов построения многопроцессорной машины логического вывода в зависимости от

360 числа уровней и распределения основных вычислительных процессов по уровням кластерной организации. Исследованы четыре общих структуры многопроцессорных машин логического вывода.

11. Разработана и исследована архитектура быстродействующего процессора логического вывода с тегированным представлением данных, специальным сокращенным набором команд и организацией общих регистров в виде трехкоорди-натного регистрового файла с динамическим выделением программам необходимого числа регистров в виде глобальных и локальных кадров.

12. Исследованы вопросы оценки эффективности высокопроизводительных машин логического вывода и применения логического вывода в диалоговых системах управления. Разработаны методические рекомендации по проектированию диалоговых систем управления.

362

Список литературы диссертационного исследования доктор технических наук Страбыкин, Дмитрий Алексеевич, 1999 год

1. Амаяма М., Танака Ю. Архитектура ЭВМ и искусственный интеллект: Пер. с япон. - М.: Мир, 1993.

2. Анкудинов Г.И. Синтез структуры сложных объектов. Логико-комбинаторный подход. Л.: ЛГУ, 1986.

3. Балашов Е.П. Эволюционный синтез систем.- М.: Радио и связь, 1985.

4. Балашов Е.П., Пузанков Д.В. Проектирование информационно-управляющих систем. М. Радио и связь, 1987.

5. Балашов Е.П., Пузанков Д.В., Страбыкин Д.А. Многофункциональное использование элементов в вычислительных устройствах // Кибернетика. 1983. - № 6. - С. 39-44.

6. Барановский А.А., Матвеев В.Д., Страбыкин Д.А. Автоматизированная система оперативного врачебного контроля на основе микроЭВМ / КирПИ. Киров, 1980. -5 с. -Деп. ЦНИИТЭИ приборостроения 12.06.81, № 1510.

7. Борзенко И.М. Адаптация, прогнозирование и выбор решения в алгоритмах управления технологическими объектами. М.: Энергоатомиздат, 1984.

8. Братко И. Программирование на языке Пролог для искусственного интеллекта: Пер. с англ. М.: Мир. 1990.

9. Буланже Д.Ю. Абстрактная архитектура процессора логического вывода // Системы и средства информатики. -1990 Вып. 1. С.13-89.

10. Бурцев B.C. Тенденции развития суперЭВМ. / Вычислительные машины с нетрадиционной архитектурой. СуперЭВМ. М., 1990. С. 3-26.

11. Бусленко Н.П. Моделирование сложных систем. -М.: Наука, 1975.

12. Вагин В.Н. Дедукция и обобщение в системах принятия решений. М. : Наука. Гл. Ред. Физ. -мат. лит. 1988. -(Пробл. искусств, интеллекта).

13. Вагин В.Н., Луцкий К.В. Абдуктивный вывод в системах принятия решений. //Сб. научных трудов Национальной конференции с международным участием "Искусственный интеллект 94". Рыбинск. 1994, том 2.

14. Вагин В.Н., Салапина Н.О. Программная реализация системы параллельного вывода PIS с использованием графа связей. // КИИ-98 Шестая национальная конференция с международным участием. Сб. науч. тр. Пущино 1998. т.1. -с. 250-256.

15. Вишняков В.А., Буланже Д.Ю., Герман О.В. Аппаратно-программные средства процессоров логического вывода. М.: Радио и связь. 1991.

16. Водяхо А.И., Горнец Н.Н., Пузанков Д.В. Высокопроизводительные системы обработки данных: Учебное пособие для вузов.- М.: Высш. шк., 1997.

17. Водяхо А.И., Долженкова М.Л. Объектно-ориентированная модель логических вычислений // Сборник научных трудов ВятГТУ. Киров, 1998. - с. 234-240.

18. Водяхо А.И., Мельцов В.Ю. Страбыкин Д.А. Система параллельного логического вывода // Структуры и математическое обеспечение вычислительных средств. С-Пб., 1994, С. 60-64. (Изв. ТЭТУ; Вып. 476).

19. Водяхо А.И., Смолов В.В., Плюснин В.У., Пузанков Д.В. Функционально ориентированные процессоры Л.: Машиностроение. 1988.

20. Воеводин В.В. Математические модели и методы в параллельных процессах. М.: Наука, 1986.

21. Высокоскоростные вычисления. Архитектура, производительность, прикладные алгоритмы и программы суперЭВМ. / Ред. Я. Ковалик. М.: Радио и связь, 1988.

22. Гаек П., Гавранек Т. Автоматическое образование гипотез: математические основы общей теории. М. : Наука. Гл. Ред. Физ. -мат. лит., 1984.

23. Гордиенко Е.К., Захаров В.Н. Управление процессами в базах знаний // Изв. АН СССР. Техн. кибернетика. 1989.- N 5. - С.175-193.

24. Гордиенко Е.К., Захаров В.Н., Миронов А.Ю. Реализация параллельных алгоритмов логического вывода в матричной однородной среде // Изв. АН СССР. Техн. кибернетика. 1989.- N 5.

25. Гото А., Танака X., Мотоока Т. Высокопараллельный механизм вывода модель трансформации целей и архитектура машины. // Язык Пролог в пятом поколении ЭВМ. - М. :Мир, 1988.-с.262-309.

26. Диринг М.Ф. Архитектура машин для искусственного интеллекта // Реальность и прогнозы искусственного интеллекта. М., 1989.- С. 209-230.

27. Добрых К.П., Страбыкин Д.А. Пакет программ для лабораторного практикума по архитектуре микроЭВМ // Наука-производство-технология-экология: Сб. материалов регион. науч.-техн. конф., Киров, 14-28 мая 1998 г. Киров, 1998. - Т. 1. - С. 73-74.

28. Долженкова M.J1. Объектно-ориентированная машина абдуктивного логического вывода. Автореферат диссертации на соискание ученой степени канд. тех. наук. С.-Пб., 1998 .

29. Долженкова M.JT. Параллельная система логического вывода/ ВятГТУ. М.,1996. - Деп. в ВИНИТИ, №3585 - В96.

30. Долженкова M.JI., Страбыкин Д.А. Метод построения логического вывода для не полностью определенных задач / КирПИ. Киров, 1993. -15 с. - Деп. ВИНИТИ 12.09.93, № 2559-В93.

31. Долженкова М.Л., Страбыкин Д.А. Объектно-ориентированная машина абдуктивного логического вывода // ВЕСТНИК ВВО АТН РФ, Сер. Высокие технологии в радиоэлектронике. 1998. - № 2 (б). - С. 32-36.

32. Долженкова М.Л., Страбыкин Д.А. Организация параллельной системы логического вывода // Новые информационные технологии и системы: Матер, междунар. конф. Пенза, 1996. -Ч. 1.- С. 45-46.

33. Евреинов Э.В., Косарев Ю.Г. Однородные универсальные вычислительные системы высокой производительности. Новосибирск: Наука, 1966.

34. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука. Гл. Ред. Физ. -мат. лит. 1987.

35. Ефимов Е.И. Решатели интеллектуальных задач. -М.: Наука, 1989.

36. Жданов А.А. Страбыкин Д.А. Адаптация диалога в цифровых измерительных приборах со встроенными микроэвм / КирПИ. Киров, 1988. -7 с. - Деп. ЦНИИТЭИ приборостроения 23.02.88, № 4108.

37. Интеллектуальные системы принятия проектных решений / Алексеев А.В., Борисов А.Н., Вилюмс Э.Р., Слядзь Н.Н., Фомин С.А. Рига: Зинатне, 1997.

38. Искусственный интеллект : В 3-х кн. Кн.2. Модели и методы: Справочник /Под ред. Д.А. Поспелова. М. : Радио и связь, 1990.

39. Искусственный интеллект : В 3-х кн. Кн.З. Программные и аппаратные средства : Справочник / Под ред. В.Н. Захарова, В.Ф. Хорошевского. М.: Радио и связь, 1990.

40. Каган Б.М. Электронные вычислительные машины и системы. М.: Энергоатомиздат. 1985.

41. Калиничеко J1.А., Рыбкин В.М. Машины баз данных и знаний. М.: Наука. Гл. Ред. Физ. -мат. лит. 1990.

42. Каляев А.В. Многопроцессорные системы с программируемой архитектурой. М.: Радио и связь, 1984.

43. Караванова Л.В., Прохорова Э.Г., Степановская И. А. Распараллеливание скалярных вычислений в системах искусственного интеллекта // Вопр. кибернетики.- 1993.- N 160.- с. 31-40.

44. Клокисин В. Ф., Мелиш К.С. Программирование на языке Пролог. М.: Мир., 198 7

45. Ковальски Р. Логика в решении проблем: Пер. с англ. М. : Наука. Гл. Ред. Физ. -мат. лит. 1988. (Пробл. искусств, интеллекта).

46. Корнеев В.В. Архитектура вычислительных систем с программируемой структурой. Новосибирск: Наука, 1985.

47. Корнеев В.В. Параллельные вычислительные системы. М.: НОЛИДЖ, 1999.

48. Корнеев В.В., Киселев А.В. Современные микропроцессоры. М.: НОЛИДЖ, 1998.

49. Кохонен Т. Ассоциативная память. М.: Мир,1980.

50. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат. 1988.

51. Кун С. Матричные процессоры на СБИС. М.:Мир,1991.

52. Куприянов М.С., Петров Г.А., Пузанков Д.В. Процессор PENTIUM: архитектура и программирование. /ГЭТУ -СПб., 1995.

53. Кухтенко А.И. Основные направления развития теории управления сложными системами. // Сложные системы управления № 4. Сб. Академии наук Украинской ССР. 1968. - С. 6-24.

54. Ларионов A.M. и др. Вычислительные комплексы, системы и сети / A.M. Ларионов, С.А. Майоров, Г.И. Новиков. Л.: Энергоатомиздат, 1987.

55. Левин В.К. Высокопроизводительные мультимикро-процессорные системы. // Информационные технологии и вычислительные системы. 1995. Т. 1, № 1. - С. 1-9.

56. Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц. /Тейз А., Грибомон П., Луи Ж. и др. М. : Мир. 1990.

57. Логическое программирование: Пер. с англ. и фр. /Под ред. В.Е. Агафонова. М.:Мир,1988.

58. Лозовский B.C. Семантические сети. // Представление знаний в человеко-машинных и робототехнических системах. М.: ВИНИТИ, 1984., с. 84-120.

59. Лорьер Ж.-Л. Системы искусственного интеллекта : Пер. с франц. М.: Мир, 1991.-568с.

60. Лукоянычев В.Г., Страбыкин Д.А., Шкебельский В. В. Встроенный дисплей телевизионного типа на основе микропроцессора для отображения информации в медицинских приборах // Техника средств связи. 1985. - Вып. 3. - С. 83-88.

61. Малпас Дж. Реляционный язык Пролог и его применение: Пер. с англ. /Под ред. В.Н. Соболева. М.: Наука. Гл. ред. физ. мат. лит., 1990.

62. Малюгин В.Д. Параллельные логические вычисления посредством арифметических полиномов. М. : Наука. Физ. мат. лит. 1997.

63. Марселлус Д. Программирование ЭС на Турбо Прологе: Пер. с англ. /Предисл. С.В. Трубицина. М. : Финансы и статистика, 1994.

64. Матвеев В.Д., Милков JI.A., Страбыкин Д.А. Цветные видеодисплеи для систем машинной графики / / Интерактивная технология в САПР: Тез. докл. IV Всесоюз. науч. -техн. совещ., Таллин, 12-17 окт. 1981 г. Таллин, 1981, С. 105-106.

65. Матвеев В.Д., Страбыкин Д.А., Бакшаев A.M. Компьютерный практикум на основе имитационного моделирования микропроцессорных устройств // Управление и обработка информации. Киров, 1998. - С. 67-72. - (Сб. науч. тр. / ВятГТУ; Вып. 3).

66. Мельцов В.Ю. Потоковая система дедуктивного логического вывода. Автореферат диссертации на соискание ученой степени канд. тех. наук. С.-Пб., 1996.

67. Мельцов В.Ю., Родионов Е.П., Страбыкин Д.А. Диалоговые программаторы ПЗУ и ПЛМ // Научный потенциал вузов народному хозяйству: Тез. докл. Обл. науч.-практ. конф., Киров, 12-15 мая 1987 г. Киров, 1987. - С. 6263.

68. Мельцов В.Ю., Родионов Е.П., Страбыкин Д.А. Диалоговый программатор интегральных микросхем памяти // Приборы и системы управления. 1990. - № 8. - С. 21-22.

69. Мельцов В.Ю., Страбыкин Д.А. Метод параллельного логического вывода / КирПИ. Киров, 1992. -17 с. - Деп. ВИНИТИ 12.11.92, № 3240-В92.

70. Минский М. Структура для представления знаний. -М. : Мир., 197 8.

71. Многофункциональные регулярные вычислительные структуры / Е.П. Балашов, В.П. Смолов, Г.А. Петров, Д.В. Пузанков. М.: Сов. Радио. 1978.-288 с.

72. Невзорова О.А. Машинное обучение и задачи обработки естественного языка. Новости искусственного интеллекта №1, Журнал Ассоциации искусственного интеллекта. М., 1998.

73. Нестерук В.Ф., Страбыкин Д.А. Принципы организации ассоциативного поиска информации в запоминающем устройстве // Вычислительная техника и системы управления. -Омск, 1975. С. 64-69. - (Сб. науч. тр. / ОПИ; Вып. 2).

74. Новикова Г.М. Концептуальный подход к формализации задачи управления // КИИ-98 Шестая национальная конференция с международным участием. Сб. науч. тр. Пущино 1998. т.1. - С 158-168.

75. Органик Э. Организация системы Интел 432. М. : Мир, 1987.

76. Осипов Г.С. Приобретение знаний интеллектуальными системами. Основы теории и технологии. М.: Наука. Физматлит, 1997. - 112 с.

77. Осипов Г.С. Приобретение знаний на основе взаимодействия методов анализа текста и автоматизированного интервью эксперта. Переславль-Залесский. 1994.

78. Осуга С. Обработка знаний. М.: Мир, 1989.

79. Перспективы развития вычислительной техники: В 11 кн.: Справочное пособие /Под ред. Ю.М. Смирнова. Кн. 2. Интеллектуализация ЭВМ /Кузин Е.С., Ройтман А.И., Фоминых И.Б., Хахалин Г.К. М.: Высш. шк., 1989.

80. Плесневич Г.С. Естественный вывод для задачи "СТИМРОЛЛЕР". // КИИ-98 Шестая национальная конференция с международным участием. Сб. науч. тр. Пущино 1998. т.1.- с. 257-263.

81. Поспелов Д.А. Интеллектуальные интерфейсы для ЭВМ новых поколений //Электронная вычислительная техника.- 1991. Вып. 3.

82. Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука, 1986.

83. Представление и использование знаний / Под ред. X. Уэно, М. Исидзука. М.: Мир, 1989.

84. Приобретение знаний: Пер. с япон. /Под ред. С.Осуги, Ю.Саэки. М.: Мир. 1990.

85. Пузанков Д.В. Страбыкин Д.А. Метод сокращения аппаратурных затрат за счет многофункционального использования элементов // Автоматика и вычислительная техника.- 1985. № 2. - С. 84-89.

86. Разработка ЭВМ нового поколения: Архитектуры, программирование, интеллектуализация // Сб. научных трудов ВЦ СО АН СССР. Новосибирск, 1989.

87. Родионов Е.П., Страбыкин Д.А. Диалоговый программатор ПЛМ // Управляющие системы и машины. 1988. -№ 4. - С. 11-16.

88. Родионов Е.П., Страбыкин Д.А. Метод сжатия и восстановления теста для экономии памяти микропроцессорных систем / КирПИ. Киров, 1985. -14 с. - Деп. ВИНИТИ 21.11.85, № 3220.

89. Рыков О.В. Организация машин параллельного логического вывода информационно-управляющих систем. Автореферат диссертации на соискание ученой степени канд. тех. наук. Киров, 1999.

90. Рыков О.В., Бурков А.Б. Программная модель директивной машины логического вывода. // Труды региональной науч.-тех. конф. "Наука-Производство-Технология-Экология-98" Т.1., ВятГТУ., Киров., 1998., С.57-58.

91. Рыков О.В., Страбыкин Д.А. Метод ускоренного логического вывода / КирПИ. Киров, 1993. -16 с. - Деп. ВИНИТИ 10.04.93, № 743-В93.

92. Сидоренко Е.А. Логическое следование и условные высказывания. М.: Наука. АН СССР. 1983.

93. Система оперативного врачебного контроля на основе микроЭВМ с отображением информации на ЭЛТ / Барановский А. А., Князев К.К., Лукоянычев В.Г., Страбыкин Д.А.

94. КирПИ. Киров, 1980. -8 с. - Деп. ЦНИИТЭИ приборостроения 12.06.81, № 580.

95. Слейгл Дж. Искусственный интеллект. М. : Мир,1973.

96. Сравнительная оценка производительности процессоров "Квант-10", "Квант-20" и транспьютера Т-800 / Виксне П.Е., Каталов Ю.Т., Конотопцев В.Н., Корнеев В.В., Ярмолинский И.П. // Вопросы радиоэлектроники. Сер. ЭВТ. -1994. Вып. 2. - С. 60-65.

97. Стерлинг J1., Шапиро Э. Искусство программирования на языке Пролог : Пер. с англ. М.: Мир,1990.

98. Страбыкин Д.А. Абстрактная машина логического вывода методом деления дизъюнктов // Наука-производство-технология-экология: Сб. материалов регион, науч.-техн. конф., Киров, 15-27 мая 1999 г. Киров, 1999. - Т. 2. -С. 22-24.

99. Страбыкин Д.А. Анализ задач проектирования диалоговых микропроцессорных систем управления измерительными приборами // Электронное моделирование. 1987. Т. 9, № 1. - С. 65-70.

100. Страбыкин Д.А. Диалоговая система управления приборами и процессами // Научный потенциал вузов народному хозяйству: Тез. докл. Обл. науч.-практ. конф., Киров, 12-15 мая 1987 г. Киров, 1987. - С. 11.

101. Страбыкин Д.А. Логический вывод методом деления дизъюнктов при решении антитрестовской задачи // Научныйвестник Кировского филиала Московского гуманитарно-экономического института. Киров, 1998. № 1. - С. 182192.

102. Страбыкин Д.А. Исследование вопросов проектирования вычислительных устройств на основе многофункциональных регулярных структур. Автореферат диссертации канд. тех. наук. JI., 1978 .

103. Страбыкин Д.А. Микропроцессор с регулярной структурой на основе интегральных модулей памяти // Микропроцессоры: Тез. докл. 2-го всесоюзн. совещ., Рига, 312 июня 1977 г. Рига, 1977. - Ч. 1 - С. 23-25.

104. Страбыкин Д.А. Микропроцессор с таблично-алгоритмическим операционным устройством // Микропроцессоры: Тез. докл. всесоюзн. совещ., Рига, 5-12 окт. 1975 г. Рига, 1975. - С. 81-82.

105. Страбыкин Д.А. О функциональных возможностях полупроводниковых интегральных запоминающих устройств // Вычислительная техника. JI., 1978. - Вып. 7: Многофункциональные регулярные вычислительные структуры. - С. 8188.

106. Страбыкин Д.А. Обобщенное проектирование микропроцессорных систем / КирПИ. Киров, 1986. -13 с. - Деп. ЦНИИТЭИ приборостроения 21.05.86, № 3350.

107. Страбыкин Д.А. Организация машин параллельного логического вывода / ВятГТУ Киров: Изд-во ВятГТУ, 1999. - 189 с.

108. Страбыкин Д.А. Основы языка декларативного программирования машины параллельного дедуктивного и абдуктивного вывода // ВЕСТНИК ВВО АТН РФ, Сер. Проблемы обработки информации. 1998. - Вып. 1. - С. 7-11.

109. Страбыкин Д.А. Параллельный логический вывод методом деления дизъюнктов // Управление и обработка информации. Киров, 1998. - С. 89-101. - (Сб. науч. тр. / ВятГТУ; Вып. 3).

110. Страбыкин Д.А. Параллельный логический вывода в системах обработки знаний // ВЕСТНИК ВВО АТН РФ, Сер. Высокие технологии в радиоэлектронике. 1998. - № 2 (6) . -С. 25-29.

111. Страбыкин Д.А. Управление цифровыми измерительными приборами с помощью встроенных микроэвм // Приборы и системы управления. 1983. - № 11. - С. 11-13.

112. Страбыкин Д.А. Экспериментальное исследование микропроцессорных устройств с помощью диалоговых систем управления // Микропроцессорные средства и системы. -1987. № 4. - С. 62-64.

113. Страбыкин Д.А., Бакшаев A.M. Практикум по микропроцессорным устройствам с использованием диалоговых систем управления / ГГУ Горький: Изд-во ГГУ, 1989. -105 с.

114. Страбыкин Д.А., Носов А.А. Организация движения графиков на экране измерительного прибора / Редакция журнала Приборы и системы управления М., 1984. -7 с. -Деп. ЦНИИТЭИ приборостроения 22.12.84, № 2 695-Б8 4.

115. Страбыкин Д.А., Рыков О.В. Логический вывод методом параллельной редукции и его аппаратная поддержка // Искусственный интеллект-94: Сб. науч. тр. Нац. конф. с междунар. участием, Рыбинск, 15-21 сент. 1994 г. Рыбинск, 1994. - Т. 2. - С. 296-300.

116. Супер-ЭВМ: Сб. н. тр. /АН СССР Под ред. B.C. Бурцева. М.: Наука, 1989.

117. Такеути Г. Теория доказательств: Пер. с англ. -М.: Мир. 1978.

118. Танев И.Т., Фомичев B.C. Параллельная мультипроцессорная Пролог-система.//Известия ЛЭТИ, 1992.-вып.444.-с.101-106.

119. Тимофеев А.В. Роботы и искусственный интеллект. М.: Наука, 1978. 192 с.

120. Толканов В,А, Страбыкин Д.А. Программа обучения игре в шахматы // Наука-производство-технология-экология: Сб. материалов регион, науч.-техн. конф., Киров, 14-28 мая 1998 г. Киров, 1998. - Т. 1. - С. 84-86.

121. Томита С., Танака X. и др. Компьютеры на СБИС: В 2-х кн. Пер. с япон. /Мотоока Т. М. : Мир, 1988, Кн. 1, 2.

122. Транспьютероподобный 32-разрядный RISC-процессор с масштабируемой архитектурой / Виксне П.Е., Каталов Ю.Т., Корнеев В.В., Панфилов А.П., Трубецкой

123. A. В., Черников В. М. // Вопросы радиоэлектроники. Сер. ЭВТ. 1994. - Вып. 2. - С. 4 9-7 9.

124. Тульский В.П. Средства связи символьного процессора ЕС2702 с универсальной ЭВМ. Препринт. М.,1987.- ИПМ АН СССР, N 169.

125. Финн В.К. Об обобщенном ДСМ -методе автоматического порождения гипотез. Семиотика и информатика. М.: ВИНИТИ, Вып. 29, 1989, с. 93-123.

126. Финн В.К. Правдоподобные рассуждения в интеллектуальных системах типа ДСМ. Итоги науки и техники. Информатика. М.: ВИНИТИ, Т.15, 1991, с. 54-101.

127. Формальная система дедуктивного логического вывода в рамках логики высказываний / Водяхо А.И., Мельцов

128. B.Ю., Солдатов В.В., Страбыкин Д.А. // Изв. ТЭТУ. СПб., 1993. - Вып. 458. - С. 7-13.

129. Фути К. К вычислительным системам пятого поколения.// Язык Пролог в пятом поколении ЭВМ. М. : Мир, 1988.-с.5-30.

130. Ханенко В.Н. Информационные системы. -JI. : Машиностроение. Ленингр. отд-ние, 1988.

131. Хант Э. Искусственный интеллект. М. : Мир,1978 .

132. Цай В.А. Использование языка Пролог для представления знаний // Препринт ВЦ СО АН СССР. 1987 -№716.

133. Чен Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука. 1983.

134. Чери С., Готлоб Г., Танка Л. Логическое программирование и базы данных: Пер. с англ. М. : Мир. 1992.

135. Шпаковский Г.И. Архитектура параллельных ЭВМ: Учебное пособие для вузов. Минск.: Университетское, 1989.

136. ЭВМ пятого поколения. Концепции, проблемы, перспективы /Под ред. Мото-Ока Т.: Пер. с англ. М.: Финансы и статистика. 1984.

137. Экспертные системы. Принципы работы и примеры./Под ред. Форсайта Ф. М.: Радио и связь, 1987.

138. Элти Дж., Кумбс М. Экспертные системы: концепции и примеры. Пер. с англ. М. : Финансы и статистика. 1987.

139. Эндрю А. Искусственный интеллект: Пер. с англ. М.: Мир. 1985.14 9. Янг С. Алгоритмические языки реального времени. Конструирование и разработка. Пер. с англ. М. : Мир. 1985.

140. Ясухара X., Нитадори К. ORBIT-параллельная модель выполнения Пролог-программ. // Язык Пролог в пятом поколении ЭВМ.- М.: Мир, 1988.-с.310-325.

141. А. с. 494768 СССР, МКИ G 11с 17/00. Постоянное запоминающее устройство / Балашов Е.П., Пузанков Д. В., Страбыкин Д.А. (СССР) . № 2045402/18-24; Заявл. 18.07.74; Опубл. 05.12.75, Бюл. № 45. - 2 с.

142. А. с. 511628 СССР, МКИ G 11С 11/00. Логическое запоминающее устройство / Балашов Е.П., Пузанков Д. В., Страбыкин Д.А. (СССР). № 2045407/24; Заявл. 18.07.74; Опубл. 25.04.7 6, Бюл. № 15. - 3 с.

143. А. с. 639019 СССР, МКИ G 11С 17/00. Постоянное запоминающее устройство / Страбыкин Д. А. (СССР) . № 2435329/18-24; Заявл. 29.12.76; Опубл. 25.12.78, Бюл. № 47. - 2 с.

144. А. с. 836681 СССР, МКИ G 11С 11/00. Постоянное запоминающее устройство / Матвеев В.Д., Прокашев Н.А., Страбыкин Д.А., Шибанов Э.И. (СССР). № 28138 69/18-24; Заявл. 17.08.7 9; Опубл. 30.04.81, Бюл. № 16. - 3 с.

145. А. с. 826418 СССР, МКИ G 11С 17/00. Запоминающее устройство / Матвеев В.Д., Соловьев А.Н., Страбыкин Д.А., Шибанов Э.И. (СССР). № 27 90950/18-24; Заявл. 05.07.79; Опубл. 07.06.81, Бюл. № 21. - 4 с.

146. А. с. 942141 СССР, МКИ G 11С 11/00. Запоминающее устройство / Прокашев Н.А., Соловьев А.Н., Страбыкин Д.А., Шибанов Э.И., Пестов А.Ю. (СССР). № 2966795/1824; Заявл. 22.07.80; Опубл. 07.07.82, Бюл. № 25. - 7 с.

147. А. с. 970463 СССР, МКИ G 11С 11/00. Запоминающее устройство / Страбыкин Д.А., Родионов Е.П. (СССР). -№ 3273471/18-24; Заявл. 14.04.81; Опубл. 30.10.82, Бюл. № 40. 3 с.

148. А. с. 1038965 СССР, МКИ G 09G 1/18. Устройство для отображения информации / Лукояничев В.Г., Носов А.А., Прокашев Н.А., Страбыкин Д.А. (СССР). № 3433944/18-24; Заявл. 05.05.82; Опубл. 30.08.83, Бюл. № 32. - 4 с.

149. А. с. 1108486 СССР, МКИ G 09G 1/16. Устройство для отображения информации на экране телевизионного приемника / Лукояничев В.Г., Матвеев В.Д., Прокашев Н.А., Страбыкин Д.А. (СССР). № 3449084/18-24; Заявл. 03.06.82; Опубл. 15.08.84, Бюл. № 30. - 4 с.

150. А. с. 1269180 СССР, МКИ G 09G 1/16. Устройство для отображения информации на экране электронно-лучевой трубки / Носов А.А., Пестов А.Ю., Прокашев Н.А., Страбыкин Д.А. (СССР). № 3757722/24-24; Заявл. 21.06.84; Опубл. 07.11.8 6, Бюл. № 41. - 5 с.

151. А. с. 1354242 СССР, МКИ G 09G 1/16. Устройство для отображения информации на экране электронно-лучевой трубки / Носов А.А., Пестов А.Ю., Родионов Е.П., Страбыкин Д.А. (СССР). № 3999168/24-24; Заявл. 27.12.85; Опубл. 23.11.87, Бюл. № 43. - 12 с.

152. А. с. 1251178 СССР, МКИ G 11С 15/00. Ассоциативное запоминающее устройство / Страбыкин Д.А., Родионов Е.П., Пестов А.Ю., Носов А.А. (СССР). № 3844270/24-24; Заявл. 16.01.85; Опубл. 15.08.8 6, Бюл. № 30. - 3 с.

153. Ackerman, W.B. and Dennis, J.B. VAL A value oriented algorithmic language // MIT Lab. For Computer Scince Tech. Rep. 218, June 1979.

154. Noakes M.D., Wallach D.A., Dally W.J. The J-Machine Multicomputer: An Architectural Evaluation // Proc. of the IEEE, 1993. P. 224-235.

155. Agha G. ,Hewitt C. Concurrent programming using actors: Exploiting large-scale parallelism // Lect Not. In Comput. Sci. 1990, № 206. P. 19-41.

156. Amamiya M., Nasegawa R., Takesue M., Mikami H. A data flow machine architecture for highly parallel symbol manipulations // Jour. Inform. Process. 1989, Vol 10, № 4. - p. 227-236.

157. Anderson, R.B., R.E. Thomas, C. J. Gatchel, and N.D. Bennett. 1993. Computerized technique for recording board defect data. Res. Pap. NE-671. Radnor, PA: U.S. Department of Agriculture, Forest Service, Northeastern Forest Experimrnt Station. 17 p.

158. Arvind A. Semantics of loops in ID // Note 11, March 1977, Univ. Of California.

159. Bertsekas D., Gallger R. Data Networks. Prentice Hall, 1992.

160. Bic L. A data-driven model for parallel interpretation of logic programs // Proc. Of the Int. Conf. On Fifth Gen. Comput. Systems, 1988. p. 517-523.

161. Chang J.H., Despain A.M., DeGroot D. AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis //Proc. COMPCON spring, IEEE, 1985.

162. Chassin de Kergommeaux. An Abstract Machine to Implement AND-OR-parallel Prolog Efficiently // J. Logic Programming, 1990. p. 249-264.

163. Chikayama Т., Kiyohara R. Parallel Inference System Research in the Japaese FGCS Project. /Lecture Notes in Computer Science. Vol 748. R.H. Halstead (Ed), Parallel Symbolic Computing Laguages, Systems and Aplica-tions. Proceedings. 1992.

164. Cho, Т.Н., R.W. Conners and P.A. Araman, A computer vision system for automatic grading of rough hardwood using a knowledge-based approach, Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 4-7 November 1990, Los Angeles, CA, pp 345-350.

165. Ciepielewsky A., Haridi S. A Formal Model for OR-Parallel Execution of Logic Programs //Inf. Proces., 1983.

166. Clocksin W.F. Principles of the Delphi parallel inference machine // Computer J. 1987. - Vol. 30, № 5, - p. 392-396.

167. Conery J.S., Kibler D.F. AND-parallelism and nondeter- minism in logic programs // New Generation Computing. 1985.- Vol.3, N 1. - P. 43-70.

168. Dennis J.B. Data Flow Supercomputers // Computer. 1992 N 11, p. 48-56.

169. Despain A.M., Patt Y.N. The Aquarius Project // Digest of papers / COMPCON spring. 1984. - p.65-84.

170. Fagin B.S., Despain A.M. The Performance of Parallel Prolog Programs // IEEE Transactions on Computers. 1990/ - Vol 39, № 12, p. 1434-1445.

171. Flagship: A parallel architecture for declarative programming / Watson I., Woods V., Watson P., Banach R., at al.// Proc. 15-th Annu. Int. Symp. Computer Architecture, 1988.- P.124-130.

172. Fox R., Josephson J. A Tool for Abductive Inference. IEEE, 1994.

173. Frosini G., Corsini P., Rizzo L. Implementing a Parallel Prolog Interpreter by Using Occam and Transputers // Microprocessors and Microsistems. 1989. Vol 13, № 4, p. 271-279.

174. Goto A., Tanaka H., Moto-Oca T. Highly Parallel Infe- rence Engine PIE-Goal Rewriting Model and Machine Architecture // New Generation Computing.- 1984.- Vol. 2, N 1.- P. 37-58.

175. Guo-Jie, Wah B.W. Optimal granularity of parallel evaluation of AND trees // Proc. Fall Joint

176. Comput. conf., 1987,Oct. P. 297-306.

177. Habata S., Nakazaki R., Konagaya A., Atarashi A. Co- operatuve high perfomance sequential inference machine: CHI-II // NEC Research and Development.- 1988. N 88.- P. 92 101.

178. Hasegawa R., Amamiya M. Parallel execution of logic programms based on dataflow concept // Proc. Of Int. Conf. On Fifth Gen. Comput. Systems, 1984. p.507-516.

179. Hwang K. Advance computer architecture: parallelism, scalability, programmability. McGraw-Hill series in computer engineering. 1993, 772 p.

180. Irani K.B., Shih Y.F. Implementation of Very Large Prolog-Based Knowledge on Data Flow Architectures // Proc. 1st Conf. on Artificial Intelligence Applications / IEEE, Dec. 1988.- P.-454-459.

181. Ito N., Shimizu H., Kuno E. Et al. Data-Flow Based Execution Mechanism of Parallel Concurrent Prolog // New Generation Computing. 1986. - №3, p.15-41.

182. Kacsuk P. A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation // The Computer J.- 1991. Vol. 34, №1.- P.52-63.

183. Kacsuk P., Bale A. DAP Prolog: A Set oriented approach to prolog // The Computer J.- 1987,- Vol. 30, №5.- P.261-275.

184. Kakas A.C., Kowalski R.A., Toni F. Abduction and logic programming. Draft. Imperial College of Science, Technology and Medicine, London.

185. Kaneda Y., Tamura N., Wada K., et al. Sequential Prolog machine РЕК // New Generation Computing. 1986. - Vol.4.- P.-51-66.

186. Komorowski H.J. An Abstract Prolog Machine // Integrated Interactive Computing Systems Proc./ Ed. by P. Degano, E. Sandewall. 1983. - 76 p.

187. McCarthy J. Recursive functions of symbolic ex-presions and their computation by machine // CACM, vol. 3, pp. 184-195.

188. Moto-Oka T. Overview to the Fifth Generation Computer System Project // Proc. 10th Annual Int' 1 Symp. on Computer Architecture / IEEE/ACM, June 1983.-P.417-422.

189. Murakami K., Kakuta Т., Onai R. Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine // Proc. Int. Conf. 5th Generation Computer Systems. ICOT.-1984. P. 1836.

190. Naganuma J. , Ogura T. A Highli OR-Parallel Inference Machine (Multi-ASCA) and Its Load Balancing Algorithms // IEEE Trans, on Comput. 1994.- Vol. 43, N9.-P.-20-35

191. Nakazaki R. Design of a High-Speed Prolog Machine (HPM) // SIGARCH Newsletter. 1986. - Vol. 13, N 3. - P.191-197.

192. Ng K.W., Leung H.F. Competition: A model of AND-parallel execution of logic programa // The Comput. -1990.-Vol.33,No.3. P.215-218.

193. Nishikawa H. The personal sequential inference machine (PSI): its design philosophy and machine architecture // Proc. Logic programming workshop. 1983. P. 53-73.

194. Onai R. Et al. Architecture of a Reduction-Based Parallel Inference Machine: PIM-R // New Generation Computing. 1985, Vol.3, N2. - P.197-228.

195. Peirce C.S. Collected Papers of Charles Sanders Peirce. Vol. 2.1931-1958. Garvard Univercity Press.

196. Pereira L.M., NaSr R. Delta-Prolog, a Distributed Logic Programming Language // Proc. Int' 1 Conf. on Fifth Generation Computer Systems. ICOT.-1984.- P.283-291.

197. Researsh on Parallel Machine Architecture 5th Generation Computer Systems/ Murakami K., Kakuta Т., Onai R., Ito N. // IEEE Computer.- 1985.- Vol.18, N 6.-P.76-92.

198. Reynolds T.J. BRAVE a parallel logic languages for artifical intelligence // Future Generation Computer System.- 1988.-Vol.4,N 1.- P. 6975.

199. Rich E., Knight K. Artificial Inelligence. 2nd ed. McGrow-Hill Inc. New York. 1991.

200. Rich E., Knight K. Artificial Inelligence. 2nd ed. New York: McGrow-Hill Inc., 1991.

201. Shobotake Y.,Aiso H. Unification Processor Based on Uniformly Structured Cellular Hardware // Computer Archit.News 1986 Vol.14 N 2 pp 140-148.

202. Siekman J. Universal Unification // Lecture Notes Сотр. Sci. -1984. Vol 170. pp.1-43.

203. Trinker P.A. Performance of an OR-Parallel Logic Programming System // Journal of Programming. 1988. Vol 17, N1. p. 59-92.

204. Turner D.A. A new implementation technique for applicative languages // Software Pract. Exper., vol. 8, pp. 31-49.

205. Umeyama S., Tamura K. A Parallel Execution Model of logic Programs // Proc. 10th Annual Symp. On Computer Architecture, IEEE/ACM, 1983. N6, p. 349-355.

206. Warren D.H.D. An Abstract Prolog Instruction Set. Tech. Note 309. AI Research Center, 1983.

207. Warren D.H.D. OR-Parallel execution models of Prolog // Lect. Mot. In Comput. Sci., 1987. -N250. p. 234-259.

208. Wise M.J. EPILOG = PROLOG + data flow. Arguments for combining PROLOG with a data driven mechanism // ACM SIGPLAN notices. 1985. Vol 17, N12. p. 80-84.

209. Yasuura H. On Parallel Computational Complexity of Unification. Proceeding of the International Conference of Fifth Generation Computer Systems 1984. pp 325-243.

210. The UltraSPARC Architecture. The UltraSPARC Processor, Technology White Paper, Sun Microsystems, Inc., 1995.