Автор неизвестен - Искусственный интеллект и экспертные системы. Курс лекций

общей теории программирования (как некоторый новый виток в этой теории). При этом подходе для составления интеллектуальных программ используются обычные программные средства, позволяющие писать нужные программы по описаниям задач на профессиональном естественном языке. Все метасредства, возникающие при этом на базе частичного анализа естественного интеллекта, рассматриваются здесь лишь с точки зрения создания интеллектуального программного обеспечения, т. е. комплекса средств, автоматизирующих деятельность самого программиста.
Разделы с точки зрения конечного результата

Программно-прагматическое направление
• Интеллектуальные программы (программы решения интеллектуальных задач).
• Работа со знаниями (теория и программы)
• Интеллектуальное программирование (теория и сервисные интеллектуальные программы)
• Интеллектуальные программные системы

Интеллектуальные программы
Игровые программы
Человеческие игры
Переборные игры
Топологические игры
Стохастические игры
Компьютерные игры
Игры с жесткой схемой
Игры со сценарием

Естественно-языковые программы
Машинный перевод
Автоматическое реферирование
Генерация (синтез) текстов
Прозаические тексты
Поэтические тексты

Музыкальные программы
Сочинение музыкальных произведений
Анализ музыкальных произведений
Имитация исполнительского стиля

Распознающие и узнающие программы

Программы создания произведений графики и живописи

Прочие программы
Модели поведения
Программы доказательства теорем
Эвристические программы
1.3. Этапы в разработке искусственного интеллекта
(1637-1992)

Перечислим некоторые вехи в развитии искусственного интеллекта в контексте других событий, связанных с ИИ. События, происшедшие в области ИИ отмечены звездочкой (*).

1637
Декарт: "Я мыслю, следовательно я существую."
1672-76
Лейбниц сформулировал в общих чертах подход к построению логического исчисления "machina ratiocinatrix"
1726
Джонатан Свифт в "Путешествиях Гулливера" описывает машину, которая пишет книги случайным образом.
1769*
Машина для шахматной игры В. фон Кемпелена, по-видимому, основана на обмане
1793*
Ф. Т. фон Шубертом предложен алгоритм разложения арифметических выражений на множители
1818
Шелли Мэри, английская писательница, в романе "Франкештейн, или Современный Прометей" пишет об искусственном создании, который уничтожает своего создателя.
1835
Джозеф Генри изобрел электрическое реле.
1847
Джордж Буль создал символическую логику, и позже двузначную логику.
1859
Чарльз Дарвин: "Происхождение видов путем естественного отбора".
1876
Александр Грейам Белл получает патент на телефон (US Patent 174,465).
1879
Томас Алва Эдисон изобретает лампочку.
1879
Готлоб Фреге изобретает исчисление предикатов.
1901
Зигмунд Фрейд: " Интерпретация снов".
1904
Первая вакуумная трубка, диод (John Ambrose Fleming).
1912*
Автомат для эндшпиля король и ладья против короля (Торрес-и-Квебедо Л.)
1913
Генри Форд вводит сборочный конвейер.
1915
Общая теория относительности Эйнштейна
1917*
Карел Чапек вводит термин "робот" (в чешском языке "робот" означает "рабочий", но в 1923 году английский перевод оставляет оригинальное слово)
1925
Р. Вагнер обнаружил наличие обратной связи в биологических системах
1928*
Джон фон Нейман доказал теорему о минимаксе (позднее использовалась в программах для теории игр).
1931
Теорема Геделя о неполноте.
1936
Общественное телевидение в Великобритании
1937
Алан Тьюринг публикует "On Computable Numbers", где он вводит "машину Тьюринга" - формализация понятия алгоритма.
1940
Atanasoff и Berry создают первый электронный компьютер.
1940
Robinson – первый действующий компьютер в Великобритании, базирующийся на реле; использовался, чтобы декодировать нацистские коды
1940
Первая цветная телевизионная передача
1941
Конрад Цузе создает в Германии Z3 - первый программируемый компьютер
1943*
У. Макколлак (McCulloch) и У. Питц (Pitts) предлагают формальную модель, отражающую функционирование нейрона; начало нейрокибернетики.
1944
Х. Х. Айкен завершает 'Mark I', первый американский программируемый компьютер
1945
Grace Murray Hopper обнаруживает при работе --">