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

ОГЛАВЛЕНИЕ: Предисловие (В.Н.Захаров, В.Ф.Хорошевский) (5). Глава 1. Базовые средства программирования для интеллектуальных систем (7). 1.1. Средства поддержки разработки интеллектуальных систем (Л.Г.Красовский, В.Ф.Хорошевский) (7). 1.2. Языковые средства программирования (В.Ф.Хорошевский) (17). 1.3. Язык Лисп и его модификации (О.В.Ковригин, К.Г.Перфильев) (21). 1.4. Язык Пролог и методы его реализации (Н.И.Ильинский, И.Б.Козинцев) (33). 1.5. Мета-алгоритмический язык Рефал и тенденции его развития (С.А.Романенко) (48). 1.6. Языки программирования интеллектуальных решателей (В.Н.Лихолип, В.Н.Пипыциков) (56). 1.7. Система Smalltalk-80 и объектно-ориентированное программирование (Д.И.Безруков, А.О.Голосов) (67). Глава 2. Языки и системы представления знаний (72). 2.1. Программные средства представления знаний: состояние исследований и проблемы (В.Ф.Хорошевский) (72). 2.2. Язык представления знаний оболочки СПЭИС (О.В.Ковригин) (82). 2.3. Язык представления знаний Пилот (В.Ф.Хорошевский, С.Ю.Щенников) (87). 2.4. Язык представления лингвистических знаний ATNL-2.0 (В.Ф.Хорошевский) (95). 2.5. Средства для работы со знаниями в технологическом комплексе ТХК-БЗ (Е.Ю.Кандрашина) (103). Глава 3. Инструментальные средства для разработки интеллектуальных систем (109). 3.1. Технологические комплексы для разработки баз знаний (Е.Ю.Кандрашина) (109). 3.2. ПРИЗ - семейство инструментальных средств, ориентированных на знания (А.Калья, М.Коов, М.Кыпп, М.Мацкин, Я.Пеньям, Ф.Перкманн, Э.Тыугу, Ф.Хаав, А.Шмундак) (120). 3.3. Инструментальный технологический комплекс для систем семиотического моделирования (А.А.Абрахманов, В.С.Лозовский, С.В.Лозовский) (131). 3.4. Средства поддержки проектирования прикладных экспертных систем в оболочке СПЭИС (О.В.Ковригин) (151). 3.5. ПиЭС - программный инструментарий для экспертных систем (А.Ю.Алешин, В.Ф.Хорошевский, В.Ю.Шерстнев, С.Ю.Щенников) (155). Глава 4. Принципы разработки аппаратных средств поддержки интеллектуальных систем (168). 4.1. Аппаратная реализация интеллектуальных систем (В.Н.Захаров, Л.К.Эйсымонт) (168). 4.2. Элементная база интеллектуальных систем (В.Н.Захаров, Л.К.Эйсымонт) (181). 4.3. Апериодическая схемотехника (В.И.Варшавский, В.Б.Мараховский, Л.Я.Розенблюм, А.В.Яковлев) (199). Глава 5. Специализированные процессоры для интеллектуальных систем (213). 5.1. Машины баз данных (A.M.Гилула, Л.А.Калиниченко, С.К.Ландо, В.М.Рывкин) (213). 5.2. Ассоциативные параллельные процессоры (Е.К.Гордиенко) (235). 5.3. Однородные структуры (В.Н.Захаров, В.Ю.Кириллов) (249). 5.4. Специализированные вычислительные структуры (А.П.Горяшко) (258). 5 5. Средства обработки нечеткой информации (Л.С.Берштейн, С.Я.Коровин, А.Н.Мелихов) (284). Глава 6. Специализированные процессоры для языков высокого уровня (293). 6.1. Лисп-процессоры (А.Н.Мямлин, А.Г.Рубин, В.К.Смирнов) (293). 6.2. Пролог-машины и спецпроцессоры вывода (В.Н.Вагин, В.Н.Захаров) (312). 6.3. Реал-процессор (С.Л.Головнов, В.К.Смирнов) (321). Список литературы (329). Приводится классификация программных средств для интеллектуальных систем. Описываются конкретные языки представления знаний и манипулирования ими, базовые языки, используемые в интеллектуальных системах, системы поддержки разработки интеллектуальных систем, ЭВМ с высоким уровнем интерпретации языков, спецпроцессоры баз данных, знаний и логического вывода для ЭВМ пятого и последующих поколений. Для специалистов в области управления, информационных систем и вычислительной техники, использующих методы искусственного интеллекта.