РАИИ

Российская ассоциация
искусственного интеллекта

НОВОСТИ РЕСУРСЫ БИБЛИОТЕКА РАИИ O РАИИ

РЕСУРСЫ



Интернет-ресурсы



Связи РАИИ в России

Научный Совет РАН по методологии искусственного интеллекта
Российская ассоциация нечетких систем и мягких вычислений
Российская Академия естественных наук (РАЕН)
Российская ассоциация нейроинформатики
Межрегиональная эргономическая ассоциация

Отделения РАИИ


Региональные отделения РАИИ


Отделение Председатель
Алтайское Лукоянычев Виктор Геннадьевич
Архангельское
Астраханское Лаптев Валерий Викторович
Башкирское Юсупова Нафиса Исламовна
Белгородское Маторин Сергей Игоревич
Белорусское (ассоциированное членство) Голенков Владимир Васильевич
Брянское Подвесовский Александр Георгиевич
Волгоградское Орлова Юлия Александровна
Воронежское Махортов Сергей Дмитриевич
Дагестанское
Донецкое
Иркутское Николайчук Ольга Анатольевна
Калининградское Колесников Александр Васильевич
Калужское Горбушин Николай Григорьевич
Камчатское Сергин Валерий Яковлевич
Карачаево-Черкесское Аксенова Марина Андреевна
Карельское
Кировское Страбыкин Дмитрий Алексеевич
Костромское Левин Михаил Григорьевич
Краснодарское Лойко Виктор Иванович
Красноярское Казаковцев Лев Александрович
Курганское Головко Александр Павлович
Липецкое Кудинов Юрий Иванович
Марий Эл Власов Александр Александрович
Московское Еремеев Александр Павлович
Московской области Добрынин Дмитрий Анатольеывич
Мурманское Фридман Александр Яковлевич
Нижегородское Потемина Наталья Леонидовна
Новосибирское Загорулько Юрий Алексеевич
Омское Филимонов Вячеслав Аркадьевич
Оренбургское Болодурина Ирина Павловна
Орловское Гордиенко Александр Петрович
Пензенское Левин Виталий Ильич
Приморское Грибова Валерия Викторовна
Ростовское Курейчик Владимир Викторович
Рязанское Сарычев Николай Александрович
Самарское Боргест Николай Михайлович
Санкт-Петербургское Гаврилова Татьяна Альбертовна
Свердловское Чистов Виллен Петрович
Смоленское Федулов Александр Сергеевич
Ставропольское Афонин Леонид Алексеевич
Татарстанское Сулейманов Джавдет Шевкетович
Тверское Семенов Николай Александрович
Томское Гергет Ольга Михайловна
Тульское Шпрехер Дмитрий Маркович
Удмуртское
Ульяновское Ярушкина Надежда Глебовна
Хабаровское Сорокин Алексей Анатольевич
Ханты-Мансийское (ЮГРА)
Челябинское Петеляк Владимир Евстахиевич
Ярославское Куршев Евгений Петрович
инд. член
  • Создание региональных отделений
  • Прием в члены РАИИ


    Зарубежные связи РАИИ

    Ответственный за международные связи

    Стефанюк Вадим Львович - главный научный сотрудник лаборатории ИИ Института Проблем передачи информации, д.т.н.
    Почтовый адрес: 101447, Россия, Москва, ул. Ермоловой, 19
    e-mail: stefanuk@iitp.ru
    телефон: (095) 2995002

    Итальянская ассоциация ИИ (AIXIA)
    Французская ассоциация ИИ (AFIA)
    Японская ассоциация ИИ (JSAI)
    Болгарская ассоциация ИИ (BAIA)
    Британская ассоциация ИИ (SSAISB)
    Канадская ассоциация ИИ (CAIAC)
    Biologically Inspired Cognitive Architectures Society (BICA Society)
    Тайваньская ассоциация ИИ (TAAI)
    Израильская ассоциация ИИ (IAAI)
    Американская ассоциация ИИ (AAAI)
    Украинская Ассоциация Создателей и Пользователей Интеллектуальных Систем (АСПИС)
    The International Joint Conferences on Artificial Intelligence (IJCAI)
    The European Coordinating Committee for Artificial Intelligence (ECCAI)
       

    Автоматы

    • is.ifmo.ru - Сайт по автоматному программированию и мотивации к творчеству

    Интеллектуальное планирование, синтез, САПР

    Искусственные общества и многоагентные системы

    • www.artsoc.ru - Лабораторя искусственных обществ.

    Конкурсы

    • www.compdialog.narod.ru/uslovia.html - Конкурс "Компьютерный диалог".
    • netnotes.narod.ru - Народный тест Тьюринга (модифицированный). Программы-чатботы и т.п. Суть - в определении того, кто из участников диалогов - человек, а кто - программа.

    Машинное обучение

    • springerlink.com/content/100309/ - журнал Machine Learning. Попадаются очень полезные статьи.
    • cs.waikato.ac.nz/~ml/weka/ - Weka - библиотека алгоритмов интеллектуального анализа данных на Java
    • machinelearning.ru - Информационно-аналитический ресурс по машинному обучению и интеллектуальному анализу данных.
    • ccas.ru/voron/ - богатый раздел ссылок и основных книг по машинному обучению

    Машинное творчество

    Нейронные сети, генетические алгоритмы

    • www.neuroproject.ru - Нейронные сети, генетические алгоритмы.
    • neuroschool.narod.ru - Статьи, книги по нейроинформатике.
    • www.orc.ru/~stasson/neurox.html - Материалы по нейронным сетям.
    • eidolon.euro.ru/index.htm - Системы понимания текста на естественном языке на основе нейроподобных сетей.
      Много публикаций, ссылки.
    • qai.narod.ru - Публикации, журналы, переводы статей о генетических и нейроэволюционных алгоритмах.

    Нечеткая логика, нечеткие системы

    • http://ransmv.narod.ru - Нечеткая логика, нечеткие системы и мягкие вычисления. Ресурсы и полезные ссылки.
    • fuzzyset.narod.ru - Статьи, труды конференции, ссылки на ВЕБ-ресурсы и т.д. по нечеткой логике, мягким вычислениям и вычислительному интеллекту.
    • zadeh.narod.ru - Страница о Лотфи Заде

    Обработка текста и семиотика

    • ips.antat.ru/ - Научно-исследовательский институт "Прикладная семиотика" при АН Республики Татарстан
    • www.aot.ru - Автоматическая Обработка Текста АОТ - рабочая группа молодых специалистов, разрабатывающих программное обеспечение в области автоматической обработки текста.
    • www.vaal.ru - НЛП, анализ текстов.
    • www.dictum.ru - Исследования в области компьютерной лингвистики, разработка компьютерных технологий автоматической обработки текстов.
    • www.rvb.ru/soft/catalogue/catalogue.html - Каталог лингвистических программ.
    • www.kcn.ru/tat_ru/science/aipl - Проект КГУ и АН Татарстана: Лаборатория ИИ, локализация программ на татарском языке, обработка текста (тат.).

    Онтологии

    • cyc.com - Проект по созданию объёмной онтологической базы знаний, начатый ещё в 1984 году
    • ksl.stanford.edu/software/ontolingua/ - Система представления знаний Ontolingua, разработанная в Лаборатории Систем Знаний (Knowledge System Laboratory - KSL) Стэндфордского университета.
    • shcherbak.net/ - Блог о Semantic Web. Часто обновляется.
    • beniaminov.rsuh.ru/index.htm - Проект Web-сервера онтологий ЭЗОП

    Проекты

    • www.neural.narod.ru Информация о проекте "Сириус" (Система Искусственного Распределенного Интеллекта Универсальной Структуры )- реализации системы ИИ в Интернете (попытка создания интегральной модели ИИ), много ИИ-литературы.

    Распознавание образов

    • ocrai.narod.ru - Практическая реализация некоторых алгоритмов распознавания образов, речи. Анализ недостатков существующих программ в этой области.

    Распознавание слитной речи

    Робототехника

    • railab.ru - Лаборатория робототехники и искусственного интеллекта Политехнического музея
    • roboclub.ru - Сайт, посвященный робототехнике.
    • mobilerobots.msu.ru - Сайт фестиваля мобильных роботов.
    • www.prorobot.ru - Статьи, форум, рефераты, действущие модели роботов и системы ИИ.
    • www.robosport.ru - Спортивная робототехника.
    • www.homerobotics.ru - Проект "Домашняя и профессиональная робототехника".
    • myrobot.ru - Робототехника и микроконтроллеры. В т.ч. - очень интересный проект "Хронология робототехники".
    • www.robocoder.ru - Соревнования программистов мобильных систем.

    Теория интеллекта

    • a-eremin.ru/rus/ - Ноогенез и теория интеллекта. Человечество рассматривается как эволюционирующая информационно-интеллектуальная биосистема.

    Форумы

    • www.dialog-21.ru - Междисциплинарный семинар. Круглые столы, конференции: компьютерная лингвистика, формальные модели анализа и распознавания языковых структур и т.д.
    • www.gotai.net/forum/ форум "Проблемы искусственного интеллекта" на GotAI.NET.
    • deep.webest.net "Форум дремучих", в т.ч. есть раздел, посвященный ИИ.
    • www.ai.obrazec.ru/forum - Форум "Искусственный интеллект".

    Обучающие ресурсы

    • www.diary.ru/~Organon/ - Сообщество "Поп-математика для взрослых детей". Популярные статьи, в том числе и на тему ИИ.
    • ocw.mit.edu/ - Материалы курсов Массачуссетского Технологического института. Тексты лекций, видео-лекции известных преподавателей.
    • ilib.mccme.ru - Электронная библиотека МЦНМО. Популярные книги о математике в свободном доступе
    • etudes.ru - Математические этюды. Наглядно рассказываются и показываются красивые математические задачи.
    • vuz.exponenta.ru/WIN/nnet.html - Нейросети, нечеткие множества. Задачи для студентов (с ответами и примерами)
    • scholarpedia.org - Энциклопедия, авторами которой являются великие ученые. Например, статью про нечеткую логику написал сам Лотфи Заде, а за право быть автором статьи "Формальные грамматики" бьются Ноам Хомский и Джон Хопкрофт.

    Прочие ресурсы

    • www.permai.ru - Пермская научная школа искусственного интеллекта
    • insycom.ru - cайт "Лаборатория Гибридные Интеллектуальные Системы"
    • www.artint.ru - Российский Научно-исследовательский институт искусственного интеллекта (РосНИИ ИИ)
    • prof9.narod.ru - Искусственный Интеллект от Prof'а. Сайт посвящен Искуственному Интеллекту и всему, что с ним связано.
    • www.ai.obrazec.ru - Сайт "Искусственный интеллект"
    • www.aaai.org - Сайт Американской ассоциации искусственного интеллекта. См. www.aaai.org/AITopics
    • www.sciencedirect.com/ - Большая электронная коллекция научных, технических, медицинских текстов и библиографических ссылок.
    • www.compinfo-center.com/ai/artificial_intelligence.htm - Ресурсы, ссылки и т.п. Авторы ресурса утверждают, что их сайт очень популярен среди ИТ-пользователей.
    • http://aima.cs.berkeley.edu/ai.html - Очень много ссылок на ресурсы, людей и группы, занимающиеся ИИ. Целый портал. Ссылки на 820 страниц.
    • nai.shergin.com/head.htm - Программы-чатботы. Описания, руководства к ним. Немного информации об истории ИИ.
    • www.iai.donetsk.ua - НИИ искусственного интеллекта (Украина).
    • www.csail.mit.edu/index.php - Сайт лаборатории искусственного интеллекта в MIT.
    • ai.h16.ru/books.php - Несколько книг и статей, связанных с темой ИИ. Можно скачивать.
    • http://www.matbio.org/ - Математическая биология и биоинформатика (электронный журнал).



    ЭЛЕКТРОННАЯ БИБЛИОТЕКА

    КЛАССИЧЕСКИЕ РАБОТЫ


    Машинное творчество

    Робототехника

    Эволюционное моделирование

    1. Бежитский С.С., Семенкин Е.С. Эволюционные алгоритмы для автоматизации проектирования распределенных систем обработки информации и управления. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006
    2. Зинченко Л.А., Коляда А.В. Повышение эффективности эволюционного проектирования на основе анализа спектральных свойств поверхности функции пригодности //Новости искусственного интеллекта №5, 2003
    3. Карпов В.Э. Методологические проблемы эволюционных вычислений //Искусственный интеллект и принятие решений №4, М.: , 2012, с.95-102 (pdf)
    4. Карпов В.Э. Объектно-ориентированные обобщенные модели эволюции //Сб.трудов МГСУ, 2005 (doc)
    5. Карпов В.Э. Эволюционное моделирование в задаче индуктивного вывода //Информационные технологии, 1997
    6. Карпов В.Э. Эволюционное моделирование. Проблемы формы и содержания //Новости искусственного интеллекта №5, 2003
    7. Курейчик В.М., Зинченко Л.А. Эволюционное моделирование на основе символьных информационных технологий //Труды Международной конференции Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT'99) Переславль-Залесский, 6-9 декабря 1999 г., 1999
    8. Курейчик В.М., Родзин С.И. Эволюционные вычисления: генетическое и эволюционное программирование //Новости искусственного интеллекта №5, 2003
    9. Лебедев Б.К., Лебедев О.Б. Эволюционные процедуры решения комбинаторных задач на графах. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006
    10. Редько В.Г., Бурцев М.С., Сохова З.Б., Бесхлебнова Г.А. Искусственные общества (электронный журнал) //Моделирование конкуренции при эволюции многоагентной системы №2, 2007, 2, с.76-89 (http://www.artsoc.ru/html/journal.htm)
    11. Редько В.Г., Цой Ю.P. Оценка эффективности эволюционных алгоритмов //Доклады АН №3, 2005, 404, с.312-315 (pdf)
    12. Редько В.Г. Информатика и биология - науки 21-го века. Что на стыке? //Информационные процессы (электронный журнал) №3, 2007, 7, с.214-247
    13. Редько В.Г. Модели адаптивного поведения и проблема происхождения интеллекта //Математическая биология и биоинформатика (электронный журнал) №1, 2007, 2, с.160-180
    14. Редько В.Г. Моделирование когнитивной эволюции - естественный путь к искусственному интеллекту //Новости искусственного интеллекта №2-3, 2001 (zip)
    15. Редько В.Г. Модель взаимодействия между обучением и эволюционной оптимизацией //Математическая биология и биоинформатика Т.7 №2, 2013 (pdf)
    16. Редько В.Г. Перспективы исследований на стыке информатики и биологии //Нейроинформатика (электронный журнал) №2, 2007, 2, с.60-76
    17. Редько В.Г. Перспективы моделирования когнитивной эволюции //Третья международная конференция по когнитивной науке, Москва, 20-25 июня 2008, 2008
    18. Сорокин С.Н., Стрелец М.В. Эволюционное проектирование элементов телекоммуникационных систем. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006
    19. Татузов А.Л. Нейросетевая модель появления и пропадания генов в ходе эволюции. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006

    Искусственная жизнь, аниматы, адаптивные системы

    Публикации на тему ИИ, электронные библиотеки и журналы

    • pitis.tsure.ru Электронный журнал "Перспективные информационные технологии и интеллектуальные системы" // Весьма интересный, серьезный и полезный ресурс
    • alt-future.narod.ru/page2.htm Интересная подборка статей и книг
    • mcsmall.altnet.ru/cat_teach.htm Содержит ряд классических работ по ИИ
    • is.ifmo.ru/genalg Хорошая ИИ-библиотека. Санкт-Петербургский Государственный университет информационных технологий, механики и оптики, Кафедра Технологии программирования
    • http://www.matbio.org Электронный журнал "Математическая биология и биоинформатика"

    Логика

    1. Copi Irving M., Cohen Carl, McMahon Kenneth Introduction to Logic, 14th ed. Pearson Education Limited, 2014
    2. Mendelson, Elliott Introduction To Mathematical Logic, 6th ed. //CRC Press, pp.499 ISBN: 978-1-4822-3778-8
    3. Pelletier, Francis Jeffry Problem Corner: Seventy-Five Problems for Testing Automatic Theorem Provers //Journal of Automated Reasoning 2 (1986) pp.191-216
    4. Бурбаки Н. Начала математики, Первая часть "Основые структуры анализа", Книга первая "Теория множеств" , М.: Мир, 1965, -455с.
    5. Кулик Б.А., Зуенко А.А., Фридман А.Я. Алгебраический подход к интеллектуальной обработке данных и знаний //– СПб.: Изд-во Политехн. ун-та, 2010. -235 c.
    6. Кулик Б.А., Курбанов В.Г., Фридман А.Я. Параллельная обработка данных и знаний методами алгебры кортежей //Труды СПИИРАН. 2014. Вып. 5(36). ISSN 2078-9181 (печ.), ISSN 2078-9599 (онлайн) www.proceedings.spiiras.nw.ru
    7. Кулик Б.А., Курбанов В.Г., Фридман А.Я. Теория отношений как инструмент семантического анализа данных и знаний //Вестник Санкт-Петербургского университета, Сер. 10. 2010. Вып. 4
    8. Кулик Б.А. Вероятностная логика на основе алгебры кортежей //Изв.РАН. Теория и системы управления №1, 2007, с.118-127
    9. Кулик Б.А. Вывод следствий с предварительно заданными свойствами (doi:10.18720/SPBPU/2/id21-157)
    10. Кулик Б.А. Исследование противоречий в естественных рассуждениях на примерах метафор и пресуппозиций
    11. Кулик Б.А. Логика и математика: просто о сложных методах логического анализа //Б.А. Кулик; под общ.ред А.Я.Фридманаю - СПб.: Политехника, 2020. -141 с. DOI:10.25960/7325-1166-6 ISBN:978-5-7325-1166-6
    12. Кулик Б.А. Логико-интервальный анализ систем на основе алгебры кортежей (doi:10.18720/SPBPU/2/id20-158)
    13. Кулик Б.А. Новые классы КНФ, с полиномиально распознаваемым свойством выполнимости //Автоматика и телемеханика, 1995, 2, с.111-124
    14. Курант Р., Роббинс Г. Что такое математика? —3-e изд., испр. и доп.—М.: МЦНМО, 2001.—568 с. ISBN 5–900916–45–6
    15. Мендельсон Эллиот Введение в математическую логику , М.: Наука, 1971, -320с. (djvu)
    16. Пуанкарэ Анри Последние мысли , Петрогоад: Научное конигоиздательство, 1923 (djvu)
    17. Пуанкарэ Анри Последние мысли , Петрогоад: Научное конигоиздательство, 1923 (pdf)
    18. Сакович В.В. «Парменидом» по лосеведам , 2018, -55с.
    19. Стяжкин Н.И. Формирование математической логики -М.: Наука, 1967 -507с.
    20. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем , М.: Наука, 1983, -360с.
    21. Эйлер Леонард Письма к немецкой принцессе о разных физических и философских материях (Lettres a une princesse d`allemagne sur divers sujets de physique et de philosophie) , СПб: Наука, 2002, -720с. (ISBN 5-02-028521-8)


  • Поиск с Яндексом  
    e-mail: secret@raai.org              Rambler's Top100