Формальна логіка у вирішенні задач діагностики та лікування

Сентябрь 2, 2022

Главная
Алгебра
Формальна логіка у вирішенні задач діагностики та лікування

Содержание

2. Основи логіки висловлювань 1.1. Поняття висловлювання 1.2. Типи висловлювань 1.3. Множина значень та алфавіт висловлювання. Логічні
3. 1.1. Поняття висловлювання Висловлюванням називається речення, яке можна оцінити як істинне чи хибне. Висловлювання позначають буквами
4. Типи висловлювань
5. 1.2. Типи висловлювань За будовою: містить одне яке-небудь повідомлення або твер-дження про існуючий світ Просте висловлювання
6. 1.2. Типи висловлювань За змістом: висловлення, в якому щось стверджується чи запе-речується з певним ступенем припущення
7. Будь-яке висловлення може відповідати або не відповідати дійсності. У першому випадку воно називається істинним, у другому
8. В логіці висловлювань використовується штучна мова, яка має такі знакові засоби (алфавіт логіки висловлювань): - змінні
9. 2.1. Бінарні і унарні операції Оператори Унарні оператори, що використовують одну логічну змінну Бінарні оператори, що
10. Операція заперечення Висловлення ¬А називається запереченням висловлення А, якщо воно істинне, коли А – хибне і
11. Операція кон’юнкції Кон’юнкцією висловлень А і В називається таке висловлення А ∧ В , яке істинне
12. Операція диз’юнкція Диз’юнкцією висловлень А і В називається таке висловлення A ∨ B , яке хибне
13. Операція імплікації Імплікацією висловлень А і В називається таке висловлення A→B , яке є хибним лише
14. Операція еквівалентності Еквівалентністю (подвійною імплікацією) висловлень А і В називається таке висловлення А↔В , яке є
15. Діаграми Вена Логічні операції
16. Основні логічні функції Заперечення Диз’юнкція Кон’юнкція Основні логічні функції Вираження інших логічних функцій через основні
17. Основні логічні функції “При відкритому переломі тазу наявні ушкодження зовнішніх тканин тіла (шкіри), сильний біль в
18. ЛМ у діагностиці захворювань Діагностичний алгоритм – це логічна послідовність правил, в якій інформація про ознаки
19. ЛМ у діагностиці захворювань Детерміністична логіка При реалізації детерміністичної логіки мозок лікаря здійснює виконання алгоритму, тобто
20. ЛМ у діагностиці захворювань Приклад скороченого алгоритму постановки діагнозу інфекційного вірусного гепатиту І. Якщо колір шкіри
21. висока ймовірність помилок при виконанні складних алгоритмів; неможливість одночасного охоплення великої кількості патологій; спроби створення універсальних
22. можливість екстреної діагностики типу патології з групи однорідних захворювань; можливість автоматизації цілих етапів діагностичного процесу з
24. Скачать презентацию

Слайд 2

Основи логіки висловлювань
1.1. Поняття висловлювання
1.2. Типи висловлювань
1.3. Множина

значень та алфавіт висловлювання.
Логічні операції та таблиці істинності
2.1. Бінарні і унарні операції
2.2. Основні логічні операції: заперечення, кон’юнкція, диз’юнкція, імплікація, еквіваленція
2.3. Основні логічні функції
Логічні моделі у діагностиці захворювань
3.1. Типи діагностичних і прогностичних технологій
3.2. Види лікарської логіки

П л а н л е к ц і ї

Слайд 3

1.1. Поняття висловлювання
Висловлюванням називається речення, яке можна оцінити як істинне чи

хибне.

Висловлювання позначають буквами латинського алфавіту: А, В, X тощо.
Наприклад, А: у пацієнта спостерігається порушення серцевого ритму
Висловлювання
Речення

Слайд 4

Типи висловлювань

Слайд 5

1.2. Типи висловлювань
За будовою:
містить одне яке-небудь повідомлення або твер-дження про існуючий

світ

Просте висловлювання

Складене висловлювання

утворюється з простих висловлювань за допомо-гою логічних операторів

Листя м’яти містить ефірну олію

Валідол справляє седа-тивну і судинорозши-рювальну дію

Слайд 6

1.2. Типи висловлювань
За змістом:
висловлення, в якому щось стверджується чи запе-речується з

певним ступенем припущення

Проблемне висловлювання

Достовірне висловлювання

висловлювання, що містить знання, обґрунтовані та перевірені практикою

Умовне висловлювання

висловлювання, в якому ві-дображається залежність того чи іншого явища від тих чи інших обставин

