Интеллект и алгоритмы


30 марта – 1 апреля 2017 г.


Программа конференции


Оргкомитет:

  • д. филос. н. Д. В. Анкин (УрФУ),

  • к. филос. н. А. Г. Кислов (УрФУ),

  • к. филос. н. Л. Д. Ламберов (УрФУ)


30 марта

10:00—10:10 : вступительное слово организаторов, ауд. 314

10:10—13:30 : утренняя сессия: секция «Эпистемология, философия языка и философия логики как методологические основания интеллектуальных технологий, часть I», ауд. 314

10:10—10:50 : Лобовиков Владимир Олегович, Екатеринбург — Интеллект: априорное знание рациональной истины и существование алгоритма ее установления (опыт аксиоматизации эпистемологии)

11:00—11:40 : Анкин Дмитрий Владимирович, Екатеринбург — Виды мышления о логически невозможном

11:50—12:30 : Кислов Алексей Геннадьевич, Екатеринбург — Паралогические стратегии: вопросы аксиоматизации и формализации

12:40—13:20 : Кляшторный Алексей Сергеевич, Екатеринбург — Субъективные условия знания и мнения: эпистемическая система Сигма

13:30—14:30 : обед

14:30—17:50 : вечерняя сессия: секция «Методологические проблемы ИТ, робототехники и ИИ», ауд. 314

14:30—15:10 : Мазуров Владимир Данилович, Екатеринбург — Общественный договор и факторный анализ

15:20—16:00 : Попов Владимир Юрьевич, Екатеринбург — Проблема обучения роботов-последователей

16:10—16:50 : Лобода Юлия Олеговна, Томск — Алгоритмы использования нейродатчиков в процессе обучения

17:00—17:40 : Попов Владимир Юрьевич, Горбенко Анна Андреевна, Екатеринбург — Использование элементов самосознания роботов при построении систем устойчивых двигательных примитивов


31 марта

10:00—13:20 : утренняя сессия: секция «Философия сознания и ИИ, часть I», ауд. 314

10:00—10:40 : Невважай Игорь Дмитриевич, Саратов — Физика сознания

10:50—11:30 : Нагуманова Светлана Фарвазовна, Казань — Как трактовать содержание психических репрезентаций?

11:40—12:20 : Катречко Сергей Леонидович, Москва — Искусственный интеллект, естественный интеллект и феномен сознания

12:30—13:10 : Берестов Игорь Владимирович, Новосибирск — Проблема интенционального тождества и античный скептицизм

13:20—14:30 : обед

14:30—17:00 : вечерняя сессия: секция «Логика и философия математики», ауд. 317

14:30—15:10 : Доманов Олег Анатольевич, Новосибирск — Структурализм и конструктивизм в гуманитарных науках и математике

15:20—16:00 : Охотников Олег Алиевич, Екатеринбург — О поиске логического вывода с использованием сколемизации и метапеременных

16:10—16:50 : Суровягин Дмитрий Павлович, Саратов — Сравнительный анализ алгоритмов эффективного распознавания выполнимости или общезначимости логических формул


1 апреля

10:00—13:20 : утренняя сессия: секция «Эпистемология, философия языка и философия логики как методологические основания интеллектуальных технологий, часть II», ауд. 315

10:00—10:40 : Комаров Андрей Юрьевич, Екатеринбург — О методе автоматического построения формальных онтологий

10:50—11:30 : Муштак Оксана Игоревна, Екатеринбург — Дескрипционные логики как языки представления знаний в формальных онтологиях

11:40—12:20 : Николина Надежда Валерьевна, Омск — «Оправдание» индуктивных обобщений в работе Б. Рассела

12:30—13:10 : Моисеева Анна Юрьевна, Новосибирск — Джон Перри о распознавании и идентификации.

13:20—14:30 : обед

14:30—17:50 : вечерняя сессия: секция «Философия сознания и ИИ, часть II», ауд. 315

14:30—15:10 : Комаров Андрей Юрьевич, Екатеринбург — «Виды психики» Д. Деннета: кибернетический аспект

15:20—16:00 : Глебов Евгений Владимирович, Новосибирск — Приоритеты нейрофилософских исследований на современном этапе

16:10—16:50 : Гущин Илья Андреевич, Козырева Ольга Александровна, Екатеринбург — Искусственный интеллект/сознание/ мышление? Как используют корпус основных понятий философии сознания исследователи ИИ

17:00—17:40 : Илюхина Евгения Олеговна, Новосибирск — Противодействие манипуляции методами логического анализа в программе нейрофилософии.