Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В)


НазваМодальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В)
Дата конвертації09.02.2013
Розмір445 b.
ТипПрезентации



Модальні твердження - твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, А знає твердження В).

  • Модальні твердження - твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, А знає твердження В).

  • Недостовірне твердження (інша назва - неточне твердження) - твердження, істинність або хибність якого не встановлена однозначно, тобто твердження, яке не є ні достовірно істинним, ні достовірно хибним.

  • Твердження, які можна водночас вважати і модальним, і недостовірним: “Можливо, що Х”.



Модальні логіки - логічні системи, які оперують з модальними твердженнями.

  • Модальні логіки - логічні системи, які оперують з модальними твердженнями.

  • Основні типи:

  • логіки, які стверджують про можливість або необхідність того чи іншого факту (логіки можливого і необхідного, логіки можливого - алетичні логіки);

  • логіки, які визначають ставлення суб’єкта до тих чи інших тверджень, в першу чергу його знання та віру (логіки знання, логіки віри, епістемічні логіки)



думки різних експертів;

  • думки різних експертів;

  • інтелектуальні агенти;

  • навчальні системи (моделювання знань учня);



0 - неможливі твердження;

  • 0 - неможливі твердження;

  • 1 - можливі, але не необхідні твердження;

  • 2 - необхідні твердження.

  • В іншій інтерпретації - достовірно істинні; невідомо, істинні чи хибні; достовірно хибні.



Кx(A) - агент X знає про істинність твердження A;

  • Кx(A) - агент X знає про істинність твердження A;

  • Вx(A) - агент X вважає твердження A істинним;

  • Sx(A) - агент X стверджує про істинність твердження A;



аксіома “модус поненс”: (Кx(A)& Кx(A=>B)) => Кx(B);

  • аксіома “модус поненс”: (Кx(A)& Кx(A=>B)) => Кx(B);

  • аксіома істинності знання: Кx(A) =>A;

  • аксіома позитивної інтроспекції: Кx(A) => Кx(Кx(A));

  • аксіома негативної інтроспекції: ¬Кx(A) => Кx(¬ Кx(A));

  • аксіома виведення (епістемічної необхідності): якщо можна логічно вивести А, то Кx(A) ;

  • аксіома логічної всемогутності: якщо Кx(A) і з А випливає В, то Кx(B).

  • Аналіз цих та подібних постулатів.



В основному пов’язується з іменем Кріпке.

  • В основному пов’язується з іменем Кріпке.

  • Метафора “паралельних світів”.

  • Універсум можливих світів; відношення досяжності.



3 - необхідно істинні твердження; істинні в усіх можливих світах;

  • 3 - необхідно істинні твердження; істинні в усіх можливих світах;

  • 2 - нейтрально істинні;

  • 1 - нейтрально хибні;

  • 0 - необхідно хибні.



Недостовірне твердження (інша назва - неточне твердження) - твердження, істинність або хибність якого не встановлена точно, тобто твердження, яке не є ні достовірно істинним, ні достовірно хибним.

  • Недостовірне твердження (інша назва - неточне твердження) - твердження, істинність або хибність якого не встановлена точно, тобто твердження, яке не є ні достовірно істинним, ні достовірно хибним.

  • Неточне (недостовірне) логічне виведення - виведення в умовах недостовірних знань.



Дано А (можливо, недостовірно); дано правило A=>B (можливо, недостовірне). Чи має місце В?

  • Дано А (можливо, недостовірно); дано правило A=>B (можливо, недостовірне). Чи має місце В?

  • З’ясування причин тієї чи іншої події.



об’єктивна (в основному пов’язується з імовірностями);

  • об’єктивна (в основному пов’язується з імовірностями);

  • суб’єктивна;

  • комбінована.



Коефіцієнти упевненості характеризують міру невизначеності твердження. Від 0 до 1 або від -1 до 1.

  • Коефіцієнти упевненості характеризують міру невизначеності твердження. Від 0 до 1 або від -1 до 1.

  • Можуть носити імовірносний характер, але не обов’язково.

  • Найбільшого поширення набули методи логічного виведення приєднаного типу.

  • Постановка задачі: дано ρ(А) та ρ(A=>B); визначити ρ(В) .

  • Зв’язок з імовірностями.

  • Проблема комбінування свідоцтв.



