Логика нечетких моделей представления знаний в системах автоматизированного проектирования (строительство)

• Автор: Шалимова, Надежда Валерьевна
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2003
• Место защиты: Москва
• Количество страниц: 134 с.

ОГЛАВЛЕНИЕ
Введение

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

1.1. Введение

1.2. Структура феномена знаний

1.3. Онтология систем представления знаний

1.4. Классификация систем представления знаний

1.5. Нечеткие системы

1.6. Выводы

Глава 2. Математические основания нечеткого

моделирования

2.1. Введение
2.2. Формализм алгебры бинарных отношений
2.3. Аксиоматика булевых алгебр
2.4. Нечеткие высказывания
2.5. Нечеткое отрицание
2.6. Нечеткая конъюнкция
2.7. Нечеткая дизъюнкция
2.8. Пример теоретикомножественной интерпретации
нечетких логических связок
2.9. Выводы
Глава 3. Элементы теории нечетких множеств
3.1. Введение
3.2. Булева алгебра характеристических функций
четких множеств
3.3. Нечеткие множества. Функции принадлежности
3.4. Алгебра функций принадлежности
3.5, Примеры теоретикомножественной интерпретации
алгебраических операций
3.6. Выводы
Глава 4. Нечеткие модели проектных ситуаций
4.1. Введение
4.2. Особенности поиска приемлемых решений при нечетких
исходных условиях
4.3 Приемы построения функций принадлежности
4.4. О проектировании нечеткого адаптивного управления в
одной задаче водоотведения
4.5. Выводы
Общие выводы
Литература


Этот конфликт между способами представления условий и цели и создаёт то специфическое напряжение, то противоречие, которое знакомо каждому проектировщику, конструктору и архитектору, оказавшемуся в проблемной ситуации. Для решения необходимо раскрыть, обнаружить в предпроектном описании те объекты и отношения между ними, которые соответствовали бы поставленной цели. Но каждый из реальных объектов обладает потенциально огромным количеством признаков, может быть поставлен в различные отношения с другими реальными объектами. Какие отношения, какие признаки должен прежде всего обнаружить субъект проектирования? Какие дополнительные объекты и отношения должны быть им предусмотрены, чтобы приблизиться к поставленной цели? Но в том то и состоит специфика проблемной ситуации, что до того как задача решена, ответить на эти вопросы проектировщик не может. Характер проблемной ситуации существенно меняется в случаях, когда речь идёт о коллективной творческой деятельности - проектной организации, группы экспертов и т. При изучении поведения систем с интеллектом замечено [], что люди стремятся узнать те факты, которые подтверждают их мнение; факты, противоречащие их мнениям и убеждениям, стремятся игнорировать. Именно из-за своей установки человек воспринимает ту информацию, которую “хочет” воспринимать, а ту, которую “не хочет”, сознательно или подсознательно игнорирует. Следовательно, индивидуальная установка формирует индивидуальный “внутренний Мир” субъекта, а потому в интеллектуальном коллективе ровно столько “Миров”, сколько участвующих в нём субъектов. Проблемная ситуация приобретает системный характер: у различных участников творческого процесса возникают не только различные “видения” проблемы, но и различные информационные модели “мысленной динамики” процесса творчества, в частности, - проектирования. При этом индивидуальные установки, играющие роль некоторых целостных “внешних возмущений” для отдельных субъектов, обязательно меняются в результате, например, обучения, определяя в то же время способности и потребности во взаимных информационных контактах участников процесса. Следовательно, если на каждом этапе проектного поиска в рассуждениях проектировщика есть нечто, называемое логикой, то это не что иное, как нечеткая логика. Благодаря тому, что в ней сочетаются нечеткости и логика, она может претендовать на роль языка описания в моделях мышления человека. Исследования в области нечеткого моделирования объектов и процессов проектирования в САПР актуальны, поскольку позволяют создать общие логико-математические основания для формализации интеллектуальных процедур, обеспечить системное проектирование объектов строительства единой теоретико-модельной базой, уточнить, в частности, место нечеткой логики в системном анализе. Определить роль и место методов нечеткого моделирования в традиционных базах знаний систем автоматизированного проектирования, и показать перспективность применения систем с нечеткой логикой в качестве "советующих1' информационных подсистем при множественной неоднозначной и субъективной оценке проектных решений. Реализовать аксиоматический и алгебраический подходы к исследованию нечеткой логики для формализации нечисловых знаний сточки зрения их качественной семантики. Выявить и явным образом описать на языке классических теорий множеств и отношений четкие основания нечеткой логики с целью определения действительного места последней в теоретикомодельных методах. Построить фрагменты прикладной нечеткой логики и изучить соответствующие им модельные возможности. Объект исследования: системное строительное проектирование как вид деятельности, в котором реализуются мыслимые "движения" объекта проектирования, обусловленные процессами принятия локальных и глобальных проектных решений. Предмет исследования: аксиоматические методы построения логических исчислений, аксиоматика нечеткой логики, системотехнические и информационные особенности представления объектов и процессов в автоматизированном строительном проектировании.