62 Логико-лингвистические модели в системах управления. — М.: Энергоиздат, 1981. — 232 с., ил.
В пер. 1 р. 70 к.
Излагается логико-лингвистический подход к принятию решений в системах управления. Рассматриваются инженерные приемы реализации такого подхода с помощью ЭВМ. Проблема рассматривается в рамках метода семиотического моделироваяяя. Значительное внимание уделено автоматизация дедуктивного вывода решений по управлению. Круг рассматриваемых приложений — это задачи оперативно-диспетчерского характера.
Для научных и инженерно-технических работников, занимающихся АСУ. Может быть полезна инженерам, студентам старших курсов вузов и аспирантам соответствующих специальностей. „ 30501-051 ББК 32.816
"•051(00-81 159'81(Э)- 150200000° 6Ф6.5
От автора
d
Эта книга не учебник, хотя в ней много примеров. При чтении примеры пропускать нельзя, они органическая часть текста, и в них зачастую вводятся новые понятия и обозначения.
Вся использованная и дополнительная литература дана в конце книги. В тексте библиографических ссылок нет. Перед списком литературы дан краткий обзор, цель которого — помочь читателю найти работы, уточняющие и углубляющие проблемы, обсуждаемые в книге. В конце приведена сводная таблица обозначений, используемых в реляционных описаниях. Ею :можно пользоваться при анализе записей в примерах. В алфавитном указателе перечисляются все приводимые в тексте понятия, которые при первом упоминании выделяются курсивом.
Книгу можно читать по-разному. Можно читать все подряд. Но существуют и сокращенные маршруты. Самый короткий: введение, § 1-1—1-4, гл. 6 и 7. На этом маршруте читатель познакомится с общими идеями метода и практическими примерами. При знакомстве с исчислением предикатов можно безболезненно пропустить гл. 3, кроме § 3-6, а при знакомстве с теорией логического вывода — § 5-2—5-9.
Материал, вошедший в книгу, многократно обсуждался на Всесоюзных симпозиумах по ситуационному управлению большими системами, совещаниях и конференциях по семиотическим моделям в управлении. При написании § 3-2—3-5, 5-2—5-8 автором использован материал В. Е. Хазацкого, В. Н. Вагина, § 7-2 — В. Е. Хазацкого, А. А. Башлыкова. Особенно много для улучшения содержания книги и ее стиля принесли автору беседы с рецензентом книги В. Н. Вагиным и ее научным редактором Ю. А. Гастевым. Автор приносит им свою глубокую благодарность.
Оглавление
От автора............... 3-'*
Введение............... 4*
*
Глава первая. Типология систем управления .... 9
1-1. Простые системы управления .......
1-2. Системы с адаптацией ..... .... 1
1-3. Модельные системы управления ...... 14'
1-4. Семиотические системы ...... ... 16
1-5. Формальные и семиотические системы ..... 18 "
1-6. Логико-лингвистические модели ...... 30
Глава вторая. Представление знаний в системах управ- .
ления. Реляционные языки ......... 31
2-1. Информационные банки и модели знаний ..... 31
2-2. Функциональные классы в естественных языках . . 35'
2-3. Шкалирование квантификаторов ...... 46
2-4. Синтагматические цепи и /?Х-коды ...... 51 :
2-5. Семантические сети .......... 57
2-6. Универсальный семантический код ..... 59;
2-7. Фреймовые представления ........ 62'.
2-8. Проблемы перевода в реляционные представления . 64
Глава третья. Представление -знаний в системах управле-
ния. Предикатные языки .......... 67
3-1. Основные элементы ЯПЗ предикатного типа . . . 67
3-2. Интерпретация в логике предикатов первого порядка 73
3-3. Общезначимость и противоречивость ..... 76
3-4. Логическое следование и теорема дедукции ... 78
3-5. Нормальные формы в логике первого порядка . . 81- . 3-6. Описание ситуаций в предикатной форме . . . .83
Глава четвертая. Пополнение и обобщение знаний в си-
стемах управления ........... 87
4-1. Иерархические модели знаний ....... 87
4-2. Пополнение описаний ........ . ""
4-3. Обобщение с помощью расширения классов . . . '.. '!"*
4-4. Обобщение по признакам ....... . Н~
4-5. Получение нечетких понятий ....... Че
4-6. Обобщение по структуре ........ *'5
4-7. Формирование «слоеного пирога» . . . . . . 4°
Глава пятая. Поиск решений в логико-лингвистических
моделях ............ • • 124
5-1 Планирование на сетях ......... '24
5-2. Особенности вывода в логике предикатов первого по-
5-3. Стандартизация предикатных формул ..... I**0
5-4. Универсум Эрбрана и эрбрановская база . . . . 138
5-5. Семантические деревья . . ....... 140
5-6. Резольвента и теорема Эрбрана ...... 143
5-7. Метод резолюции. Подстановка. Унификация . . . 146
5-8. Стратегии логического вывода ....... 154
5-9. Процедура обратного вывода ....... 164
5-10. Вероятностные схемы ......... 167
5-11. Нечеткие схемы ........... . 170
' 5-12. Индуктивные схемы .......... 173
5-13. Вывод и модели знаний ......... 176
Глава шестая. Ситуационное управление ..... 179
6-1. Основная схема ........... 179
6-2. Управление дислокационными операциями в рыбном
морском порту ........... 183
6-3. Управление отраслью заготовок ...... 187
6-4. Управление обжигом цементного клинкера . . . 191
Глава седьмая. Семиотические модели в управлении . 193
7-1. Планирование действий робота ....... 193
7-2. Управление в энергосистеме ....... 200
Приложение .............. 218
Список литературы ............ 220
Алфавитный указатель ... ..... ... 227
Цена: 150руб.
