Заседание Совета РАН по методологии ИИ

2 Ноября 2015

10 ноября 2015 г. в Институте философии РАН ( г. Москва, ул. Гончарная 12 стр. 1, 6 этаж, Красный зал) с 15.00 до 18.00 состоится очередное заседание Научного Совета РАН по методологии искусственного интеллекта. Представляем программу заседания:

Сопредседатели: академик С.Н. Васильев, профессор Д.И. Дубровский, академик В.А. Лекторский, академик В.Л. Макаров,

Координатор научных программ: А.Ю.Алексеев,

Координатор молодежных программ: Е.А.Никитина
Ученый секретарь: Д.В. Иванов

15.00-16.00
Заседание совета
1. Об организации Всероссийской научно-теоретической конференции "Философия искусственного интеллекта", февраль 2016 г., философский факультет МГУ имени М.В.Ломоносова, г.Москва
В.А.ЛЕКТОРСКИЙ

2. Об организации круглого стола "Интеллектуальные системы в системе образования" в рамках научно-практической конференции «Образование и наука: современные аспекты интеграции», 18 ноября 2015 г., философский факультет МГУ имени М.В.Ломоносова, г.Москва
А.Ю.АЛЕКСЕЕВ

3. Итоги II Всероссийской междисциплинарной конференции молодых ученых "Человек в технической среде: конвергентные технологии, глобальные сети, Интернет вещей", 1-2 октября 2015 г., Вологодский государственный университет, г.Вологда
Н.А.ЯСТРЕБ

4. О подготовке IX Всероссийской конференции студентов. аспирантов и молодых ученых "Искусственный интеллект: философия, методология, инновации", 10-11 декабря 2015 г., Московский государственный университет информационных технологий, радиотехники и электроники, г.Москва
Е.А.НИКИТИНА

72-е заседание междисциплинарного научно-теоретического семинара "Философско-методологические проблемы искусственного интеллекта"

16.00-18.00
Обсуждение доклада
КОМПЬЮТЕРНЫЕ МОДЕЛИ ВРЕМЕНИ

Докладчик: ведущий научный сотрудник сектора логики Института философии РАН, доктор философских наук, профессор АНИСОВ Александр Михайлович
Содокладчик-оппонент: кандидат философских наук ЮРАСОВ Андрей Александрович

Тезисы доклада
А.М. Анисов

Компьютерные модели времени

Некоторые свойства времени позволяют представлять их геометрическими, т.е. пространственными средствами. Но было бы ошибочным сводить феномен времени к пространству, как это фактически делается в современной физике с её теорией единого пространства-времени.
Если попытаться выразить суть времени в немногих словах, то можно сказать так: время – это вычислительный процесс. Переход от настоящего к прошлому и будущему – это результат вычислений, производимых самой природой. Поэтому в качестве базовых средств представления времени должны использоваться компьютерные модели. Другое дело, что имеющиеся в науке теории вычислимости здесь не пригодны.
Строится нетрадиционная теория АВТ-вычислимости на абстрактных компьютерах, позволяющих реализовывать трансфинитные дискретные процессы, в том числе не имеющие первого шага выполнения. Будет показано, что компьютерные модели на основе АВТ-вычислимости позволяют адекватно описать динамику темпоральных переходов между прошлым, настоящим и будущим, избавиться от ряда парадоксов времени и выявить рациональный смысл в учениях о времени Аристотеля, Августина, Мак-Таггарта и Бергсона.
Проблема объективности становления. Какое время моделируют АВТ-компьютеры?

Ключевые слова: Компьютер, универсум, АВТ-вычислимость, статика, динамика, уникальность, прошлое, настоящее, будущее, становление.

ВНИМАНИЕ!
В институт можно попасть только по пропускам.
Желающие посетить заседание НСМИИ должны прислать на новый электронный адрес Совета свои данные (Фамилию, Имя, Отчество).
Новый адрес электронной почты Совета: scmaintel@mail.ru

Возврат к списку