"ИИ на основе пролога или математической логики" - это уровень Доктора Наук (в СССР Физ.-Мат. наук, а сейчас видимо Компьютер Сайенс... Строка для поиска: Автоматический Решатель Задач... (Solver)) Один из Профессоров Мех.Мата МГУ им. Ломоносова - защитивший Докторскую (Физ.Мат) в данном направлении - написал: Введение + 9 томов - каждый от 1200 до 1500 страниц... (читай - это будет Сериал длиннее Санта-Барбары + к концу нужен будет уровень аспиранта Мех.Мата МГУ...))) Ссылку дать или найдете??...))) . Если Ваш вопрос акцентируется на "КОГДА уже..", то ИИ на основе Мат. Логики требует меньше "железячных" ресурсов (чем Нейронки = вторая ветвь ИИ...)) - Программа, решающая вступительные задачи на Мех.Мат (по современному - задачи по ЕГЭ по Геометрии, Алгебре, Физике...)) написана в 2000-2001 годах и "хочет" одно ядро проца + 60 МегаБайт (да-да Мега, а не Гига...) без Шахмат... (с Шахматами порядка 160 МБ)) . В ИИ построенном на Мат. Логике есть пара "Подводных Камней": - Экспоненциальный рост требуемых вычислений при увеличении "Глубины {Разбора}... (а-ля Разбор в контекстно-зависимых Грамматик...например, Немецкий язык...// - Есть только обучение с Учителем (если в терминах Нейронок) - > обучение с подкреплением, а тем более Трансформеры (Attention is all you need = arxiv.org/abs/1706.03762 - этим ни кто не занимается...
Пардон, Вы учите разговаривать двухлетнего ребёнка или взрослых людей? Взрослые люди, если они нормальные, а не вундеркинды, теряют способность структурировать речевую информацию, наблюдая обмен информацией на "языке матери". Взрослого надо учить, начиная со структуры языка. По первым минутам становится ясно, что Prolog некорректно ставить в ряд с Pascal, Fortran или C. Он - язык скриптов к готовому программному обеспечению. Они - языки программирования высокого уровня. Если задача решается без знания алгоритма, то это скриптописание. С такого признания должна была начинаться лекция.
"Если задача решается без знания алгоритма, то это скриптописание. " Вы Очень Сильно Ошибаетесь: "Скриптописание" подразумевает Знание Алгоритма Решения Задачи... А "без знания алгоритма" - это декларативная парадигма Программирования... Декларативная Парадигма Программирования бывает: - Функциональное Программирование - основано на Лямбда-Исчислении (языки haskell, F#, HOPE и т.д.)) - Логическое Программирование - основано на Исчислении Предикатов Первого Порядка... Язык Пролог - Яркий представитель Логической ветви Декларативной Парадигмы Программирования...;)) Почитайте Г.М. Сергиевский Н.Г.Волченков Функциональное и Логическое Программирование Правда, возможно книга написана... для вундеркиндов, сумевших поступить в МИФИ...))
@@konstantinsamodurov436 Хоть горшком назови. Не морочьте мне голову. Я знаю принципиальную разницу между решением задачи и постановкой задачи на решение задачи. Допустим, что этот ваш Пролог относится к тому же классу языков, что и Паскаль и Фортран. Но тогда начало лекции вводит в заблуждение. Допустим, что введения в заблуждение не было. Тогда не фиг сравнивать бутерброд с клизмой.
@@СергейСеменов-у9й "Допустим, что этот ваш Пролог относится к тому же классу языков, что и Паскаль и Фортран." "Тогда не фиг сравнивать бутерброд с клизмой." Так и не сравнивайте: Пролог НЕ "относится к тому же классу языков, что и Паскаль и Фортран." - так будет точнее. И "голову" вы себе сами морочите: UML и язык Ассемблера - это языки разных "Классов"... так же и Пролог и Паскаль - языки разных "Классов"... Никаких "Допустим" быть не может...
когда уже будет ИИ на основе пролога или математической логики?
"ИИ на основе пролога или математической логики" - это уровень Доктора Наук (в СССР Физ.-Мат. наук, а сейчас видимо Компьютер Сайенс...
Строка для поиска: Автоматический Решатель Задач... (Solver))
Один из Профессоров Мех.Мата МГУ им. Ломоносова - защитивший Докторскую (Физ.Мат) в данном направлении - написал:
Введение + 9 томов - каждый от 1200 до 1500 страниц... (читай - это будет Сериал длиннее Санта-Барбары + к концу нужен будет уровень аспиранта Мех.Мата МГУ...)))
Ссылку дать или найдете??...)))
.
Если Ваш вопрос акцентируется на "КОГДА уже..", то ИИ на основе Мат. Логики требует меньше "железячных" ресурсов (чем Нейронки = вторая ветвь ИИ...)) - Программа, решающая вступительные задачи на Мех.Мат (по современному - задачи по ЕГЭ по Геометрии, Алгебре, Физике...)) написана в 2000-2001 годах и "хочет" одно ядро проца + 60 МегаБайт (да-да Мега, а не Гига...) без Шахмат... (с Шахматами порядка 160 МБ))
.
В ИИ построенном на Мат. Логике есть пара "Подводных Камней":
- Экспоненциальный рост требуемых вычислений при увеличении "Глубины {Разбора}... (а-ля Разбор в контекстно-зависимых Грамматик...например, Немецкий язык...//
- Есть только обучение с Учителем (если в терминах Нейронок) - > обучение с подкреплением, а тем более Трансформеры (Attention is all you need = arxiv.org/abs/1706.03762 - этим ни кто не занимается...
@@konstantinsamodurov436 дай ссылку или название
Пардон, Вы учите разговаривать двухлетнего ребёнка или взрослых людей? Взрослые люди, если они нормальные, а не вундеркинды, теряют способность структурировать речевую информацию, наблюдая обмен информацией на "языке матери". Взрослого надо учить, начиная со структуры языка.
По первым минутам становится ясно, что Prolog некорректно ставить в ряд с Pascal, Fortran или C. Он - язык скриптов к готовому программному обеспечению. Они - языки программирования высокого уровня. Если задача решается без знания алгоритма, то это скриптописание. С такого признания должна была начинаться лекция.
"Если задача решается без знания алгоритма, то это скриптописание. "
Вы Очень Сильно Ошибаетесь: "Скриптописание" подразумевает Знание Алгоритма Решения Задачи...
А "без знания алгоритма" - это декларативная парадигма Программирования...
Декларативная Парадигма Программирования бывает:
- Функциональное Программирование - основано на Лямбда-Исчислении (языки haskell, F#, HOPE и т.д.))
- Логическое Программирование - основано на Исчислении Предикатов Первого Порядка...
Язык Пролог - Яркий представитель Логической ветви Декларативной Парадигмы Программирования...;))
Почитайте Г.М. Сергиевский Н.Г.Волченков Функциональное и Логическое Программирование
Правда, возможно книга написана... для вундеркиндов, сумевших поступить в МИФИ...))
@@konstantinsamodurov436 Хоть горшком назови. Не морочьте мне голову. Я знаю принципиальную разницу между решением задачи и постановкой задачи на решение задачи. Допустим, что этот ваш Пролог относится к тому же классу языков, что и Паскаль и Фортран. Но тогда начало лекции вводит в заблуждение. Допустим, что введения в заблуждение не было. Тогда не фиг сравнивать бутерброд с клизмой.
@@СергейСеменов-у9й "Допустим, что этот ваш Пролог относится к тому же классу языков, что и Паскаль и Фортран."
"Тогда не фиг сравнивать бутерброд с клизмой."
Так и не сравнивайте: Пролог НЕ "относится к тому же классу языков, что и Паскаль и Фортран." - так будет точнее.
И "голову" вы себе сами морочите: UML и язык Ассемблера - это языки разных "Классов"... так же и Пролог и Паскаль - языки разных "Классов"...
Никаких "Допустим" быть не может...