SlideShare a Scribd company logo
1 of 42
Прямая и обратная цепочки рассуждений ,[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
1 шаг 2 шаг 3 шаг А G Е Н С В А G Е Н С В А G Е Н С В А G Е Н С В D D D F F Z
Цепочка соответствующих рассуждений имеет вид: А D C F B Z Это и есть т.н. прямая цепочка рассуждений.  Было выведено, что наряду с исходными фактами существуют также ситуации  D, F  и  Z.  Например, исходные факты –результаты анализов, а  Z –  возможный диагноз.
Предположим теперь, что мы хотим использовать эту ЭС, чтобы установить, существует ли ситуация  Z , например? (Болен ли человек конкретной болезнью – свиным гриппом?)
На первый взгляд кажется, что мы уже установили этот факт. Но мы попутно установили и другие новые факты ( F  и  D ), которые теперь нас не интересуют.  Была проделана «лишняя» в смысле установления  Z  работа. В реальных ЭС, содержащих не три правила, а сотни и тысячи, будет проделана огромная дополнительная работа по построению вполне справедливых цепочек вывода, не имеющих отношения к  Z .( Хотя в рассмотренном примере все цепочки имели отношение к  Z ).
Замечание ,[object Object],[object Object],[object Object]
Проиллюстрируем обратную цепочку вывода на той же ЭС
1 шаг 2 шаг 3 шаг А G Е Н С В А G Е Н С В А G Е Н С В А G Е Н С В D F Z F=? D=? Z
Обсуждение ,[object Object],[object Object],[object Object]
Например, для обратной цепочки рассуждений диалог может выглядеть следующим образом: ,[object Object],[object Object],[object Object],[object Object],[object Object],Вывод:  Z  существует
Пример простой диагностирующей ЭС ,[object Object],где  - какой-то факт, выполнение которого приводит к результату  , представляющему из себя определенный вопрос пользователю в виде альтернативного меню (АМ) А М
Факт  может иметь и более сложный вид: Заранее известно множество всех возможных фактов из данной предметной области и  множество всех возмохных результатов, б о льшая часть которых является вопросами, а некоторые из них – т.н. терминальными  вершинами (ТВ).  ТВ – факты, носящие характер конкретных  «диагнозов» или выводов.
[object Object],[object Object]
П О М О Г И ТВ
Обсуждение ,[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object]
Формальное описание продукционной ЭС
База знаний ЭС: ,[object Object],[object Object],[object Object]
Задача продукционной ЭС ,[object Object],[object Object],[object Object]
Продукции как операторы изменяющие состояние рабочего поля ,[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object]
Пример.  Пусть:
Тогда:
Представление и использование нечетких знаний
Элементы нечеткой логики ,[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object]
Основные логические операции нечеткой логики: ,[object Object],[object Object],[object Object]
Обсуждение  ,[object Object],[object Object],[object Object]
Функции принадлежности.  Пример. Мне 49 лет. Насколько истинно утверждение, что я старый ? 0 20 40 60 80 100 Возраст Старый 0.25 0.5 0.75 1.0
Обсуждение  ,[object Object],[object Object],[object Object]
Возможные осложнения ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object]
Коэффициенты уверенности Шортлифа ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Далее Шортлиф предложил формулы для пересчета мер доверия и недоверия при наличии нескольких свидетельств в пользу одной гипотезы ,[object Object],[object Object],[object Object],[object Object],[object Object]
Тогда: ,[object Object],[object Object],[object Object],[object Object],*
Обсуждение  ,[object Object],[object Object],[object Object]
Пример   ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object]
Пример (продолжение) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

More Related Content

What's hot

556 1 алгебра. 10кл.-кузнецова, муравьева и др_минск, 2013 -271с
556 1  алгебра. 10кл.-кузнецова, муравьева и др_минск, 2013 -271с556 1  алгебра. 10кл.-кузнецова, муравьева и др_минск, 2013 -271с
556 1 алгебра. 10кл.-кузнецова, муравьева и др_минск, 2013 -271сpsvayy
 
математик анализ лекц№3
математик анализ лекц№3математик анализ лекц№3
математик анализ лекц№3narangerelodon
 
