Студопедия — Понятие экспертной системы и применение логического вывода при построении экспертных систем.
Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Понятие экспертной системы и применение логического вывода при построении экспертных систем.






Экспертной системой (ЭС) называется система, которая позволяет пользователю описать проблемную ситуацию и получить ее решение, сопровождаемое объяснениями, почему выбрано именно это решение.

Перечислим основные компоненты ЭС.

A) ГБД – глобальная база данных (содержит исходную информацию, необходимую для решения проблемной ситуации).

B) БЗ – база знаний, суть набор операции преобразования ГБД (с помощью последовательности этих операций мы и получаем ответ, причем сама последовательность правил составляет определяет обоснование).

C) Стратегия выбора следующей операции.

D) Терминальное состояние ГБД (содержит ответ на вопрос).

Схема работы ЭС выглядит в виде дерева.

//рисунок (17)

Одним из видов ЭС являются ЭС, основанные на предикатных языках представления знаний, и частности на языке ЛППП. В этом случае ГБД представляет собой набор предикатов, а БЗ – суть набор логических формул. Стратегия определяется применяемой стратегией резолюции (например OL-вывод, вывод на клозах Хорна и т.д.) и реализуется с помощью соответствующей машины логического вывода. В случае применения хорновской стратегии, ГБД формулируется в виде хорновских фактов, БЗ – в виде хорновских аксиом, а терминальное состояние в виде хорновской теоремы.

Различают 3 класса запросов к ЭС – классы A, B, C.

2.2.8. Запросы класса A.

Запросы класса A предполагают ответ «да» или «нет». В полноценных системах возможно три случая. Рассмотрим соответствующие примеры.

Пример 1. Предикаты: С(x) – x – человек, S(x) – x – смертен.

ГБД – C(Мао) – Мао человек.

БЗ - "x [C(x) ®S(x)] – все люди смертны

Вопрос. S(Мао) – смертен ли Мао?

Система пытается доказать теорему S(Мао).

       
   

C (Мао) ù S (Мао) Ú ù С (Мао) ù S (Мао) Ú ù С (Мао) =

ù С(x) Ú S (x) {Мао/x} С (Мао)

ù S (Мао)

 

Это удается - ответ «да».

Пример 2. P(x, y) – x в пункте y.

ГБД - P(Иван, Томск) – Иван в Томске.

БЗ - "x [P(x, Томск)®ùP(x, Новосибирск)] – если кто-то в Томске, то он не в Новосибирске.

Вопрос. P(Иван, Новосибирск) – Иван в Новосибирске?

Система пытается доказать теорему P(Иван, Новосибирск).

//вывод (19)

P(Иван, Томск)

ùP (x, Томск) ÚùP (x, Новосибирск) {Иван/x}

ùP (Иван, Новосибирск)

Это невозможно (нет унифицируемых литер).

Система пытается доказать теорему ùP(Иван, Новосибирск)

//вывод (20)

P(Иван, Томск)

ùP (x, Томск) Ú ùP (x, Новосибирск) {Иван / x}

P (Иван, Новосибирск)

  P (Иван, Новосибирск)   Ú   ùP(Иван, Томск)  
P (Иван, Томск)      
P (Иван, Новосибирск) Ú ùP(Иван, Томск)

 

Это удается. Значит, ответ «нет».

Пример 3. ГБД - P(Огород, Бузина) – Бузина в огороде

Вопрос. P(Дядька, Киев) – дядька в Киеве?

Невозможно доказать ни P(Дядька, Киев), ни ùP(Дядька, Киев). Ответ – недостаточно информации (данных или знаний) для получения информации.

Примечание. Иногда автоматизированные системы всегда выдают ответы «да» или «нет» (например, Turbo Prolog в вопросно-ответном режиме). В этом случае ответ «нет» реально может означать, как «нет», так и недостаточность информации.

 







Дата добавления: 2015-10-19; просмотров: 554. Нарушение авторских прав; Мы поможем в написании вашей работы!



Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...

Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...

Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...

Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...

Влияние первой русской революции 1905-1907 гг. на Казахстан. Революция в России (1905-1907 гг.), дала первый толчок политическому пробуждению трудящихся Казахстана, развитию национально-освободительного рабочего движения против гнета. В Казахстане, находившемся далеко от политических центров Российской империи...

Виды сухожильных швов После выделения культи сухожилия и эвакуации гематомы приступают к восстановлению целостности сухожилия...

КОНСТРУКЦИЯ КОЛЕСНОЙ ПАРЫ ВАГОНА Тип колёсной пары определяется типом оси и диаметром колес. Согласно ГОСТ 4835-2006* устанавливаются типы колесных пар для грузовых вагонов с осями РУ1Ш и РВ2Ш и колесами диаметром по кругу катания 957 мм. Номинальный диаметр колеса – 950 мм...

Деятельность сестер милосердия общин Красного Креста ярко проявилась в период Тритоны – интервалы, в которых содержится три тона. К тритонам относятся увеличенная кварта (ув.4) и уменьшенная квинта (ум.5). Их можно построить на ступенях натурального и гармонического мажора и минора.  ...

Понятие о синдроме нарушения бронхиальной проходимости и его клинические проявления Синдром нарушения бронхиальной проходимости (бронхообструктивный синдром) – это патологическое состояние...

Опухоли яичников в детском и подростковом возрасте Опухоли яичников занимают первое место в структуре опухолей половой системы у девочек и встречаются в возрасте 10 – 16 лет и в период полового созревания...

Studopedia.info - Студопедия - 2014-2024 год . (0.011 сек.) русская версия | украинская версия