
- •1 Основные понятия
- •1.1 Происхождение и понимание термина «искусственный интеллект»
- •1.2 Подходы к пониманию проблемы
- •Тест Тьюринга и интуитивный подход
- •Символьный подход
- •Логический подход
- •Агентно-ориентированный подход
- •Гибридный подход
- •1.3 Модели и методы исследований Символьное моделирование мыслительных процессов
- •Работа с естественными языками
- •Представление и использование знаний
- •Машинное обучение
- •Биологическое моделирование искусственного интеллекта
- •Робототехника
- •Машинное творчество
- •Другие области исследований
- •Современный искусственный интеллект
- •Некоторые из самых известных ии-систем:
- •1.4. Классификация интеллектуальных систем
- •1.5 Методы поиска решений
- •Генетические алгоритмы
- •2. Представление знаний в системах искусственного интеллекта
- •2.1 Представление знаний
- •Формальная (Аристотелева) логика и логика высказываний
- •Как упростить логическую формулу?
- •Как решать логические задачи?
- •Решение логических задач средствами алгебры логики
- •Решение логических задач табличным способом
- •Решение логических задач с помощью рассуждений
- •Логика предикатов
- •3 Логическое программирование на прологе
- •Объекты данных
- •Представление списков
- •Некоторые операции над списками
- •Ограничение перебора
- •Пример Пролог программы
- •4 Логика предикатов второго порядка
- •5. Нечеткая логика
- •Нечеткие множества
- •Основные характеристики нечетких множеств
- •Методы построения функций принадлежности нечетких множеств
- •Операции над нечеткими множествами
- •Наглядное представление операций над нечеткими множествами
- •Свойства операций и
- •Нечеткая и лингвистическая переменные
- •Нечеткие высказывания и нечеткие модели систем
- •Нечеткая база знаний
- •6 Байесовы сети
- •6.1. Простейший логический вывод
- •6.2. Распространение вероятностей в эс
- •6.3. Последовательное распространение вероятностей
- •6.4. Экспертные системы, использующие субъективные вероятности
- •6.5 Байесовские сети доверия как средство разработки эс
- •6.5.1. Основные понятия и определения
- •6.5.2. Пример построения простейшей байесовской сети доверия
- •6.5.3. Процесс рассуждения (вывода) в байесовских сетях доверия
- •6.5.4. Байесовские сети доверия как одно из направлений современных экспертных систем
- •6.6 Сети доверия с условными гауссовскими переменными
- •6.6.1. Непрерывные случайные величины
- •6.6.2. Непрерывные гауссовские переменные
- •6.6.3. Числовые характеристики случайных величин
- •6.6.4. Совместное использование дискретных и непрерывных переменных в байесовских сетях доверия
- •6.6.5. Логический вывод в байесовских сетях доверия с непрерывными и дискретными состояниями
- •6.7 Экспертные системы на основе теории Демстера-Шеффера
- •6.7.1. Предпосылки возникновения новой теории.
- •6.7.2. Основы теории Демстера-Шеффера
- •6.7.3. Меры доверия и правдоподобия в тдш
- •6.7.4. Отличие тдш от теории вероятностей
- •6.7.5. Связь между тдш и классической теорией вероятностей
- •6.7.6. Комбинация функций доверия
- •7 Решатели проблем, основанных на знаниях
- •7.1 Семантические сети
- •7.2 Фреймы
- •7.3 Нейронные сети
- •7.4 Экспертные системы
- •Модель экспертных систем
- •7 Распознание образов Контурный анализ
- •Код Фримена
- •Современные программные и инструментальные средства создания искусственного интеллекта
6.6.5. Логический вывод в байесовских сетях доверия с непрерывными и дискретными состояниями
Логический вывод в таких БСД заключается в распространении вероятностей и параметров гауссовских законов распределения по всей сети в зависимости от полученных свидетельств. В частности, для рассматриваемого примера для исходного набора данных будут получены оценки производственных затрат:
Однако эти оценки могут быть пересчитаны для случая иной загрузки оборудования или получения новых свидетельств о ставках аренды или нормах амортизации. Наряду с этим возможен и обратный вывод в этой простейшей экспертной системе. Он, например, может заключаться в определении допустимых ставок арендных плат при возможном значении суммарных производственных затрат.
В основе процесса логического вывода лежат довольно сложные математические алгоритмы, которые мы рассмотрим на простейшей двухуровневой сети для случая прямого распространения распределения вероятностей.
Пусть
независимые дискретные случайные
величины
и
непрерывные случайные величины
оказывают
влияние на результирующую случайную
величину Y.
Рис.8.4. Двухуровневая БСД с непрерывными и дискретными переменными
Каждая
из дискретных случайных величин
имеет
своими исходами значения
с
вероятностями
j,
для которых
.
Совместное влияние дискретных случайных
величин на Y характеризуется математическим
ожиданием
и
дисперсиями
.
Каждая из непрерывных случайных
величин
имеет
непрерывное нормальное распределение
с параметрами
.
Совместное влияние непрерывной случайной
величины
и
исходов дискретных величин на
результирующую случайную величину Y
характеризуется весовыми коэффициентами
.
Тогда характеристики результирующей величины Y могут быть вычислены по следующим выражениям:
В частности, для рассмотренного выше примера, содержащего две исходные непрерывные (r= 2) переменные и одну дискретную (s = 1) переменную, имеющую три исхода (n1=3), числовые характеристики случайной переменной "Производственные затраты" будут
6.7 Экспертные системы на основе теории Демстера-Шеффера
6.7.1. Предпосылки возникновения новой теории.
При использовании теории вероятностей для представления неопределенных знаний исследователи столкнулись с рядом трудностей. Это стимулировало возникновение новой теории, которая была разработана в 1960 г Демстером и в дальнейшем развита Шеффером (1970 год). Она получила название "теории Демстера-Шеффера" (ТДШ).
Основными предпосылками ее возникновения явилось преодоление ряда ограничений, накладываемых классической теорией вероятностей на предоставление неопределенных знаний. К разряду таких ограничений обычно относят следующие:
представление полного незнания, когда мы ничего не знаем об объекте;
жесткие условия
, что требует знания или определения вероятностей всех возможных исходов (гипотез);
фиксирования вероятности отрицательной гипотезы вероятностью прямой гипотезы, т.к.
.
Первое ограничение связано с тем, что традиционный байесовский подход представляет незнание (неосведомленность) равномерными вероятностями. Некоторый недостаток этого подхода заключается в том, что равномерное распределение вероятности, оказывается, представляет большую информацию, чем дано.
Так, например, если эксперт утверждает, что из всех возможных видов транспортировки груза, мы должны воспользоваться речным транспортом ("РТ"), либо железнодорожным ("ЖД"), то это говорит о степени незнания эксперта и совсем не означает, что вероятности возможной транспортировки будут Р("РТ")=0,5 и Р("ЖД")=0,5.
Второе ограничение определяется тем, что психологически во многих ситуациях эксперту сложно оставаться в рамках строгого математического аппарата теории вероятностей, которая по своей природе носит объективный характер. Необходимо нарушить жесткие условия равенства единице сумм вероятностей всех исходов, особенно при большом их количестве.
В
большинстве случаев реально наблюдаемые
свидетельства подтверждают не какой-либо
конкретный исход (или гипотезу) а сразу
же некоторое множество, что не позволяет
определить вероятность каждого из них.
Так, если мы на 90% уверены в том, что
промчавшийся мимо нас автомобиль - это
"Жигули", то эта масса уверенности
(
)
относится ко всем моделям "Жигулей",
а масса уверенности
-
ко всем прочим маркам легковых
автомобилей, причем более детальное
её распределение нам неизвестно.
Что касается третьего ограничения, то, как следует из множества реальных ситуаций, свидетельства, которые только частично поддерживают гипотезу не следует рассматривать как свидельство также поддерживающее отрицание гипотезы.