Ruby: работа с массивами
Ruby: работа с массивамиRuby: работа с массивами
Ruby: работа с массивамиEvgeny Smirnov
 
04 классическая логика предикатов
04 классическая логика предикатов04 классическая логика предикатов
04 классическая логика предикатовJulia Gorbatova
 
Kuznecova 9klass
Kuznecova 9klassKuznecova 9klass
Kuznecova 9klassqwasar1
 
Таблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказыванияТаблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказыванияaleksashka3
 
УПРАВЛЕНИЕ ПО ВЫХОДУ ЛИНЕЙНЫМ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМ ОБЪЕКТОМ В УСЛОВИ...
УПРАВЛЕНИЕ ПО ВЫХОДУ ЛИНЕЙНЫМ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМ ОБЪЕКТОМ В УСЛОВИ...УПРАВЛЕНИЕ ПО ВЫХОДУ ЛИНЕЙНЫМ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМ ОБЪЕКТОМ В УСЛОВИ...
УПРАВЛЕНИЕ ПО ВЫХОДУ ЛИНЕЙНЫМ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМ ОБЪЕКТОМ В УСЛОВИ...ITMO University
 
Формы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийФормы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийserge_luch
 
Ruby — Паттерны программирования
Ruby — Паттерны программированияRuby — Паттерны программирования
Ruby — Паттерны программированияEvgeny Smirnov
 
математик анализ лекц№10
математик анализ лекц№10математик анализ лекц№10
математик анализ лекц№10narangerelodon
 
элементы языка и типы данных
элементы языка и типы данныхэлементы языка и типы данных
элементы языка и типы данныхЕлена Ключева
 
Aleksey Demidov - Evolving ontologies in the aspect of handling temporal or c...
Aleksey Demidov - Evolving ontologies in the aspect of handling temporal or c...Aleksey Demidov - Evolving ontologies in the aspect of handling temporal or c...
Aleksey Demidov - Evolving ontologies in the aspect of handling temporal or c...AIST
 
Логика 03. Классическая логика высказываний
Логика 03. Классическая логика высказыванийЛогика 03. Классическая логика высказываний
Логика 03. Классическая логика высказыванийVictor Gorbatov
 
Квадратичная математика
Квадратичная математикаКвадратичная математика
Квадратичная математикаDEVTYPE
 
лекция 6 тема 1
лекция 6 тема 1лекция 6 тема 1
лекция 6 тема 1Noobie312
 

What's hot (20)

556 1 алгебра. 10кл.-кузнецова, муравьева и др_минск, 2013 -271с
556 1  алгебра. 10кл.-кузнецова, муравьева и др_минск, 2013 -271с556 1  алгебра. 10кл.-кузнецова, муравьева и др_минск, 2013 -271с
556 1 алгебра. 10кл.-кузнецова, муравьева и др_минск, 2013 -271с
 
математик анализ лекц№3
математик анализ лекц№3математик анализ лекц№3
математик анализ лекц№3
 
Logika
LogikaLogika
Logika
 
Soboland Sat
Soboland SatSoboland Sat
Soboland Sat
 
Ruby: работа с массивами
Ruby: работа с массивамиRuby: работа с массивами
Ruby: работа с массивами
 
04 классическая логика предикатов
04 классическая логика предикатов04 классическая логика предикатов
04 классическая логика предикатов
 
Kuznecova 9klass
Kuznecova 9klassKuznecova 9klass
Kuznecova 9klass
 
Таблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказыванияТаблицы истинности. Эквивалентные высказывания
Таблицы истинности. Эквивалентные высказывания
 
УПРАВЛЕНИЕ ПО ВЫХОДУ ЛИНЕЙНЫМ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМ ОБЪЕКТОМ В УСЛОВИ...
УПРАВЛЕНИЕ ПО ВЫХОДУ ЛИНЕЙНЫМ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМ ОБЪЕКТОМ В УСЛОВИ...УПРАВЛЕНИЕ ПО ВЫХОДУ ЛИНЕЙНЫМ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМ ОБЪЕКТОМ В УСЛОВИ...
УПРАВЛЕНИЕ ПО ВЫХОДУ ЛИНЕЙНЫМ ПАРАМЕТРИЧЕСКИ НЕОПРЕДЕЛЕННЫМ ОБЪЕКТОМ В УСЛОВИ...
 