Формула повної ймовірності:

  • Формула повної ймовірності:

  • P(A)=∑ P(A|Hi)*P(Hi).

  • Формула Байєса:

  • P(Hi |A) = (P(A|Hi)* P(Hi))/ ∑ P(A|Hk)*P(Hk)



Обмеженість чисто байєсівського підходу.

  • Обмеженість чисто байєсівського підходу.

  • Необхідність застосування спрощених схем недостовірного логічного виведення.



Міра впевненості в твердженні Н при заданому свідоцтві Е: МВ(Н|Е); 0<МВ(Н|Е)<1.

  • Міра впевненості в твердженні Н при заданому свідоцтві Е: МВ(Н|Е); 0<МВ(Н|Е)<1.

  • Міра недостовірності твердження Н при заданому свідоцтві Е: МD(Н|Е); 0<МD(Н|Е)<1.

  • Комбінована міра впевненості, фактор упевненості, коефіцієнт упевненості: CF(H|E) = MB(H|E)-MD(H|E).



Коефіцієнти упевненості CF: від -1 до 1.

  • Коефіцієнти упевненості CF: від -1 до 1.

  • Якщо дані CF(A) (коефіцієнт упевненості передумови) та CF(A=>B) (коефіцієнт упевненості правила), то коефіцієнт упевненості висновку CF(B)=CF(A)*CF(A=>B).

  • CF(не А) = - CF(A).

  • CF (A or B) = max(CF(A),CF(B)).

  • CF (A and B) = min(CF(A),CF(B)).



r = r1+r2-r1*r2, якщо r1 та r2 >0;

  • r = r1+r2-r1*r2, якщо r1 та r2 >0;

  • r = r1+r2+r1*r2, якщо r1 та r2 <0;

  • r=(r1+r2)/(1-min(|r1|,|r2|)), якщо r1 та r2 різних знаків. Якщо r1 = -1, r2 = 1, то r = 0.



Байєсівські мережі довіри (Піерл).

  • Байєсівські мережі довіри (Піерл).

  • Теорія Демпстера-Шефера.



Схожі:

Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) iconНемає нічого сильнішого за знання, воно завжди і в усьому переважає… Платон Інтерактивна вправа “Так або ні”
...
Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) icon«Основні поняття, відношення, твердження початкового етапу вивчення геометрії в 7 класі» «Основні поняття, відношення, твердження початкового етапу вивчення геометрії в 7 класі»
«Основні поняття, відношення, твердження початкового етапу вивчення геометрії в 7 класі»
Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) iconАтмосферний тиск самостійна робота
Виберіть правильне твердження. Космонавт вийшов у відкритий космос із орбітальної станції
Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) iconСамостійна робота початковий рівень
Виберіть правильне твердження. Космонавт вийшов у відкритий космос із орбітальної станції
Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) iconТема уроку: Ознаки подібності трикутників
Чи є вірним твердження: якщо ∆aвс~∆A'В'С′, а ∆A'В'С′~∆A"В"С′′, то ∆aвс~∆ A"В"С′′?
Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) iconВзаємне розміщення двох кіл математичний диктант
З точки а до кола проведено дотичні ав І ас (в І с точки дотику). Яке твердження правильне
Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) iconГеометрія 10 клас За підручником М.І. Бурда, Н. А. Тарасенкова повторення курсу планіметрії
Всі інші твердження доводять, спираючись на аксіоми, означення понять та раніше доведені теореми
Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) iconРішення для керування територіально розподіленими іт ресурсами. Наші вендори твердження №1
Високопродуктивні обчислювальні системи (hpc-кластери, суперкомп’ютери, Real-Time database & Database in memory)
Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) iconСамостійна робота початковий рівень
На руку людини сів комар. Виберіть правильне твердження а комар чинить на шкіру при укусі більший тиск, ніж танк на дорогу
Модальні твердження твердження, які дають ту чи іншу оцінку інших тверджень (наприклад, а знає твердження В) iconМета проекту: Мета проекту
Проектна робота пропонує системи рівнянь з параметрами, і має за мету допомогти учням 9 класу чітко і логічно застосовувати математичні...

Додайте кнопку на своєму сайті:
dok.znaimo.com.ua


База даних захищена авторським правом ©dok.znaimo.com.ua 2013
звернутися до адміністрації
dok.znaimo.com.ua
Головна сторінка