История вычислительной техники в лицах


История вычислительной техники в лицах - стр. 166


приближать машинный язык к
входному. Реализовав частично эту идею в ЭВМ серии МИР, мы стали
развивать ее дальше в соответствии с принципом постепенного усложнения
машинного языка, причем не просто усложнения, а приближения к
человеческому языку. Пределом я поставил разговор с машиной на
естественном языке (и выдачу заданий).
 
Для того, чтобы выполнить эту задачу, т.е. вести разговор с машиной на
естественном языке, надо, конечно, прежде всего автоматизировать
логические рассуждения, что проще всего, поскольку какие-то формализмы
уже были известны. Но анализ этих формализмов показал, что
классическая математическая логика многого не учитывает. И поэтому
была выдвинута задача построения практической математической логики.
Она успешно решается. Это стержневая линия. Основная идея состоит в
том, что математическое доказательство может строиться как программа,
на основе языка. Когда мы ее осуществим, то станем внедрять такой язык
в архитектуру машин. Автоматизация доказательства теорем - это моя
голубая мечта, она составляет основу в моих размышлениях об
архитектуре новых ЭВМ, способных осуществить сложные творческие
процессы, в том числе построение дедуктивных теорий.
 
Именно отсюда вытекают новые идеи построения ЭВМ. И понять, как
строить такие машины, может только человек, занимающийся не только
машинами, но и искусственным интеллектом. В этом наша сила.
 
В конце 60-х годов в институте под руководством В.М. Глушкова была
начата разработка ЭВМ "Украина". Главным конструктором был назначен
З.Л. Рабинович, заместителями - А.А. Стогний и И.Н. Молчанов. Это был
следующий шаг в отступлении от неймановских принципов в развитии
интеллектуализации ЭВМ, связанный на этот раз с разработкой
высокопроизводительной универсальной ЭВМ.
 
После завершения эскизного проекта Министерство радиопромышленности
предложило провести научно-технический совет с докладом по проекту
новой ЭВМ. Председательствовал на совете заместитель министра М.К.



Начало  Назад  Вперед



Книжный магазин