Формы мышления, алгебра высказываний
Формы мышления, алгебра высказыванийФормы мышления, алгебра высказываний
Формы мышления, алгебра высказываний
 
Ruby — Паттерны программирования
Ruby — Паттерны программированияRuby — Паттерны программирования
Ruby — Паттерны программирования
 
математик анализ лекц№10
математик анализ лекц№10математик анализ лекц№10
математик анализ лекц№10
 
элементы языка и типы данных
элементы языка и типы данныхэлементы языка и типы данных
элементы языка и типы данных
 
Ruby строки
Ruby строкиRuby строки
Ruby строки
 
Aleksey Demidov - Evolving ontologies in the aspect of handling temporal or c...
Aleksey Demidov - Evolving ontologies in the aspect of handling temporal or c...Aleksey Demidov - Evolving ontologies in the aspect of handling temporal or c...
Aleksey Demidov - Evolving ontologies in the aspect of handling temporal or c...
 
Логика 03. Классическая логика высказываний
Логика 03. Классическая логика высказыванийЛогика 03. Классическая логика высказываний
Логика 03. Классическая логика высказываний
 
Квадратичная математика
Квадратичная математикаКвадратичная математика
Квадратичная математика
 
лекция 6 тема 1
лекция 6 тема 1лекция 6 тема 1
лекция 6 тема 1
 
лекция
лекциялекция
лекция
 
Lection 21
Lection 21Lection 21
Lection 21
 

Viewers also liked

[Skolkovo Robotics 2015 Day 1] Ющенко А. Моделирование эмоций в организации и...
[Skolkovo Robotics 2015 Day 1] Ющенко А. Моделирование эмоций в организации и...[Skolkovo Robotics 2015 Day 1] Ющенко А. Моделирование эмоций в организации и...
[Skolkovo Robotics 2015 Day 1] Ющенко А. Моделирование эмоций в организации и...Skolkovo Robotics Center
 
Finance for Executives / финансы для нефинансовых менеджеров
Finance for Executives / финансы для нефинансовых менеджеровFinance for Executives / финансы для нефинансовых менеджеров
Finance for Executives / финансы для нефинансовых менеджеровBoris Aksenov
 
презентация курс лекций_2013
презентация курс лекций_2013презентация курс лекций_2013
презентация курс лекций_2013Ilya Munerman
 
Família seraphim ppt
Família seraphim pptFamília seraphim ppt
Família seraphim pptalcides1975
 
Pemahaman pengendalian internal print
Pemahaman pengendalian internal printPemahaman pengendalian internal print
Pemahaman pengendalian internal printElysa Ponti
 
Família seraphim ppt
Família seraphim pptFamília seraphim ppt
Família seraphim pptalcides1975
 
jangan ingin menjadi orang bodoh
jangan ingin menjadi orang bodohjangan ingin menjadi orang bodoh
jangan ingin menjadi orang bodohdonymuhammad
 
There is vs there are
There is vs there areThere is vs there are
There is vs there areKutsal Koçuk
 
count non-count - quantifiers
count   non-count - quantifierscount   non-count - quantifiers
count non-count - quantifiersKutsal Koçuk
 
This that - these - those
This   that - these - thoseThis   that - these - those
This that - these - thoseKutsal Koçuk
 
Creating High Performance Teams
Creating High Performance TeamsCreating High Performance Teams
Creating High Performance TeamsTonyStewart
 

Viewers also liked (20)

[Skolkovo Robotics 2015 Day 1] Ющенко А. Моделирование эмоций в организации и...
[Skolkovo Robotics 2015 Day 1] Ющенко А. Моделирование эмоций в организации и...[Skolkovo Robotics 2015 Day 1] Ющенко А. Моделирование эмоций в организации и...
[Skolkovo Robotics 2015 Day 1] Ющенко А. Моделирование эмоций в организации и...
 
презентация
презентацияпрезентация
презентация
 
Finance for Executives / финансы для нефинансовых менеджеров
Finance for Executives / финансы для нефинансовых менеджеровFinance for Executives / финансы для нефинансовых менеджеров
Finance for Executives / финансы для нефинансовых менеджеров
 
презентация курс лекций_2013
презентация курс лекций_2013презентация курс лекций_2013
презентация курс лекций_2013
 
