Путь развития логических машин

Развитие приложений алгебры логики к анализу и синтезу релейных схем и конечных автоматов привело к тому, чтологические машины стали применяться в технике в форме анализаторов релейных схем, предназначенных для облегчения и ускорения проектирования и проверки релейно-контактных схем. Первый релейный анализатор релейно-контактных схем описан в 1953 К. Шенноном и Э. Муром. В СССР первый анализатор был предложен в 1955 Т. Т. Цукановым. Первый электронный анализатор контактных схем был спроектирован и описан в 1957 В. Н. Родиным. Значит, шагом вперед явился анализатор П. П. Пархоменко, разработанный и описанный им в 1959.

Заключение.

В 1947 г. два студента Гарвардского университета, Уильям Буркхардт (William Burkhardt) и Теодор Калин (Theodor A. Kalin) построили небольшую релейную логическую машину. О предыдущих разработках они не знали, и вдохновлялись не только теорией Шеннона, но и желанием упростить себе жизнь, автоматизировав решение многочисленных задач, задаваемых на занятиях по математической логике. Их машину (стоимость разработки которой составила всего 150 долларов) смело можно признать первой, которую можно было использовать в практических целях.

В заключительной главе своей монографии Мартин Гарднер выражал оптимизм по поводу дальнейшей судьбы логических машин, предполагая, что они могут найти применение в некоторых областях, связанных с анализом больших массивов информации. Однако события развивались по иному сценарию.

Хотя практически одновременно с машиной Буркхардта и Калина, а также на протяжении последующих полутора десятилетий в разных странах, – в Англии, США, СССР и Чехословакии –  были построены еще несколько специализированных логических машин, которые, однако, уже не стали, да и не могли стать, объектом внимания широкой научной общественности.

В опубликованной в 1996 г. работе Д. А. Поспелова “Десять “горячих точек” в исследованиях по искусственному интеллекту” говорится, что “Логический подход [к ИИ] в его классической форме требовал для каждой предметной области, для которой применялись методы ИИ, наличия полного перечня исходных положений, которые можно было бы считать аксиомами в этой предметной области. Однако различные приложения, к которым стремился искусственный интеллект, оправдывая свою практическую значимость, в подавляющем большинстве случаев не давали возможностей построения аксиоматических систем. С начала 70-х годов XX-го века старая парадигма, опирающаяся на идею строгого логического вывода, начинает постепенно сменяться новой парадигмой, провозглашающей, что основной операцией при поиске решения должна быть правдоподобная аргументация”.

Пожалуй, эти соображения дают исчерпывающее объяснение причин заката логических машин. А некоторый временной зазор между появлением последних логических машин (1950-е годы) и констатированным Д. А. Поспеловым переходом к новой парадигме объясняется попытками исследователей “выжать” максимум из возможностей, открывшихся перед ними после замещения механических и электрических устройств электронными вычислительными машинами. Именно это время понадобилось, чтобы окончательно удостовериться в том, что дело не в больших или меньших возможностях используемых устройств и машин, а в принципиальной ограниченности старой парадигмы.

Список использованной литературы

1.                  И.А.Апокин, Л.Е.Майстров. История вычислительной техники.- М.: Наука, 1990.- 246 с.

2.                  И.А.Апокин, Л.Е.Майстров. Развитие вычислительных машин.- М., Наука, 1974.- 399с.

3.                  А.Г. Кушниренко, Г.В. Лебедев, Р.А. Сворень.  Основы информатики и вычислительной  техники. / М. Просвещение 1991.

4.                  Э. П. Лапина. «История развития вычислительной техники». Ирутск, ИрГТУ, 2001.

5.                  А.Н. Салтовский, Ю.А. Первин. Как работает ЭВМ: серия Мир знаний. / М. Просвещение 1986.

6.                  Л. И. Гутенмахер. Электронные информационно – логические машины, 2 изд., М., 1962.

4

[1] А.Г. Кушниренко, Г.В. Лебедев, Р.А. Сворень.  Основы информатики и вычислительной  техники. / М. Просвещение 1991

[2] Л. И. Гутенмахер. Электронные информационно – логические машины, 2 изд., М., 1962.

[3] А.Н. Салтовский, Ю.А. Первин. Как работает ЭВМ: серия Мир знаний. / М. Просвещение 1986.

[4] Л. И. Гутенмахер. Электронные информационно – логические машины, 2 изд., М., 1962.

[5] И.А.Апокин, Л.Е.Майстров. Развитие вычислительных машин.- М., Наука, 1974.- 399с.

[6] И.А.Апокин, Л.Е.Майстров. История вычислительной техники.- М.: Наука, 1990.- 246 с.

[7] Э. П. Лапина. «История развития вычислительной техники». Ирутск, ИрГТУ, 2001.

[8] И.А.Апокин, Л.Е.Майстров. Развитие вычислительных машин.- М., Наука, 1974.- 399с.