Системы искусственного интеллекта. Лекция 2. Логические аспекты и моделирование рассуждений
1 301
16.7
Образование для всех239 тыс
Следующее
04.01.19 – 1 5561:28:42Популярные
05.02.22 – 1 85924:26
09.09.18 – 4 8781:19:31Опубликовано 3 января 2019, 8:06
1. Роль логики в системах искусственного интеллекта. 2. Понятие дедуктивного вывода и логического следствия. 3. Автоматизация доказательств - постановка задачи. 4. Метод резолюций для исчисления высказываний. 5. Метод резолюций для исчисления предикатов. Основные этапы: предварительная форма, сколемовская форма, унификация. 6. Достоверные и недостоверные рассуждения. Классификация и примеры. 7. Правдоподобные рассуждения. Абдукция. Немонотонность. 8. Индуктивный вывод, порождение гипотез и правдоподобные рассуждения. Лектор - Олег Кузнецов. Образование для всех. © Телекомпания СГУ ТВ, 2004. Другие лекции смотрите на youtube.com/playlist?list=PLho...
Свежие видео
2 дня – 2 6001:07:35
2 дня – 36 9280:29
2 дня – 1463:05
3 дня – 9 0140:19
3 дня – 46 7550:34
3 дня – 9 1590:35Случайные видео
9 дней – 1 02410:55
15.04.22 – 5 0029:59
30.10.20 – 6 51818:09
28.11.18 – 54 5809:59
2 дня – 13330:13
2 дня – 4733:46
3 дня – 19 06824:43
4 дня – 1 6781:30:48
4 дня – 29049:50
6 дней – 22 62526:36