Família seraphim ppt
Família seraphim pptFamília seraphim ppt
Família seraphim ppt
 
Sunu1
Sunu1Sunu1
Sunu1
 
umum
umumumum
umum
 
Pemahaman pengendalian internal print
Pemahaman pengendalian internal printPemahaman pengendalian internal print
Pemahaman pengendalian internal print
 
Família seraphim ppt
Família seraphim pptFamília seraphim ppt
Família seraphim ppt
 
л 2 2
л 2 2л 2 2
л 2 2
 
Examen pràctico bloque iii
Examen pràctico bloque iiiExamen pràctico bloque iii
Examen pràctico bloque iii
 
jangan ingin menjadi orang bodoh
jangan ingin menjadi orang bodohjangan ingin menjadi orang bodoh
jangan ingin menjadi orang bodoh
 
Examen pràctico bloque ii
Examen pràctico bloque iiExamen pràctico bloque ii
Examen pràctico bloque ii
 
present simple
present simplepresent simple
present simple
 
There is vs there are
There is vs there areThere is vs there are
There is vs there are
 
6) cràneo
6) cràneo6) cràneo
6) cràneo
 
count non-count - quantifiers
count   non-count - quantifierscount   non-count - quantifiers
count non-count - quantifiers
 
Materi Sistem Politik Indonesia
Materi Sistem Politik IndonesiaMateri Sistem Politik Indonesia
Materi Sistem Politik Indonesia
 
This that - these - those
This   that - these - thoseThis   that - these - those
This that - these - those
 
Creating High Performance Teams
Creating High Performance TeamsCreating High Performance Teams
Creating High Performance Teams
 

Similar to л 2 14

Nikolay Shilov. CSEDays 2
Nikolay Shilov. CSEDays 2Nikolay Shilov. CSEDays 2
Nikolay Shilov. CSEDays 2LiloSEA
 
554 1 алгебра. 9кл.-кузнецова, муравьева и др_минск, 2014 -287с
554 1  алгебра. 9кл.-кузнецова, муравьева и др_минск, 2014 -287с554 1  алгебра. 9кл.-кузнецова, муравьева и др_минск, 2014 -287с
554 1 алгебра. 9кл.-кузнецова, муравьева и др_минск, 2014 -287сdfdkfjs
 
Алгоритмы и структуры данных осень 2013 лекция 1
Алгоритмы и структуры данных осень 2013 лекция 1Алгоритмы и структуры данных осень 2013 лекция 1
Алгоритмы и структуры данных осень 2013 лекция 1Technopark
 
Михаил Александров, Индуктивное моделирование
Михаил Александров, Индуктивное моделированиеМихаил Александров, Индуктивное моделирование
Михаил Александров, Индуктивное моделированиеLidia Pivovarova
 
15
1515
15JIuc
 
Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в крипт...
Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в крипт...Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в крипт...
Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в крипт...Positive Hack Days
 
Работа с текстом на уроках математики
Работа с текстом на уроках математикиРабота с текстом на уроках математики
Работа с текстом на уроках математикиKirrrr123
 
18
1818
18JIuc
 
013
013013
013JIuc
 
Скорость роста функций
Скорость роста функцийСкорость роста функций
Скорость роста функцийDEVTYPE
 
014
014014
014JIuc
 
016
016016
016JIuc
 

Similar to л 2 14 (20)

Nikolay Shilov. CSEDays 2
Nikolay Shilov. CSEDays 2Nikolay Shilov. CSEDays 2
Nikolay Shilov. CSEDays 2
 
554 1 алгебра. 9кл.-кузнецова, муравьева и др_минск, 2014 -287с
554 1  алгебра. 9кл.-кузнецова, муравьева и др_минск, 2014 -287с554 1  алгебра. 9кл.-кузнецова, муравьева и др_минск, 2014 -287с
554 1 алгебра. 9кл.-кузнецова, муравьева и др_минск, 2014 -287с
 
117
117117
117
 
лекция 2.docx
лекция 2.docxлекция 2.docx
лекция 2.docx
 
Алгоритмы и структуры данных осень 2013 лекция 1
Алгоритмы и структуры данных осень 2013 лекция 1Алгоритмы и структуры данных осень 2013 лекция 1
Алгоритмы и структуры данных осень 2013 лекция 1
 
