Система отслеживания истинности предположений Эксперты

Первобытное и «примитивное»
искусство
Истоки христианского искусства
Индия и Китай Западная Азия
Эллада
Древнехристианская эпоха
Магометанское искусство в Индии
Дальнейшее развитие христианства
в Европе
Архитектура Запада
Романский стиль. Готика
Италия в эпоху возрождения
Фламандская и Голландская школы
Современные интерьеры
общественных зданий
Эмоциональный потенциал
архитектуры
История искусства
Об условном развитии
пространства
О масштабе и образе
Форма, материал, цвет
О  компонентах интерьера
Язык архитектуры
Дизайн архитектурной среды
Стиль модерн Ар Нуво
Промышленные выставки
Искусство Западная Европа
Искусство Россия
Архитектура и скульптура
Живопись Россия
Импрессионизм
Эпоха Возрождения
Искусство Испании
Искусство Голландии
Европа и Россия XVIII век
Формирование
История искусства
  • Доисторическая эпоха
  • Изображении божеств Египта
  • Индия и Китай Буддизм
  • Западная Азия
  • Искусство у египтян, вавилонян и персов
  • Архитектура
  • Жертвоприношение Ифигении
  • При раскопках Помпеи
  • Культ Аполлона
  • Регалии древних царей Рима
  • Идеи христианства
  • Расцвет древнехристианского искусства
  • Сасаниды
  • Постройки Индии
  • В Михайловском храме
  • Лобное место
  • Первые мастера и живописцы
  • Одежда XI—XVII веков
  • Возрождение Италии
  • Микеланджело
  • Тициан Вечеллио
  • Брабантская школа фламандцев
  • Директория и империя
  • Эпоха петровских преобразований
  • Кандинский — теоретик искусства
    Математика
    Математический анализ
    Математика лекции и примеры решения задач
    Векторная алгебра
    Интеграл Фурье
    Вычисление интегралов
    Поверхностный интеграл первого рода
    Матрицы и определители
    Типовые расчеты по математике
    Расчет электрических цепей
    Электротехника
    Курс физики кинематика Задачи
    Методы расчета сложных цепей
    Физика Задачи примеры решения
    Электротехника расчет цепей
    Задачи по электротехнике
    Примеры решения задач
    к контрольной работе
    .
    Мащиностроительное черчение
    Начертательная геометрия
    Черчение
    Техническая механика
    Инженерная графика
    Информатика
    Локальные компьютерные сети
    Базы данных Access
    Информационные сети
    Аппаратура передачи данных
    Доступ к корпоративным
    базам данных
    Локальные и глобальные сети
    Информатика
    Администрирование баз
    данных
    Атомные станции
    Воздействие радиации на человека
    Экология энергетики
    Энергетика

    Система отслеживания истинности предположений

    В этой главе мы в общих чертах представим вычислительные методы, которые используются для отслеживания зависимостей между представлением в программе состояний, действий и предположений. Начнем мы с относительно простых систем, затем перейдем к более сложным. Там, где без этого можно обойтись, мы будем пренебрегать строгими математическими формулировками и заменять их менее формальным описанием того, что делается в системе, почему делается именно так и какую пользу из этого можно извлечь.

    • В экспертной системе VT для фиксации зависимостей между решениями, принимаемыми в процессе проектирования, используется сеть зависимостей. В такой сети узлы соответствуют присвоению значений конструктивным параметрам, причем между узлами существуют два вида связей— связи содействия (contributes-to) и связи принуждения (constrains).
    • Если все ограничения в сети удовлетворяются, то она пребывает в состоянии релаксации.
    • Монотонный пересмотр (monotonic revision). Это самый простой метод, при котором программа принимает информацию о новых фактах и вычисляет, как эти факты могут повлиять на имеющееся представление, чтобы оно перешло в результате в состояние релаксации
    • Ограничения, которые накладывает на содержимое базы данных утверждений система отслеживания истинности, представляют собой фундаментальные аксиомы логики высказываний
    • Это множество получило название множества немонотонных обоснований (nonmonotonic justification), поскольку добавление высказывания в него потребует отказаться от сделанного ранее допущения.
    • Те системы отслеживания истинности предположений, которые мы рассматривали в предыдущих разделах, работали с единственной непротиворечивой моделью мира. Однако иногда возникает необходимость строить логический вывод в контексте разных моделей гипотетических миров, которые могут совпадать, а могут и не совпадать с реальностью Вычислить расходимость (дивергенцию) и вихрь (ротор) в произвольной точке , а также найти уравнения векторных линий поля градиентов скалярного поля . Справочный материал и примеры к выполнению контрольной работы по математике
    • В системах отслеживания истинности предположений, основанных на допущениях, различные варианты сред обитания можно организовать в виде решетки, поскольку допущения носят инкрементальный характер.
    • Диагностирование, основанное на моделях анализируемых объектов, использует не столько эмпирический опыт эксперта, сколько более или менее полную и непротиворечивую теорию корректного поведения этих объектов. Идея состоит в том, чтобы, располагая на входе данными о наблюдаемых отклонениях в поведении, высказать предположение об одном или нескольких возмущениях в описании системы, которые могли бы объяснить эти отклонения.
    • Подходы к построению системы отслеживания истинности предположений, предлагаемые Дойлом и Мак-Аллестером, можно использовать для нахождения единственного решения проблемы, удовлетворяющего заданным ограничениям.
    • Поясните отличие между монотонным и немонотонным пересмотром.
    Решение типовых задач по математике и физике