Системы искусственного интеллекта. Лекция 2. Логические аспекты и моделирование рассуждений
1 368
18.2
Образование для всех243 тыс
Следующее
04.01.19 – 1 6981:28:42Популярные
03.04.21 – 1 85824:43
23.01.19 – 9931:25:58Опубликовано 3 января 2019, 8:06
1. Роль логики в системах искусственного интеллекта. 2. Понятие дедуктивного вывода и логического следствия. 3. Автоматизация доказательств - постановка задачи. 4. Метод резолюций для исчисления высказываний. 5. Метод резолюций для исчисления предикатов. Основные этапы: предварительная форма, сколемовская форма, унификация. 6. Достоверные и недостоверные рассуждения. Классификация и примеры. 7. Правдоподобные рассуждения. Абдукция. Немонотонность. 8. Индуктивный вывод, порождение гипотез и правдоподобные рассуждения. Лектор - Олег Кузнецов. Образование для всех. © Телекомпания СГУ ТВ, 2004. Другие лекции смотрите на youtube.com/playlist?list=PLho...
Свежие видео
1 день – 32 8261:55:33
3 дня – 3 1880:59
7 дней – 3 4181:12:07
12 дней – 1 1021:29:55
12 дней – 31 73518:22
12 дней – 52 2661:32:16Случайные видео
261 день – 5 0010:14
17.05.23 – 1 25238:49
19.03.23 – 38 0880:35
08.03.23 – 3 0510:06
07.03.22 – 351 4417:23
28.08.17 – 7528:30
3 дня – 4 5100:41
3 дня – 2237:49
3 дня – 8 2055:33
4 дня – 3561:07
4 дня – 1 99358:00
5 дней – 9042:45
1 час – 7911:31:21