Фомичёв В. А. Математические основы представления содержания посланий компьютерных интеллектуальных агентов [Текст] /
В. А. Фомичёв ; Гос. ун-т — Высшая школа экономики. — М. :
ТЕИС, 2007. - 174 [2] с. - 1000 экз. - ISBN 978-5-7598-0516-i:
(в обл.).
В монографии предложен оригинальный, широко применимый (по гипотезе автора — универсальный) математический подход к представлению содержания посланий компьютерных интеллектуальных агентов (КИА) в многоагентных системах, в частности, в системах электронной коммерции. Выразительные возможности определяемого в книге класса СК-языков (стандартных концептуальных языков) превышают возможности основных известных подходов к этой проблеме, в том числе возможности языка представления содержания посланий КИА, разработанного в рамках международного Фонда интеллектуальных физических агентов (FIPA). Обоснованы возможности использования аппарата СК-языков в проектировании лингвистических процессоров (компьютерных систем, осуществляющих смысловую обработк-письменных текстов или устной речи на естественном языке) в произвольных предметных областях в качестве инструмента математического описания смысловой структуры не только предложений, но и сложных связных текстов (или дискурсов), относящихся к деловой прозе: текстов по медицине, технике, экономике, юриспруденции и т.д.
Значительная часть материалов монографии была опубликована в научных жур налах «Информационные технологии», «Качество и ИПИ (САЬ5)-технологии», «Качество. Инновации. Образование», «Informatica» (Словения), «Cybernetica» (Бельгия) и трудах международных научных конференций и симпозиумов, проходивших в России, Австрии, Великобритании, Германии, Дании, Нидерландах, Словении, Франции.
Книга будет полезна разработчикам логико-информационных основ многоагентных систем и электронной коммерции, специалистам в области компьютерной лингвистики, а также студентам и начинающим ученым.
СОДЕРЖАНИЕ
Введение ........................................................7
Глава 1. Проблема представления содержания посланий компьютерных интеллектуальных агентов и формализация семантики естественного языка.............................................14
1.1. Проблема разработки языков общения компьютерных интеллектуальных агентов ..................................................14
1.2. Значение формальных методов представления содержания естественно-языковых текстов для разработки лингвистических процессоров ... 16
1.3. Подходы к формализации семантики естественного языка, разработанные в конце 1960-х - первой половине 1980-х гг. ...................20
1.4. Роль формальных систем семантических представлений с большими выразительными возможностями в проектировании лингвистических процессоров ................................................24
Глава 2. Математическая модель для описания системы первичных единиц концептуального уровня, используемых многоагентной системой .......................................................30
2.1. Постановка задачи............................................30
2.2. Базовые обозначения и вспомогательные определения..............33
2.2.1. Общематематические обозначения .........................33
2.2.2. Предварительные определения и обозначения из теории формальных грамматик и языков ...................................33
2.2.3. Используемые определения из теории алгебраических систем . . 34
2.3. Краткая характеристика предлагаемой математической модели для описания системы первичных единиц концептуального уровня, используемых многоагентной системой ...................................35
2.4. Основные идеи определения класса сортовых систем ..............37
2.5. Формальное определение сортовой системы ......................39
2.6. Типы, порождаемые сортовыми системами, и конкретизации типов . . 40
2.6.1. Определение множества типов ............................40
2.6.2. Интерпретация определения множества типов...............42
2.6.3. Отношение конкретизации на множестве типов..............44
2.7. Концептуально-объектные системы .............................48
2.8. Системы кванторов и логических связок. Концептуальные базисы ... 50
2.9. Обсуждение разработанной математической модели для описания системы первичных единиц концептуального уровня ..................54
2.9.1. Особенности модели с математической точки зрения..........54
2.9.2. Сравнение модели с другими подходами к описанию первичных единиц концептуального уровня ............................56
Глава 3. Математическая модель для описания структурированных значений предложений и связных текстов на естественном языке .... 59
3.1. Постановка задачи............................................59
3.2. Краткая характеристика предлагаемого решения поставленной
задачи..........................................................62
3.2.1. Краткая характеристика новых правил построения формул.....62
3.2.2. Схема определения трех классов формул, порождаемых концептуальными базисами ........................................66
3.3. Использование интенсиональных кванторов в формулах............68
3.4. Использование реляционных символов и разметка формул..........72
3.4.1. Правила для применения реляционных символов.............72
3.4.2. Правило, позволяющее помечать формулы ..................75
3.5. Использование логических связок «не», «и», «или» ................76
3.6. Построение составных обозначений понятий и объектов............78
3.6.1. Правило для построения составных обозначений понятий .....78
3.6.2. Построение составных обозначений объектов................79
3.7. Использование в формулах кванторов существования и всеобщности. Построение обозначений упорядоченных наборов...............81
3.7.1. Применение кванторов существования и всеобщности ........81
3.7.2. Построение обозначений упорядоченных наборов ............82
3.7.3. Сводная таблица правил /"[ObPflO] ........................83
3.8. СК-языки. Математическое исследование их свойств...............84 s
3.9. Обсуждение построенной математической модели.................
Глава 4. Исследование выразительных возможностей СК-языков ... .92
4.1. Удобный способ описания событий .............................92
4.2. Формализация предположений о структуре семантических представлений множеств ..............................................94
4.3. Построение семантических представлений вопросов с ролевыми вопросительными словами ........................................96
4.4. Семантические представления вопросов о количестве предметов
и о количестве событий ...........................................
4.5. Семантические представления вопросов с формами вопросительно-относительного местоимения «какой»...............................99
4.6. Построение семантических представлений вопросов с ответом «Да»/Нет» ......................................................99
4.7. Отображение смысловой структуры команд .....................100
4.8. Представление теоретико-множественных отношений и операций
на множествах..................................................101
4.9. Представление смысла фраз с придаточными предложениями цели
и с косвенной речью.............................................102
Глава 5. Исследование возможностей применения аппарата
СК-языков к построению онтологии .............................103
5.1. Онтологии и их значение для глобальных информационных сетей ... 103
5.2. Анализ некоторых возможностей представления знаний о предметных областях средствами СК-языков ...............................105
5.2.1. Представление содержания фрагментов знаний о мире .......106
5.2.2. Объектно-ориентированные представления фрагментов
знаний.....................................................107
5.3. Моделирование выразительных механизмов основных языков дескриптивной логики ...........................................108
5.4. Построение сложноорганизованных фрагментов знаний о мире.....109
Глава 6. Исследование выразительных возможностей основных подходов к представлению содержания посланий компьютерных интеллектуальных агентов......................................113
6.1. Использование СК-языков для представления содержания посланий, соответствующих отдельным фразам естественного языка.............113
6.2. Явное представление причинно-следственных отношений, переда-вамых дискурсами ..............................................116
6.3. Семантические представления дискурсов со ссылками на смысл
фраз и более крупных частей текста................................117
6.4. Проблема формирования контрактов и протоколов переговоров
в области электронной коммерции .................................118
6.5. Анализ возможностей использования СК-языков для формирования контрактов и протоколов переговоров в области электронной коммерции .....................................................121
6.6. Краткие сведения о бесконтекстных грамматиках.................125
6.6.1. Определения и примеры.................................125
6.6.2. Бесконтекстные грамматики в форме Бэкуса-Наура..........128
6.7. Синтаксис языка представления содержания посланий компьютерных интеллектуальных агентов FIPA SL Content Language .............129
6.8. Моделирование выразительных механизмов языка представления содержания посланий FIPA SL Content Language средствами
СК-языков .....................................................132
6.9. Преимущества СК-языков по сравнению с языком FIPA SL Content Language ......................................................135
6.10. Сравнение выразительных возможностей СК-языков с возможностями основных известных подходов к формальному представлению содержания ЕЯ-текстов ..........................................136
6.10.1. Сравнение с основными подходами, разработанными
в нашей стране..............................................136
6.10.2. Сравнение с основными зарубежными подходами ..........139
Литература.....................................................143
Приложение. Доказательства Лемм 1, 2 и Утверждения 3.5 из главы 3 ... 165
Цена: 200руб.