причиною головного болю є, ймовірно, підвищений тиск

життя без води неможливе

якщо в організмі не вистачає вітаміну D, то існує велика ймовірність розвитку рахіту

Слайд 7

Будь-яке висловлення може відповідати або не відповідати дійсності. У першому випадку

воно називається істинним, у другому − хибним.

Множина значень висловлювання

Істинне

Хибне

Пневмонія − запалення легень

= 1

А: Пневмонія − запалення легень

Слайд 8

В логіці висловлювань використовується штучна мова, яка має такі знакові засоби

(алфавіт логіки висловлювань): - змінні логіки висловлювань – A, B, C, D, … позначають прості висловлювання; - знаки логічних сполучників: ∧ – кон’юнкція; ∨ – диз’юнкція; → – імплікація; ↔ – еквіваленція; ¬ – заперечення; - технічні знаки: дужки, кома.

Алфавіт висловлювання

Слайд 9

2.1. Бінарні і унарні операції
Оператори
Унарні
оператори, що використовують одну логічну

змінну

Бінарні
оператори, що використовують дві логічні змінні

Слайд 10

Операція заперечення
Висловлення ¬А називається запереченням висловлення А, якщо воно істинне,

коли А – хибне і хибне, коли А – істинне.

Логічні операції

Таблиця істинності для заперечення

Слайд 11

Операція кон’юнкції
Кон’юнкцією висловлень А і В називається таке висловлення А

∧ В , яке істинне тоді і тільки тоді, коли істині висловлення А і В.

Логічні операції

Таблиця істинності для кон’юнкції

Слайд 12

Операція диз’юнкція
Диз’юнкцією висловлень А і В називається таке висловлення A

∨ B , яке хибне тоді і тільки тоді, коли хибні висловлення А і В.

Логічні операції

Таблиця істинності для диз’юнкції

Слайд 13

Операція імплікації
Імплікацією висловлень А і В називається таке висловлення A→B

, яке є хибним лише тоді, коли антецедент (перша частина імплікації – висловлення А) є істинним, а консеквент (друга частина імплікації – висловлення В) – хибним.

Логічні операції

Таблиця істинності для імплікації

Слайд 14

Операція еквівалентності
Еквівалентністю (подвійною імплікацією) висловлень А і В називається таке

висловлення А↔В , яке є істинним тоді і тільки тоді, коли висловлення А і В одночасно істинні або хибні

Логічні операції

Таблиця істинності для еквівалентності

Слайд 15

Діаграми Вена
Логічні операції

Слайд 16

Основні логічні функції
Заперечення Диз’юнкція Кон’юнкція
Основні логічні функції
Вираження інших логічних функцій через основні

Слайд 17

Основні логічні функції
“При відкритому переломі тазу наявні ушкодження зовнішніх тканин тіла

(шкіри), сильний біль в ділянці тазу, неможливість самостійно встати або сісти”
А − “наявність ушкодження зовнішніх тканин”;
В – “сильний біль в ділянці тазу”;
С – “неможливість самостійно встати”;
К − “неможливість самостійно сісти”;
1 – відкритий перелом тазу;
(А ∧ В ∧ (С∨К)) = 1

Слайд 18

ЛМ у діагностиці захворювань
Діагностичний алгоритм – це логічна послідовність правил, в

якій інформація про ознаки стану хворого співставляється з комплексом ознак, що характеризують типові захворювання

Слайд 19

ЛМ у діагностиці захворювань
Детерміністична логіка
При реалізації детерміністичної логіки мозок лікаря здійснює

виконання алгоритму, тобто чіткої послідовності заздалегідь заданих дій і правил ⇒ лікар повинен мати готове (і в ідеалі – єдине) діагностичне рішення, а також − первинну схему лікувального процесу

Слайд 20

ЛМ у діагностиці захворювань
Приклад скороченого алгоритму постановки діагнозу інфекційного
вірусного гепатиту
І.

Якщо колір шкіри пацієнта має жовтий відтінок, то необхідно переконатися, що жовтуха не механічна. Пальпацією необхідно визначити збільшення і хворобливість печінки. Рентгенографічно необхідно виключити пухлину голівки підшлункової залози і закупорювання жовчних проток. ІІ. Якщо жовтуха паренхіматозна, необхідно переконатися, що ураження печінкової тканини має запальний характер. Необхідно виявити: - підвищені значення ШОЕ і лейкоцитів крові (ознаки запалення); - підвищення рівня амінотрансфераз: АЛТ і ACT (вихід ферментів у кров − ознака руйнування гепатоцитів).

Слайд 21

