Искусственный интеллект: Книга 3. Программные и аппаратные средства

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

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

Глава 1. Базовые средства программирования для интеллектуальных систем

1.1. Средства поддержки разработки интеллектуальных систем (А.Г. Красовский, В.Ф. Хорошевский)

1.2. Языковые средства программирования (В.Ф. Хорошевский)

1.3. Язык ЛИСП и его модификации (О.В. Ковригин, К.Г. Перфильев)

1.4. Язык Пролог и методы его реализации (Н.И. Ильинский, И.Б. Козинцев)

1.5. Метаалгоритмический язык РЕФАЛ и тенденции его развития (С.А. Романенко)

1.6. Языки программирования интеллектуальных решателей (В.Н. Лихолип, В.Н. Пильщиков)

     Язык PLANNER

     Язык CONNIVER

     Языки QA-4 и QLISP

1.7. Система SMALTALK-80 и объектно-ориентированное программирование (Д.И. Безруков, А.О. Голосов)

Глава 2. Языки и системы представления знаний

2.1. Программные средства представления знаний: состояние исследований и проблемы (В.Ф. Хорошевский)

2.2. Язык представления знаний оболочки знаний СПЭИС (О.В. Ковригин)

2.3. Язык представления знаний ПИЛОТ (В.Ф. Хорошевский, С.Ю. Щенников)

2.4. Язык представления лингвистических знаний ATNL-2.0 (В.Ф. Хорошевский)

2.5. Средства для работы со знаниями в технологическом комплексе ТХК-БЗ (Е.Ю. Кандрашина)

Глава 3. Инструментальные средства для разработки интеллектуальных систем

3.1. Технологические комплексы для разработки баз знаний (Е.Ю. Кандрашина)

3.2. ПРИЗ – семейство инструментальных средств, ориентированных на знания

(А. Калья, М. Коов, М. Кыпп, М. Мацкин, Я. Пеньям, Х. Перкманн, Э. Тыугу, Х. Хаав, А. Шмундак)

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

(А.А. Абдрахманов, В.С. Лозовский, С.В. Лозовский)

3.4. Средства поддержки проектирования прикладных экспертных систем в оболочке СПЭИС (О.В. Ковригин)

3.5. ПиЭС – программный инструментарий для экспертных систем

(А.Ю. Алешин, В.Ф. Хорошевский, В.Ю. Шерстнев, С.Ю. Щенников)

Глава 4. Принципы разработки аппаратных средств поддержки интеллектуальных систем

4.1. Аппаратная реализация интеллектуальных систем (В.Н. Захаров, Л.К. Эйсымонт)

4.2. Элементная база интеллектуальных систем (В.Н. Захаров, Л.К. Эйсымонт)

4.3. Апериодическая схемотехника (В.И. Варшавский, В.В. Мараховский, Л.Я. Розенблюм, А.В. Яковлев)

Глава 5. Специализированные процессоры для интеллектуальных систем

5.1. Машины баз данных (М.М. Гилула, Л.А. Калиниченко, С.К. Ландо, В.М. Рывкин)

5.2. Ассоциативные параллельные процессоры (Е.К. Гордиенко)

5.3. Однородные структуры (В.Н. Захаров, В.Ю. Кириллов)

5.4. Специализированные вычислительные структуры (А.П. Горяшко)

5.5. Средства обработки нечеткой информации (Л.С. Берштейн, С.Я. Коровин, А.Н. Мелихов)

Глава 6. Специализированные процессоры для языков высокого уровня

6.1. ЛИСП-процессоры (А.Н. Мямлин, А.Г. Рубин, В.К. Смирнов)

6.2. ПРОЛОГ-машины и спецпроцессоры вывода (В.Н. Вагин, В.Н. Захаров)

6.3. Рефал-процессор (С.Л. Головков, В.К. Смирнов)