Мечта детства или поиск альтернативы машине тьюрингита

Мечта детства или поиск альтернативы машине тьюрингита

В году где-то 1993 (обучался я тогда во 2-ом классе) по окончании просмотра на видеомагнитофоне с «подпольным» переводом фильма «Терминатор 2: Судный сутки», у меня появилась детская мечта сделать для того чтобы робота, что имел возможность не только сражаться, но и делать домашние задания по русскому языку за меня моим почерком, дабы учительница не увидела (дико не обожал я тогда данный предмет).Прошло время, но кроме того на данный момент, без преувеличения возможно заявить, что возможности ИИ, заложенные в, так именуемом, нейропроцессоре робота-терминатора, роль которого выполнял Арнольд Шварценеггер, до сих пор остаются фантастическими. Так как разумеется, что чтобы какая-либо задача была решена при помощи средств вычислительной техники, она, в первую очередь, должна быть формализована.

А так как по состоянию на сегодня в Мире не существует единого и полного формального описания ИИ, данный вопрос остаётся не решённым. И до тех пор пока что, само выражение «ИИ» носит больше некоторый субъективный темперамент, применимый только к отдельным задачам (ну, это лично моё вывод, возможно я и не прав). Но, даже в том случае, если всё-таки и удастся процессы, происходящие в головном мозге человека, обрисовать при помощи математических формул, другими словами, именно отыскать тот самый метод формализации ИИ, то вряд ли возможности современной вычислительной техники разрешат его реализовать. Дело тут в том, что все формализованные методы, по состоянию на сегодня, смогут быть реализованы двумя методами:

  • программной реализацией (на микропроцессорной технике);
  • аппаратной реализацией (в большинстве случаев, на программируемой логике).

Сами по себе микросхемы и микропроцессоры с программируемой логикой (ПЛИС) — два, разных метода реализации методов. Имеется ещё и третий вариант — применение совокупностей на кристалле, но это не более чем размещение на одной подложке ядер процессоров (как аппаратных ядер, так и soft-ядер) и программируемой логики, с последующим распределением задач между ними, другими словами смесь первых двух вариантов. В наши дни, само собой разумеется, уже показались и те самые (не смотря на то, что нет, не те самые) нейронные процессоры (про один из них написано тут), не смотря на то, что, по сути неестественный нейрон — не более чем математическая модель, либо именно та самая попытка формализовать работу биологического нейрона, которая, снова же, реализуется или программно с применением процессоров, или аппаратно с использование программируемой логики, ну либо с применением ASIC (грубо говоря, то же самое, что и ПЛИС, лишь в ПЛИС связи между логическими вентилями задаются программно, а в ASIC — аппаратно), как видите ничего принципиально нового.ПЛИС и Микропроцессоры — две полностью различные темы, и потом тут отправится обращение о процессорах.
Смотрите кроме этого: Поиск в сети содействует завышению самооценки пользователей

Согласно мнению ученых, люди смогут путать собственные настоящие знания с теми, каковые они находят в сети. Несколько американских ученых в следствии последовательности изучений установила, что постоянный поиск информации в разнообразных поисковых машинах воздействует на увеличение самооценки пользователей. Это содействует превышению собственных собственных умственных свойств и переоценке собственного интеллектуального уровня. В изучении участвовало 300 добровольцев.

Наряду с этим учёные подтвердили, что при поиске нужной информации создаются иллюзорные догадки о накоплении нужных знаний.

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

И разумеется, что процессорам трудящимся по таким правилам до возможностей того самого терминатора ещё дальше чем бронзовому котелку до Китая пешком. В этот самый момент же появляется вопрос: «А существует ли альтернатива такому методу реализации программных методов, каковые смогли вывести бы машинные вычисления на принципиально новый уровень, не выходя за рамки возможностей современной электроники?». В ВУЗах, на профессиях, тем либо иным образом, которые связаны с вычислительной техникой, просматривают курс лекций, в котором рассказывается об организации ЭВМ и совокупностей, и, среди другого, в этом курсе рассказывается, что все, существующие на сегодня, механизмы программной реализации методов исполняются так:

  • очередная команда либо комплект свободных команд последовательности, считывается из памяти и выполняется тогда, в то время, когда выполнена прошлая команда (комплект свободных команд), как было сообщено выше, так трудится большая часть современных процессоров, реализуя правила автомобили Тьюринга;
  • команда считывается из памяти и выполняется тогда, в то время, когда дешёвы все её операнды (потоковые вычисления);
  • команды объединяются в процедуры, внутренне, любая из которых выполняется как в первом случае (другими словами, в каждой из таких процедур команды исполняются последовательно по правилам автомобили Тьюринга), наряду с этим, снаружи, сами процедуры исполняются как во втором случае, другими словами по доступности и меря готовности всех нужных операндов (макропотоковые вычисления, воображающие смесь первых двух вариантов);
  • команда считывается из памяти и выполняется тогда, в то время, когда вторым командам требуются результаты её исполнения (редукционные вычисления).

