СПРАВОЧНИК
ИСКУССТВЕННЫЙ
ИНТЕЛЛЕКТ
В ТРЕХ КНИГАХ
I
СИСТЕМЫ ОБЩЕНИЯ
И ЭКСПЕРТНЫЕ СИСТЕМЫ
2
МОДЕЛИ И МЕТОДЫ
3
ПРОГРАММНЫЕ
И АППАРАТНЫЕ СРЕДСТВА
СПРАВОЧНИК
ИСКУССТВЕННЫЙ
ИНТЕЛЛЕКТ
КНИГА
3
ПРОГРАММНЫЕ
И АППАРАТНЫЕ
СРЕДСТВА
ПОД РЕДАКЦИЕЙ
В. Н. ЗАХАРОВА
В. Ф. ХОРОШЕВСКОГО
Scan Pirat
©
МОСКВА „РАДИО И СВЯЗЬ"
1990
ББК 32. 81
И 86
УДК 681. 3—007
Рецензент: проф. В. А. Горбатов
Редакция литературы по информатике и вычислительной технике
Искусственный интеллект: В 3-х кн. Кн. 3. Программные
И86 и аппаратные средства: Справочник/ Под ред. В. Н. Захарова, В. Ф. Хорошевского. — М. : Радио и связь, 1990.
—368 с:
ил. ISBN 5-256-00366-6 (кн. 3). Приводится классификация программных средств для
интеллектуальных систем. Описываются конкретные языки представления знаний н ма
нипулирования ими, базовые языки, используемые в интеллектуальных
системах, системы поддержки разработки интеллектуальных систем, ЭВМ
с высоким уровнем интерпретации языков, спецпроцессоры баз данных,
знаний и логического вывода для ЭВМ пятого и последующих
поколений. Для специалистов в области управления, информационных систем
и вычислительной техники, использующих методы искусственного
интеллекта.
„ 1402070000-146
И 046(01)-90 29"30 ББ* 3281
ISBN 5-256-00366-6 (Кн. 3) © Коллектив авторов, 1990
ISBN 5-256-00756-4
Предисловие
В настоящей книге излагаются вопросы использования существующих и
перспективных инструментальных средств проектирования систем,
ориентированных на работу со знаниями. Под инструментальными средствами понимается
весь комплекс программно-аппаратных средств, позволяющих разработчику
строить и совершенствовать создаваемые им специализированные
интеллектуальные системы. Другими словами, это совокупность методов и средств,
использование которых позволяет осуществить переход от постановки некоторой задачи
к реализации системы, которая задачу решает. Накопленный за прошедший период во многих странах опыт решения
различных интеллектуальных задач показал, что современные универсальные
ЭВМ, несмотря на постоянное совершенствование, недостаточно эффективны. Проблема построения специализироваииых вычислительных систем и аппаратных
средств для решения таких задач совершенно очевидна и привлекает внимание
исследователей многих стран. Разработка программного обеспечения для систем, ориентированных иа
работу со знаниями, так же, как и разработка моделей и систем представления
знаний, часто инициирует появление новых языковых средств. Так, для
информационной системы GUS был разработан "специальный язык представления знаний
KRL (Knowledge Representation Language), а интеллектуальная система NUDGE
вызвала к жизни библиотечную систему над Лиспом FRL (Frame Representation
Language). Другим подобным примером являются языки представления
лингвистических знаний и языки спецификации проблем типа Утопист. Эти и другие
языки представления знаний нашлн отражение в данной книге. Наряду с развитием языковых средств в последние годы велись активные
исследования в области создания систем программного обеспечения поддержки
разработок, включающих подсистемы данных проекта, управляющие программы,
подсистемы автоматизации программирования, подсистемы отладки программных
комплексов и др.