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

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

• Аверкин А.Н., Головина Е.Ю. Нечеткая семиотическая система управления, 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

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

• "Cognitive Graphics - Mathematics - Art". Художественная галерея члена РАИИ, доктора физико-математических наук, профессора А.А.Зенкина.
• library.ntu-kpi.kiev.ua/html/arh_ntuu/glushkov/KiberAVTOMATIZAtsia.htm Вопросы об автоматизации творческих процессов. //Старая, добрая, умная работа.
• lib.ru/CULTURE/PROPP Работы В.Я.Проппа. //Классика жанра. Основа основ для тех, кто занимается автоматизацией сочинительства.
• Зарипов Р.Х. Машинный поиск вариантов при моделировании творческого процесса. М.: Наука, 1983.
• Анатолий Гланц. Будни Модеста Павловича. Журнал "Химия и жизнь"
• Смиренский В.Б. Digitall writing e-stories //Труды Международного семинара Диалог'2000 по компьютерной лингвистике и ее приложениям. – Протвино, 2000. С.320-325
• Смиренский В.Б. Формула тайны. Модели сюжетных структур и нарративного интеллекта // Из кн. "Разбор сюжетов", М.,2002

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

• Miomir Vukobratovic, Director Robotics Center, Mihajlo Pupin Institute ACTIVE EXOSKELETAL SYSTEMS AND BEGINNING OF THE DEVELOPEMENT OF HUMANOID ROBOTICS //III Поспеловские чтения, Москва, Политехнический музей, 2007
• www.nauka.ru/20021116/our/4606653.html Кевин Уорвик (профессор кибернетики). "Почему я делаю роботов" //... И об умении подать себя публике.

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

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

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

• 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.

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

• 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)