Михаил Александров, Индуктивное моделирование
Михаил Александров, Индуктивное моделированиеМихаил Александров, Индуктивное моделирование
Михаил Александров, Индуктивное моделирование
 
15
1515
15
 
Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в крипт...
Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в крипт...Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в крипт...
Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в крипт...
 
Работа с текстом на уроках математики
Работа с текстом на уроках математикиРабота с текстом на уроках математики
Работа с текстом на уроках математики
 
18
1818
18
 
Diskretn analiz
Diskretn analizDiskretn analiz
Diskretn analiz
 
Diskretn analiz
Diskretn analizDiskretn analiz
Diskretn analiz
 
013
013013
013
 
Logika1
Logika1Logika1
Logika1
 
Скорость роста функций
Скорость роста функцийСкорость роста функций
Скорость роста функций
 
014
014014
014
 
Ivm1257
Ivm1257Ivm1257
Ivm1257
 
Ivm1257
Ivm1257Ivm1257
Ivm1257
 
016
016016
016
 
расчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнкрасчетная работа яруллина г.с.афбнк
расчетная работа яруллина г.с.афбнк
 

More from Kirill Bystrov (11)

л 2 13
л 2 13л 2 13
л 2 13
 
л 2 12
л 2 12л 2 12
л 2 12
 
л 2 11
л 2 11л 2 11
л 2 11
 
л 2 10
л 2 10л 2 10
л 2 10
 
л 2 9
л 2 9л 2 9
л 2 9
 
л 2 3
л 2 3л 2 3
л 2 3
 
л 2 1
л 2 1л 2 1
л 2 1
 
л 2 8
л 2 8л 2 8
л 2 8
 
л 2 6
л 2 6л 2 6
л 2 6
 
л 2 5
л 2 5л 2 5
л 2 5
 
л 2 4
л 2 4л 2 4
л 2 4
 

л 2 14

  • 1.
  • 2.
  • 3. 1 шаг 2 шаг 3 шаг А G Е Н С В А G Е Н С В А G Е Н С В А G Е Н С В D D D F F Z
  • 4. Цепочка соответствующих рассуждений имеет вид: А D C F B Z Это и есть т.н. прямая цепочка рассуждений. Было выведено, что наряду с исходными фактами существуют также ситуации D, F и Z. Например, исходные факты –результаты анализов, а Z – возможный диагноз.
  • 5. Предположим теперь, что мы хотим использовать эту ЭС, чтобы установить, существует ли ситуация Z , например? (Болен ли человек конкретной болезнью – свиным гриппом?)
  • 6. На первый взгляд кажется, что мы уже установили этот факт. Но мы попутно установили и другие новые факты ( F и D ), которые теперь нас не интересуют. Была проделана «лишняя» в смысле установления Z работа. В реальных ЭС, содержащих не три правила, а сотни и тысячи, будет проделана огромная дополнительная работа по построению вполне справедливых цепочек вывода, не имеющих отношения к Z .( Хотя в рассмотренном примере все цепочки имели отношение к Z ).
  • 7.
  • 9. 1 шаг 2 шаг 3 шаг А G Е Н С В А G Е Н С В А G Е Н С В А G Е Н С В D F Z F=? D=? Z
  • 10.
  • 11.
  • 12.
  • 13. Факт может иметь и более сложный вид: Заранее известно множество всех возможных фактов из данной предметной области и множество всех возмохных результатов, б о льшая часть которых является вопросами, а некоторые из них – т.н. терминальными вершинами (ТВ). ТВ – факты, носящие характер конкретных «диагнозов» или выводов.
  • 14.
  • 15. П О М О Г И ТВ
  • 16.
  • 17.
  • 19.
  • 20.
  • 21.
  • 22.
  • 26.
  • 27.
  • 28.
  • 29.
  • 30. Функции принадлежности. Пример. Мне 49 лет. Насколько истинно утверждение, что я старый ? 0 20 40 60 80 100 Возраст Старый 0.25 0.5 0.75 1.0
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38.
  • 39.
  • 40.
  • 41.
  • 42.

Editor's Notes

  1. Конец лекции
  2. Начало лекции