висока ймовірність помилок при виконанні складних алгоритмів;
неможливість одночасного охоплення великої кількості

патологій;
спроби створення універсальних алгоритмів призводять до їх якісного ускладнення, до ступеня практичного невиконання їх в особі одного лікаря

Недоліки детерміністичної логіки

ЛМ у діагностиці захворювань

Слайд 22

можливість екстреної діагностики типу патології з групи однорідних захворювань;
можливість автоматизації цілих

етапів діагностичного процесу з економією робочого часу лікаря.

Переваги детерміністичної логіки

ЛМ у діагностиці захворювань

Формальна логіка у вирішенні задач діагностики та лікування

Содержание

Основи логіки висловлювань 1.1. Поняття висловлювання 1.2. Типи висловлювань 1.3. Множина

1.1. Поняття висловлюванняВисловлюванням називається речення, яке можна оцінити як істинне чи

Типи висловлювань

1.2. Типи висловлюваньЗа будовою:містить одне яке-небудь повідомлення або твер-дження про існуючий

1.2. Типи висловлюваньЗа змістом:висловлення, в якому щось стверджується чи запе-речується з

Будь-яке висловлення може відповідати або не відповідати дійсності. У першому випадку

В логіці висловлювань використовується штучна мова, яка має такі знакові засоби

2.1. Бінарні і унарні операціїОператориУнарні оператори, що використовують одну логічну

Операція заперечення Висловлення ¬А називається запереченням висловлення А, якщо воно істинне,

Операція кон’юнкції Кон’юнкцією висловлень А і В називається таке висловлення А

Операція диз’юнкція Диз’юнкцією висловлень А і В називається таке висловлення A

Операція імплікації Імплікацією висловлень А і В називається таке висловлення A→B

Операція еквівалентності Еквівалентністю (подвійною імплікацією) висловлень А і В називається таке

Діаграми Вена Логічні операції

Основні логічні функціїЗаперечення Диз’юнкція Кон’юнкціяОсновні логічні функціїВираження інших логічних функцій через основні

Основні логічні функції“При відкритому переломі тазу наявні ушкодження зовнішніх тканин тіла

ЛМ у діагностиці захворюваньДіагностичний алгоритм – це логічна послідовність правил, в

ЛМ у діагностиці захворюваньДетерміністична логікаПри реалізації детерміністичної логіки мозок лікаря здійснює

ЛМ у діагностиці захворюваньПриклад скороченого алгоритму постановки діагнозу інфекційного вірусного гепатитуІ.

висока ймовірність помилок при виконанні складних алгоритмів;неможливість одночасного охоплення великої кількості

можливість екстреної діагностики типу патології з групи однорідних захворювань;можливість автоматизації цілих

Похожие презентации

Основи логіки висловлювань
1.1. Поняття висловлювання
1.2. Типи висловлювань
1.3. Множина

1.1. Поняття висловлювання
Висловлюванням називається речення, яке можна оцінити як істинне чи

1.2. Типи висловлювань
За будовою:
містить одне яке-небудь повідомлення або твер-дження про існуючий

1.2. Типи висловлювань
За змістом:
висловлення, в якому щось стверджується чи запе-речується з

2.1. Бінарні і унарні операції
Оператори
Унарні
оператори, що використовують одну логічну

Операція заперечення
Висловлення ¬А називається запереченням висловлення А, якщо воно істинне,

Операція кон’юнкції
Кон’юнкцією висловлень А і В називається таке висловлення А

Операція диз’юнкція
Диз’юнкцією висловлень А і В називається таке висловлення A

Операція імплікації
Імплікацією висловлень А і В називається таке висловлення A→B

Операція еквівалентності
Еквівалентністю (подвійною імплікацією) висловлень А і В називається таке

Діаграми Вена
Логічні операції

Основні логічні функції
Заперечення Диз’юнкція Кон’юнкція
Основні логічні функції
Вираження інших логічних функцій через основні

Основні логічні функції
“При відкритому переломі тазу наявні ушкодження зовнішніх тканин тіла

ЛМ у діагностиці захворювань
Діагностичний алгоритм – це логічна послідовність правил, в

ЛМ у діагностиці захворювань
Детерміністична логіка
При реалізації детерміністичної логіки мозок лікаря здійснює

ЛМ у діагностиці захворювань
Приклад скороченого алгоритму постановки діагнозу інфекційного
вірусного гепатиту
І.

висока ймовірність помилок при виконанні складних алгоритмів;
неможливість одночасного охоплення великої кількості

можливість екстреної діагностики типу патології з групи однорідних захворювань;
можливість автоматизації цілих