Как было сообщено в одной из публикаций, размещённых на сайте habrahabr.ru, более подробная ссылка на которую будет представлена потом по тексту, любой вычислительный метод является набором математических формул, по средствам вычисления которых он реализуется. Всё с той же публикации заберём, представленную в ней для примера формулу: g = e*(a+b) + (a-c)*f, и разработаем блок-схему метода для хорошего процессора со следующей структурой (упрощённой и весьма условной (для примера подойдёт)):«Отечественный» процессор имеет гарвардскую архитектуру и складывается из двух регистров неспециализированного назначения, арифметико-логического устройства, регистра — аккумулятора, дешифратора и счётчика команд.

Причём, на входной порт «А» АЛУ, возможно подано значение или с регистра неспециализированного назначения, или с регистра — аккумулятора. Это реализуется при помощи мультиплексора. Итак, блок-схема метода для данного процессора будет смотреться так:Любой операционный блок на блок-схеме — это аналог ячейки на ленте в машине Тьюринга, а счётчик адреса команд — аналог считывающей головки.

Итого, для вычисления, забранной для примера формулы, пригодится вычислять 13 ячеек (выполнить 13 действий).Что же касается потоковых вычислений, то вот тут рассказывается, что это за вычисления и как они реализуются. Для отечественного случая (забранной для примера формулы), граф потоковых вычислений (аналог блок-схемы метода) будет иметь следующий вид:Для потокового процессора со следующей структурой:вычисления с распределением команд, будут выглядеть следующим образом:Относительно, недавно, одна из отечественных компаний заявила об окончании разработки процессора с таковой архитектурой.

Эта компания называетсяОАО «Мультиклет». В их разработке, любой процессорный элемент именуется клеткой, из этого и наименование — мультиклеточный процессор. На habrahabr.ru имеется множество публикаций, посвящённых этому процессору, к примеру вот эта.

Эта публикация и имеется та самая, ссылку на которую я, ранее, давал слово дать, и с которой для примера забрал граф и формулу потоковых вычислений.По большому счету, в то время, когда ОАО «Мультиклет» заявил о разработке таковой архитектуры, эта новость была преподнесена так, что я, было, поразмыслил, что сейчас на рынке вычислительных совокупностей случится революция, но ничего не произошло. Вместо этого в сети начали появляться публикации о недочётах мультиклеточной архитектуры. Вот одна из них.

Но, при всём при том, разработка оказалась рабочей и конкурентоспособной.Ещё один увлекательный метод организации вычислений, хороший от автомобили Тьюринга — редукционные вычисления. В прошлом случае любая команда выполняется тогда, в то время, когда дешёвы все её операнды, но при таком подходе может ситуация , в то время, когда результаты выполненной команды потом смогут не пригодится, тогда окажется, что временные и аппаратные ресурсы были израсходованы впустую.

В редукционных вычислениях этот недочёт был преодолён тем, что выполнение команды инициируется запросом на её результаты. В математической базе таких вычислений лежат ?-исчисления.

Для вычисления отечественной формулы целый процесс начинается с запроса на итог g, что, со своей стороны, организует запросы на исполнение операций e*(a+b) и (a-c)*f, а эти операции организуют запросы на вычисление значений a+b и a-c и т. д.:Сами по себе, редукционные вычисления складываются из процессов распознавания редексов с последующей заменой их результатами выполненных, запрошенных ранее, команд. В итоге, все вычисления редуцируются до требуемого результата.

Нигде, ни в литературе, ни в сети я не отыскал описания настоящих процессоров с таковой архитектурой, может не хорошо искал…На данный момент, уже ведутся изучения по созданию вычислительных совокупностей, трудящихся на принципиально новых правилах, таких как квантовые вычисления, фотонные вычисления и т. д. Разумеется, что компьютеры, созданные по таким разработкам превзойдут все современные и приблизят школьников к тому моменту, в то время, когда возможно будет вынудить «железяку» делать за себя домашнюю работу по русскому языку. Но вопрос о создании принципиально нового метода реализации машинных вычислений, не выходя за рамки современной электроники, до сих пор остаётся актуальным.

Мужик 17 лет делал копию Ламборгини! Причина вас шокирует! Самодельные автомобили в гараже.


Комментирование и размещение ссылок запрещено.

Обсуждение закрыто.