Результати пошуку
Перейти до навігації
Перейти до пошуку
Збіги в назвах сторінок
- ...сновкова логіка|висновки||Multiple-conclusion logic}}). Наприклад, правило висновування, що називається ''[[modus ponens]]'', отримує дві передумови, одну у формі ...ластивості: будь-яка функція з множин формул до формул вважається правилом висновування. Зазвичай важливими є лише [[Рекурсія|рекурсивні]] правила, тобто такі, що ...21 КБ (623 слова) - 19:58, 23 квітня 2024
- ...орт]]ом та [[право]]м. У філософії [[Теорія рішень|теорії рішень]] баєсове висновування тісно пов'язано із суб'єктивною ймовірністю, що її часто називають «[[Баєсо ...[[Статистична модель|статистичної моделі]] спостережуваних даних. Баєсове висновування обчислює апостеріорну ймовірність відповідно до [[Теорема Баєса|теореми Бає ...96 КБ (4702 слова) - 13:24, 2 лютого 2025
Збіги в текстах сторінок
- ...}) — це фішерівський принцип [[Статистичне висновування|статистичного висновування]], який було формально означено та досліджено {{нп|Аллан Бірнбаум|Алланом Б ...а [[правдоподібник]]ів вважають принцип правдоподібності для статистичного висновування засадничим. ...5 КБ (214 слів) - 18:35, 31 березня 2022
- ...ше, [[Правило висновування|правил висновування]]), що використовуються для висновування всіх [[Функціональна залежність|функціональних залежностей]] у [[Реляційна ...ункціональних залежностей, які є похідними від <math>F</math> за правилами висновування в <math>A</math>. ...11 КБ (717 слів) - 03:41, 22 травня 2022
- * [[Правило висновування]] [[Категорія:Правила висновування]] ...4 КБ (126 слів) - 01:43, 10 травня 2022
- ...ують значне спрощення на шляху до [[Статистичне висновування|статистичного висновування]]. А саме, вони дозволяють аналітичним міркуванням ґрунтуватися на вибірков == Статистичне висновування == ...14 КБ (405 слів) - 11:15, 4 травня 2024
- ...а|дедуктивною системою]] ([[аксіома]]ми і [[Правило висновування|правилами висновування]]). Формальну систему можна використати для доведення конкретних речень фор ...5 КБ (75 слів) - 20:32, 16 червня 2023
- ...сновкова логіка|висновки||Multiple-conclusion logic}}). Наприклад, правило висновування, що називається ''[[modus ponens]]'', отримує дві передумови, одну у формі ...ластивості: будь-яка функція з множин формул до формул вважається правилом висновування. Зазвичай важливими є лише [[Рекурсія|рекурсивні]] правила, тобто такі, що ...21 КБ (623 слова) - 19:58, 23 квітня 2024
- [[Категорія:Правила висновування]] ...2 КБ (117 слів) - 01:43, 10 травня 2022
- ...ення]] <math>~p</math> в залежності від [[Повна теорія|повноти]] алгоритму висновування, і, таким чином, також і від системи формальної логіки. Правило висновування заперечення як відмови імітує міркування із явним застосуванням повноти, ко ...12 КБ (595 слів) - 23:15, 22 березня 2022
- ...h>S</math>, або виводиться з попередніх формул послідовності через правило висновування <math>S</math>. Якщо <math><\gamma, \phi></math> правильне в <math>S</math> ...9 КБ (336 слів) - 15:24, 24 грудня 2024
- === Баєсове висновування === {{Див. також|Баєсове висновування}} ...14 КБ (618 слів) - 02:29, 19 червня 2022
- ...ичні моделі є частиною фундаменту [[Статистичне висновування|статистичного висновування]]. ...констатували: «Більшість проблем [[Статистичне висновування|статистичного висновування]] можна вважати проблемами, пов'язаними з статистичним моделюванням. Вони, ...11 КБ (277 слів) - 18:46, 1 червня 2024
- ...ctive Linear Definite clause resolution}}) — це елементарне [[правило висновування]], що застосовується в [[Логічне програмування|логічному програмуванні]]. В == Правило висновування ВЛВ == ...17 КБ (563 слова) - 04:17, 2 червня 2022
- === Правило висновування === {{main|Правило висновування}} ...15 КБ (533 слова) - 01:43, 8 лютого 2025
- ...здійсненним, і застосовують методи {{нп|Наближене висновування|наближеного висновування||Approximate inference}} та навчання. ...ля навчання [[Лінійний класифікатор|лінійних класифікаторів]] з алгоритмом висновування (класично при застосуванні на послідовнісних даних — [[алгоритм Вітерб ...12 КБ (402 слова) - 07:20, 25 лютого 2025
- ...рія індуктивного висновування Соломонова|ідеалізованої теорії індуктивного висновування||Solomonoff's theory of inductive inference}} {{нп|Рей Соломонов|Соломонова === Висновування === ...22 КБ (590 слів) - 03:11, 28 квітня 2022
- ...вірність помилки першого роду#Альтернативні підходи|одночасне та вибіркове висновування||Family-wise error rate#Alternative approaches}}) й критерію, що його підтр ...10 КБ (226 слів) - 09:05, 31 жовтня 2023
- ...вання|максимальний апостериорний режим]], що дозволяє зробити апостериорне висновування. Цей процес генерує приблизну вибірку з апостеріору шляхом балансування дис ...вої функції. На практиці SGLD можна використовувати для навчання [[Баєсове висновування|байєсівських]] [[Штучна нейронна мережа|нейронних мереж]] у [[Глибоке навча ...14 КБ (580 слів) - 08:02, 17 листопада 2024
- ...[[Non sequitur|формальною помилкою]] [[Баєсове висновування|байєсівського висновування]], що є зворотною до більш відомої [[Омана гравця|помилки гравця]] . Це пом ...8 КБ (187 слів) - 06:02, 31 березня 2022
- ...стичний аналіз застосовується в контексті [[Баєсове висновування|баєсового висновування]]. Якщо [[Похибки та залишки|помилки]] регресійної моделі мають [[нормальни ...щоби сказати щось суттєве про <math>\boldsymbol\beta</math>. За [[Баєсове висновування|баєсового]] ж підходу дані надаються з додатковою інформацією у вигляді [[А ...22 КБ (1518 слів) - 19:15, 23 квітня 2024
- [[Категорія:Баєсове висновування]] ...4 КБ (220 слів) - 08:24, 30 вересня 2024