до цього правила. Прикладом правила, що не є ефективним у цьому сенсі, є нескінченномісне ω-правило[en]. До популярних правил висновування у логіці висловлювань...
21 KB (1,451 words) - 18:58, 23 April 2024
Машина висно́вування — програма, яка робить логічні висновки з попередньо побудованої бази фактів і правил згідно з законами формальної логіки. Правила продукційної...
12 KB (788 words) - 09:39, 30 May 2023
або аксіоми, правила висновування, або обидва як правила перетворення логічних виразів[en] у системі. В той час як правило висновування завжди застосовується...
3 KB (135 words) - 05:39, 11 July 2024
Правило резолюцій — це правило висновування, що сходить до методу доказу теорем через пошук протиріч; використовується в логіці висловлювань і логіці...
24 KB (2,594 words) - 07:36, 3 July 2024
Статисти́чне висно́вування (англ. statistical inference) — це процес застосування аналізу даних для встановлення властивостей розподілу ймовірностей,...
72 KB (4,661 words) - 17:46, 23 April 2024
отриманні додаткових свідчень[en] або інформації застосовують правило Баєса. Баєсове висновування є важливим прийомом у статистиці, особливо в математичній...
96 KB (7,180 words) - 23:43, 24 July 2024
Аксіоми Армстронга (section Аксіоми (первинні правила))
Аксіоми Армстронга — множина аксіом (або, точніше, правил висновування), що використовуються для висновування всіх функціональних залежностей у реляційній базі...
11 KB (884 words) - 02:41, 22 May 2022
Вивід чи виведення може відноситись до: Дедукція — процес в логіці Правило висновування — в математичній логіці Прямий вивід Зворотний вивід Вивід типів...
1 KB (77 words) - 13:18, 3 July 2024
Modus ponens (category Правила висновування)
modus ponens навів Льюїс Керрол: «Що Черепаха сказала Ахіллові». Правило висновування Список латинських висловів Список логічних символів Modus operandi...
4 KB (273 words) - 00:43, 10 May 2022
ВЛВ-резолюція (category Правила висновування)
SLD-resolution, Selective Linear Definite clause resolution) — це елементарне правило висновування, що застосовується в логічному програмуванні. Воно є вдосконаленням...
17 KB (1,440 words) - 03:17, 2 June 2022
Заперечення як відмова (category Правила висновування)
Запере́чення як відмо́ва (англ. negation as failure, NAF) — це немонотонне правило висновування в логічному програмуванні, що застосовується для виведення n o t...
12 KB (1,159 words) - 22:15, 22 March 2022