Введение в экспертные системы




ГЛАВА 19. Система отслеживания истинности предположений


    ГЛАВА 19. Система отслеживания истинности предположений
    ГЛАВА 19. Система отслеживания истинности предположений 19.1. Отслеживание зависимостей 19.1.1. Релаксация в сети 19.1.2. Пересмотр допущений 19.2. Пересмотр теорий высказываний 19.3. Немонотонное...
    Система отслеживания истинности предположений
    Система отслеживания истинности предположений 19.1. Отслеживание зависимостей 19.2. Пересмотр теорий высказываний 19.3. Немонотонное обоснование 19.4. Работа со множеством контекстов 19.5. Сравнен...
    19.5. Сравнение различных вариантов организации систем отслеживания истинности предположений
    19.5. Сравнение различных вариантов организации систем отслеживания истинности предположений Функции компонента отслеживания истинности предположений в контексте более общей программы поиска решен...
    Рекомендуемая литература
    Рекомендуемая литература Сети зависимостей рассматриваются в работе [Charniak et al., 1987]. Статьи [De Kleer, 1986] и [Doyle, 1979] довольно сложные для неподготовленного читателя, а потому я бы...
    Упражнения
    Упражнения 1. Как вы понимаете смысл термина релаксация по отношению к сетям зависимостей? 2. Поясните отличие между монотонным и немонотонным пересмотром. 3. Если ({},{ ¬ ^р}) является причиной д...
    Структура представления связей между высказываниями для упр. 5
    Структура представления связей между высказываниями для упр. 5 6. Рассмотрите набор обоснования для системы отслеживания истинности предположений, основанной на анализе допущений: р^ q r ¬р^q s р^...
    19.1. Отслеживание зависимостей
    19.1. Отслеживание зависимостей В главе 15 рассказывалось о том, что в экспертной системе VT для фиксации зависимостей между решениями, принимаемыми в процессе проектирования, используется сеть за...
    19.1.1. Релаксация в сети
    19.1.1. Релаксация в сети Основное назначение связей в сети зависимостей состоит в том, чтобы, во-первых, показать, как изменение значения какого-либо параметра распространяется от узла к узлу, а...
    19.1.2. Пересмотр допущений
    19.1.2. Пересмотр допущений Практически во всех программах экспертных систем в процессе решения проблемы обязательно тем или иным образом обновляются представления реального мира вещей, с которыми...
    19.1. Запись информации о связях
    19.1. Запись информации о связях Программой на языке CLIPS несложно проиллюстрировать простую процедуру записи зависимостей между данными в продукционной системе с прямой цепочкой вывода. Если в р...
    19.2. Пересмотр теорий высказываний
    19.2. Пересмотр теорий высказываний Систему отслеживания истинности предположений, разработанную Мак-Аллестером [McAllester, 1980], нельзя отнести к самым первым, но ее, пожалуй, лучше всего испол...
    Структура представления связей между высказываниями
    Структура представления связей между высказываниями...
    19.3. Немонотонное обоснование
    19.3. Немонотонное обоснование Подход, предложенный Дойлом [Doyle, 1979], отличается от того, который применил Мак-Аллестер. Он основан на философии здравого смысла, в частности на презумпции знач...
    19.2. Пара конфликтующих выражений
    19.2. Пара конфликтующих выражений...
    Приведенная ниже программа на языке CLIPS реализует простой алгоритм
    Приведенная ниже программа на языке CLIPS реализует простой алгоритм отслеживания истинности предположений по отношению к простым атомарным выражениям. Литералы являются атомарными высказываниями,...
    19.4. Работа со множеством контекстов
    19.4. Работа со множеством контекстов Те системы отслеживания истинности предположений, которые мы рассматривали в предыдущих разделах, работали с единственной непротиворечивой моделью мира. Однак...
    19.4.1. Отслеживание истинности предположений, основанное на анализе допущений
    19.4.1. Отслеживание истинности предположений, основанное на анализе допущений В системах отслеживания истинности предположений, основанных на анализе допущений {assumption-based truth-maintenance...
    Решетка сред
    Решетка сред Приведенный выше пример может служить наглядной иллюстрацией того очевидного факта, что имеющуюся теорию мира (предметной области) допускается расширять, только принимая во внимание ф...
    Решетка сред, в которой выделен несовместный контекст
    Решетка сред, в которой выделен несовместный контекст В системах отслеживания истинности предположений, основанных на анализе допущений, обоснования являются частью исходной информации, которой пр...
    Решетка сред, в которой узлы, имеющие непустые списки ярлыков, заштрихованы
    Решетка сред, в которой узлы, имеющие непустые списки ярлыков, заштрихованы Очевидно, что высказывание также будет иметь место и в комбинированной среде, которая образуется совмещением обоих допущ...
    19.4.2. Использование систем отслеживания...
    19.4.2. Использование систем отслеживания истинности предположений для диагностирования на основе моделей Выше, в главах 11 и 12, были рассмотрены экспертные диагностические системы, в которых исп...
    Решетка сред, представляющая пространство...
    Решетка сред, представляющая пространство кандидатов. Несовместные контексты выделены утолщенным контуром, а минимальные кандидаты заштрихованы...








Начало