РЕСУРСЫ
|
Интернет-ресурсы
Связи РАИИ
|
Ресурсы по направлениям ИИ
|
ЭЛЕКТРОННАЯ БИБЛИОТЕКА
|
Региональные отделения РАИИ
|
Создание региональных отделений
Прием в члены РАИИ
Ответственный за международные связи
Стефанюк Вадим Львович - главный научный
сотрудник лаборатории ИИ Института Проблем передачи информации,
д.т.н. Почтовый адрес: 101447, Россия, Москва, ул.
Ермоловой, 19 e-mail: stefanuk@iitp.ru телефон:
(095) 2995002
-
is.ifmo.ru - Сайт по автоматному программированию и мотивации к творчеству
-
Fikes R., Nilsson N. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving, 1971
- В статье описан алгоритм STRIPS, который впервые использовал поиск в пространстве состояний для синтеза плана действий.
-
ai-center.botik.ru/planning/
- Сайт, посвященный интеллектуальному планированию.
-
McAllester D., Rosenblit D. Systematic nonlinear planning // Proceedings of AAAI-91, Anaheim, Ca, 1991
- В статье описан алгоритм SNLP (пер. Трофимов И.В.)
-
structuralist.narod.ru/
- Сайт, посвященный автоматизации структурно-параметрического
синтеза объектов, систем автоматизированного проектирования
и информационный технологиям
-
mslevin.iitp.ru/
- Сайт М.Ш. Левина. Метод
иерархического морфологического многокритериального проектирования.
Книги, статьи, учебные курсы.
- Художественная галерея члена РАИИ, доктора физико-математических наук,
профессора А.А.Зенкина
-
www.rhymes.amlab.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 - Проект КГУ и АН Татарстана:
Лаборатория ИИ, локализация программ на татарском языке,
обработка текста (тат.).
-
www.neural.narod.ru
Информация о проекте "Сириус"
(Система Искусственного Распределенного Интеллекта Универсальной Структуры )-
реализации системы ИИ в Интернете (попытка создания интегральной модели ИИ),
много ИИ-литературы.
-
ocrai.narod.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 - Энциклопедия, авторами которой являются великие ученые.
Например, статью про нечеткую логику написал сам Лотфи Заде, а за право быть автором статьи "Формальные грамматики" бьются Ноам Хомский и Джон Хопкрофт.
-
Аверкин А.Н., Головина Е.Ю. Нечеткая семиотическая система управления, 1999 (97 КБ, doc)
-
Айзенк Г.Ю. Понятие и определение интеллекта // Вопросы Психологии. 1995. № 1. С.111-131.
-
Анохин П.К. Принципиальные вопросы общей теории функциональных систем, 1973. Первая часть.
-
Бернштейн Н.А. О ловкости и ее развитии, 1947. М., Физкультура и спорт, 1991.
-
Бонгард М.М., Лосев И.С., Смирнов М.С.
Проект модели организации поведения - "Животное",
Сб. "Моделирование обучения и поведения", М., "Наука", 1975
-
Букатова И.Л. Эволюционное моделирование и его приложения.
М.: Наука, 1979, 232 с. (djvu, 3.6M)
(http://is.ifmo.ru/genalg/)
-
Букатова И.Л., Михасев Ю.И., Шаров А.М.
Теория и практика эволюционного моделирования.
-М.: Наука, 1991. - 206 с. (pdf, 33M)
(http://is.ifmo.ru/genalg/)
-
Вейценбаум Дж. Возможности вычислительных машин и человеческий разум.
От суждений к вычислениям, 1976 (293Kb)
-
Винер Н. Кибернетика, или управление и связь в животном и машине, 1948 (702Kb)
-
Винер Н. Творец и робот, 1964
-
Гаазе-Рапопорт М.Г. Автоматы и живые организмы. Моделирование и поведение живых организмов. - Москва: Физматлит, 1961. (djvu, 7.2M)
-
Гаазе-Рапопорт М.Г. Первый неформальный этап развития
отечественной кибернетики // Философские исследования, 1993, № 4, с.439-450.
-
Горбань А.Н., Хлебопрос Р.Г. Демон Дарвина. Идея оптимальности и естественный отбор.- Москва: Наука, 1988. (djvu, 3.7 Mb)
-
Дьюдни А.К. О разуме, машинах и метафизике, 1990
-
Заде Л. Понятие лингвистической переменной и его применение к принятию приближенных решений.- Москва: Мир, 1976.(djvu, 1.0 Mb)
-
Кейлоу П. Принципы эволюции.- Москва: Мир, 1986. (djvu, 800 kb)
-
Колмогоров А.Н. Автоматы и жизнь, 1961
->
2
3
4
-
Мак-Каллок Уоррен С., Питтс Вальтер, Логическое исчисление идей,
относящихся к нервной активности, 1943 (pdf, 1.2M)
//"A logical calculus of the ideas
immanent in nervous activity, W.S. McCulloch and W. Pitts,
Bull. Math. Biophys., 5, 115-133 (1943)"
(взято с http://neuro.net.ua/pub/mcculloch.html)
-
Марселлус Д. Программирование экспертных систем на турбо прологе.- Москва: Финансы и статистика, 1991. (djvu, 2.7 Mb)
-
Минский М. Фреймы для представления знаний (440Kb)
-
Минский М., Пейперт С. Персептроны.- Москва: Мир, 1971. (djvu, 1.9 Mb)
-
Минский М. Фреймы для представления знаний.- Москва: Энергия, 1979. (tif, 4.0 Mb)
-
Минский М. Интервью журналу Discover, январь, 2007
-
Нильсон Н. Искусственный интеллект. Методы поиска решений. М.:Мир, 1973, 273 с.
(djvu)
-
Нильсон Н. Принципы искусственного интеллекта. М.:Радио и связь, 1985, 376 с.
(djvu)
-
Поспелов Д.А. Cтановление информатики в России
-
Поспелов Д.А. Десять "горячих точек" в исследованиях по искусственному
интеллекту, 1996
-
Розенблатт Ф. Принципы нейродинамики. Перцептроны и теория механизмов мозга.- Москва: Мир, 1963. (djvu, 4.8 Mb)
-
Сирл Дж. Разум мозга - компьютерная программа? 1990
-
Скиннер Б. Что такое бихевиоризм? 1978. Введение.
-
Сойер Б., Фостер Д.Л. Программирование экспертных систем на Паскале,
М., Финансы и статистика, 1990 (1.5M, djvu)
-
Солбриг О., Солбриг Д. Популяционная биология и эволюция.- Москва: Мир, 1982.(djvu, 4.9 Mb)
-
Ту Дж., Гонсалес Р. Принципы распознавания образов.- Москва: Мир, 1978.(djvu, 2.4 Mb)
-
Тьюринг А. Могут ли машины мыслить? 1950
->
2
-
Фет Я.И. История информатики: исследования, публикации, преподавание.
(Институт вычислительной математики и математической геофизики
Сибирского Отделения РАН, Новосибирск)
-
Фогель Л., Оуэнс А., Уолш М. Искусственный интеллект и эволюционное
моделирование. -М.: Мир, 1969. -230 с.
Fogel L. a.o. Artificial intelligence through simulated evolution.
New York, Wiley, 1966.
(djvu, 2.4Mb)
-
Хокинс Д., Блейксли С. Об интеллекте, 2007 (1.7 М, djvu)
-
Хокинс Д., Джордж Д. Временная иерархическая память, 2006 (460 КБ, doc)
-
Холланд Дж. Генетические алгоритмы //В мире науки, 1999, N9-N10 (pdf, 7.2M)
(http://is.ifmo.ru/genalg/)
-
Цетлин М.Л., Исследования по теории автоматов и моделированию биологических систем. - М: Наука, 1969 (djvu, 4.2M)
-
Черчленд П.М., Черчленд П.С. Искусственный интеллект: Может ли машина мыслить, 1990
-
У. Росс Эшби Конструкция мозга. М.:Изд-во иностр. лит., 1962 (3M, djvu)
-
A.Newell, J.C. Shaw, H.A.Simon Report on a general
problem-solving program, 1959 (124kb, djvu)
-
Fikes R., Nilsson N. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving, 1971
- Бежитский С.С., Семенкин Е.С. Эволюционные алгоритмы для автоматизации проектирования
распределенных систем обработки информации и управления. //Десятая национальная конференция по искусственному
интеллекту с международным участием КИИ-2006
(25-28 сентября 2006 г., Обнинск):
Труды конференции. В 3-т., М: Физматлит, 2006
- Зинченко Л.А., Коляда А.В. Повышение эффективности эволюционного проектирования на основе анализа
спектральных свойств поверхности функции пригодности //Новости искусственного интеллекта №5, 2003
- Карпов В.Э. Методологические проблемы эволюционных вычислений //Искусственный интеллект и принятие решений №4, М.: , 2012, с.95-102 (pdf)
- Карпов В.Э. Объектно-ориентированные обобщенные модели эволюции //Сб.трудов МГСУ, 2005 (doc)
- Карпов В.Э. Эволюционное моделирование в задаче индуктивного вывода //Информационные технологии, 1997
- Карпов В.Э. Эволюционное моделирование. Проблемы формы и содержания //Новости искусственного интеллекта №5, 2003
- Курейчик В.М., Зинченко Л.А. Эволюционное моделирование на основе
символьных информационных технологий //Труды Международной конференции
Интеллектуальное управление: новые интеллектуальные технологии в
задачах управления (ICIT'99)
Переславль-Залесский, 6-9 декабря 1999 г., 1999
- Курейчик В.М., Родзин С.И. Эволюционные вычисления: генетическое и эволюционное программирование //Новости искусственного интеллекта №5, 2003
- Лебедев Б.К., Лебедев О.Б. Эволюционные процедуры решения комбинаторных задач на графах. //Десятая национальная конференция по искусственному
интеллекту с международным участием КИИ-2006
(25-28 сентября 2006 г., Обнинск):
Труды конференции. В 3-т., М: Физматлит, 2006
- Редько В.Г., Бурцев М.С., Сохова З.Б., Бесхлебнова Г.А. Искусственные
общества (электронный журнал) //Моделирование конкуренции при эволюции многоагентной системы №2, 2007, 2, с.76-89 (http://www.artsoc.ru/html/journal.htm)
- Редько В.Г., Цой Ю.P. Оценка эффективности эволюционных алгоритмов //Доклады АН №3, 2005, 404, с.312-315 (pdf)
- Редько В.Г. Информатика и биология - науки 21-го века. Что на стыке? //Информационные процессы (электронный журнал) №3, 2007, 7, с.214-247
- Редько В.Г. Модели адаптивного поведения и проблема происхождения
интеллекта //Математическая биология и биоинформатика (электронный
журнал) №1, 2007, 2, с.160-180
- Редько В.Г. Моделирование когнитивной эволюции -
естественный путь к искусственному интеллекту //Новости искусственного интеллекта №2-3, 2001 (zip)
- Редько В.Г. Модель взаимодействия между обучением и эволюционной оптимизацией //Математическая биология и биоинформатика Т.7 №2, 2013 (pdf)
- Редько В.Г. Перспективы исследований на стыке информатики и биологии //Нейроинформатика (электронный журнал) №2, 2007, 2, с.60-76
- Редько В.Г. Перспективы моделирования когнитивной эволюции //Третья международная конференция по когнитивной науке,
Москва, 20-25 июня 2008, 2008
- Сорокин С.Н., Стрелец М.В. Эволюционное проектирование элементов телекоммуникационных
систем. //Десятая национальная конференция по искусственному
интеллекту с международным участием КИИ-2006
(25-28 сентября 2006 г., Обнинск):
Труды конференции. В 3-т., М: Физматлит, 2006
- Татузов А.Л. Нейросетевая модель появления и пропадания генов в ходе эволюции. //Десятая национальная конференция по искусственному
интеллекту с международным участием КИИ-2006
(25-28 сентября 2006 г., Обнинск):
Труды конференции. В 3-т., М: Физматлит, 2006
-
Richard S. Sutton and Andrew G. Barto
Reinforcement Learning: An Introduction //The MIT Press
Cambridge, Massachusetts, London, England
См.также
здесь
-
Редько В.Г., Прохоров Д.В. Нейросетевые адаптивные критики // Научная
сессия МИФИ - 2004. VI Всероссийская научно-техническая конференция
"Нейроинформатика-2004": Сборник научных трудов. Часть 2. М.: МИФИ,
2004. С.77-84.
-
Мосалов О.П., Редько В.Г., Непомнящих В.А. Модель поискового поведения
анимата // Препринт Института прикладной математики им. М.В. Келдыша
РАН,2003, № 19.
-
Непомнящих В.А., Попов Е.Е., Редько В.Г. Бионическая модель
адаптивного поискового поведения // Известия РАН. Теория и системы
управления, 2008. № 1. С. 85-93.
- Copi Irving M., Cohen Carl, McMahon Kenneth Introduction to Logic, 14th ed. Pearson Education Limited, 2014
- Mendelson, Elliott Introduction To Mathematical Logic, 6th ed. //CRC Press, pp.499 ISBN: 978-1-4822-3778-8
- Pelletier, Francis Jeffry Problem Corner: Seventy-Five Problems for Testing Automatic Theorem Provers //Journal of Automated Reasoning 2 (1986) pp.191-216
- Бурбаки Н. Начала математики, Первая часть "Основые структуры анализа", Книга первая "Теория множеств" , М.: Мир, 1965, -455с.
- Кулик Б.А., Зуенко А.А., Фридман А.Я. Алгебраический подход к интеллектуальной обработке данных и знаний //– СПб.: Изд-во Политехн. ун-та, 2010. -235 c.
- Кулик Б.А., Курбанов В.Г., Фридман А.Я. Параллельная обработка данных и знаний методами алгебры кортежей //Труды СПИИРАН. 2014. Вып. 5(36). ISSN 2078-9181 (печ.), ISSN 2078-9599 (онлайн) www.proceedings.spiiras.nw.ru
- Кулик Б.А., Курбанов В.Г., Фридман А.Я. Теория отношений как инструмент семантического анализа данных и знаний //Вестник Санкт-Петербургского университета, Сер. 10. 2010. Вып. 4
- Кулик Б.А. Вероятностная логика на основе алгебры кортежей //Изв.РАН. Теория и системы управления №1, 2007, с.118-127
- Кулик Б.А. Вывод следствий с предварительно заданными свойствами (doi:10.18720/SPBPU/2/id21-157)
- Кулик Б.А. Исследование противоречий в естественных рассуждениях на примерах метафор и пресуппозиций
- Кулик Б.А. Логика и математика: просто о сложных методах логического анализа //Б.А. Кулик; под общ.ред А.Я.Фридманаю - СПб.: Политехника, 2020. -141 с. DOI:10.25960/7325-1166-6 ISBN:978-5-7325-1166-6
- Кулик Б.А. Логико-интервальный анализ систем на основе алгебры кортежей (doi:10.18720/SPBPU/2/id20-158)
- Кулик Б.А. Новые классы КНФ, с полиномиально распознаваемым свойством выполнимости //Автоматика и телемеханика, 1995, 2, с.111-124
- Курант Р., Роббинс Г. Что такое математика? —3-e изд., испр. и доп.—М.: МЦНМО, 2001.—568 с. ISBN 5–900916–45–6
- Мендельсон Эллиот Введение в математическую логику , М.: Наука, 1971, -320с. (djvu)
- Пуанкарэ Анри Последние мысли , Петрогоад: Научное конигоиздательство, 1923 (djvu)
- Пуанкарэ Анри Последние мысли , Петрогоад: Научное конигоиздательство, 1923 (pdf)
- Сакович В.В. «Парменидом» по лосеведам , 2018, -55с.
- Стяжкин Н.И. Формирование математической логики -М.: Наука, 1967 -507с.
- Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем , М.: Наука, 1983, -360с.
- Эйлер Леонард Письма к немецкой принцессе о разных физических и философских материях (Lettres a une princesse d`allemagne sur divers sujets de physique et de philosophie) , СПб: Наука, 2002, -720с. (ISBN 5-02-028521-8)
|
|