к.ф.-м.н. Дмитрий Кондратьев, ИСИ
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области (продолжение).
Архив семинара
к.ф.-м.н. Дмитрий Кондратьев, ИСИ
Автоматизация доказательства условий корректности программ и перспективы применения машинного обучения в данной области.
д.ф.-м.н. Е. Е. Витяев
Модель работы мозга и сознания.
д.ф.-м.н. Е. Е. Витяев
Онтологический подход к машинному обучению – обнаружение теорий предметных областей.
Аннотация
Одной из задач "Задачного подхода" является построение теории предметной области (ПО) путем индуктивного вывода знаний о ПО. Спрашивается, как для этого использовать методы машинного обучения? Можно показать, что для получения интерпретируемых в терминах ПО результатов методами машинного обучения необходимо, чтобы онтология предметной области была согласована с онтологией метода машинного обучения. Тогда каждый метод машинного обучения будет обнаруживать некоторый класс знаний, интерпретируемый в ПО. Для обнаружения теории ПО в общем случае предлагается онтологический подход к извлечению знаний о ПО, который оперирует только интерпретируемой информацией, содержащейся в данных и представимой в терминах ПО, также обнаруживает достаточно широкое множество знаний и обладает рядом теоретических преимуществ.д.ф.-м.н. Е. Е. Витяев
Задачный подход к искусственному интеллекту и теория функциональных систем работы мозга.
Аннотация
Общий искусственный интеллект - AGI не ставит перед собой задачу моделирования когнитивных процессов и работы мозга. В докладе будет показано, что задачный подход, в частности, моделирует работу мозга и, в том числе, хорошо разработанную физиологическую теорию работы мозга – Теорию Функциональных Систем (ТФС). Можно показать, что с информационной точки зрения принципы работы функциональных систем подпадают под понятие задача и тогда ТФС является теорий решения мозгом задач по удовлетворению своих потребностей в целенаправленном повелении. Аналогом понятия задачи в ТФС является понятие Цели. Цель, как и задачу, нельзя достичь/решить, не имея критерия её достижения/решения, иначе всегда можно считать, что цель/задача уже достигнута/решена. Поэтому в задачном подходе решение задачи может быть организовано, в частности, точно также, как это делает человек. Поэтому задачный подход относится уже не к Искусственному Интеллекту, а к Естественному Интеллекту.Д.ф.-м. н. Д. И. Свириденко
Революция ChatGPT (продолжение).
д.ф.-м. н. Д. И. Свириденко
Революция ChatGPT.
Информация о семинаре
Руководители:
акад. С. С. Гончаров, к.ф.-м.н А. В. Нечесов
Время и место проведения:
Среда, 18.10 ч., ауд. 5273, новый корпус НГУ
