Логические машины

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.Применение современных логических машин

 

Работа по машинизации логических процедур приобрела в последние годы большое практическое значение вследствие резкого увеличения потока научной информации в различных областях знания, в народном хозяйстве и т.д.  Практические потребности развития производства и науки требуют создания  информационных и информационно-логических машин – машин, предназначенных для хранения больших массивов информации различного вида, автоматической выборки из них нужных сведений и комплексной логической, математической и статистической обработки последних. Разработка таких машин началась с сер. 50-х гг. 20 в. Эти машины должны обладать рядом новых важных свойств. Они должны иметь запоминающие устройства (машинную память) очень большой емкости и с большой скоростью извлекать из памяти нужные сведения; запоминающее устройство их должно быть рассчитано на длительное и прочное хранение информации; машины должны быть хорошо приспособлены для массового выполнения логических операций и решения логических задач, содержащих большое число независимых переменных, и т.д. Основное назначение машин этого рода – выдача ответов на вопросы или решение задач, относящихся к тем или иным областям науки, техники, нар. х-ва и т.п. Машина воспроизводит определенные сведения в ответ на запросы человека (эти запросы могут, напр., быть основаны на сочетании т.н. ключевых терминов, или дескрипторов, характеризующих искомые сведения). Если при этом логическая обработка информации в машине носит элементарный характер (ограничиваясь, например, подведением менее общих понятий под более общие, с тем чтобы перенести на первые признаки, присущие вторым, или сравнением частей информации с целью определения совпадения или различия их по содержанию), то такую машину часто наз. информационной. Термин "информационно-логическая машина" применяется к машине, перед которой ставится задача сочетать поиск информации с ее многообразной обработкой, включая не только выполнение математических операций и осуществление требуемых математических алгоритмов и элементарных логических операций, но также и такие процессы, как вероятностно-статистическая обработка данных, классификация информации в соответствии с некоторыми принципами, установление систем отношений между понятиями, дедукция следствий, проверка истинности высказываний, осуществление процессов, соответствующих образованию понятий, умозаключениям по аналогии, индуктивным выводам, выдвижению и исследованию гипотез и т.п. Для решения этой задачи информационно-логические машины должны иметь блоки, аналогичные по назначению специализированным Л. м.

Для разработки информационных и информационно-логических машин, определения закономерностей их работы, составления программ для них широко используются идеи и средства современной формальной логики. Логические исчисления обычно служат основой для построения информационных языков для этих машин; при применении этих машин к конкретному материалу последний подвергается определенной логической формализации. При этом используются не только основные разделы логики (и связанных с ней наук) – такие, как теория алгоритмов, логика высказываний и исчисление предикатов, но и менее разработанные логические дисциплины: многозначные логики, вероятностная и современная индуктивная логики, теория классификации, теория определений; ставится вопрос об использовании в теории информационно-логических машин модальной логики. Важное значение для разработки информационно-логических машин имеет применение результатов нейрофизиологии и психологии, поскольку при создании таких машин приходится вступать на путь моделирования отдельных процессов умственного труда человека, познаваемых средствами этих наук. Следует, наконец, отметить тесную связь теоретических и технических вопросов конструирования таких машин с исследованиями в области логической семантики, лингвистики математической и семиотики. Комплекс дисциплин логико-лингвистического цикла – вместе с рядом важных частей современной математики (алгебра, теория вероятностей и математическая статистика, теория множеств и др.) – составляет теоретический фундамент работ по созданию информационно-логических машин, а средства радиоэлектроники и вычислительной техники – их техническую базу.

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заключение

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Список литературы

 

1. Фигурная В.С. Из истории компьютеров.// Мир ПК. 2005. - №1;

2. Фролов А.В., Фролов Г.В. «Аппаратное обеспечение IBM PC» – М.: ДИАЛОГ- МИФИ, 1992г.;

3. Богатырев Р.В. На заре компьютеров.// Мир ПК. 2004. - №4;

4. Прохоров А.М. Большая советская энциклопедия. – Москва.: Издательство «Советская энциклопедия», 1971г.;

5. Успенский В. Α., К проблеме построения машинного языка для информационной машины, в сб.: Проблемы кибернетики, вып. 2, М., 1989;

6. Ρодин В. Н., Электронный анализатор контактных схем, "Автоматика и телемеханика", 1957, т. 18, No 5;

7. «Справочник необходимых  знаний» / Кондрашов, Москва: 2000. – 608-613 с.

8. Информатика, базовый курс для студентов технических специальностей / под ред. С.В. Симоновича, Спб, 2003.

9. Вычислительные машины: два основных класса ЦВМ [ электронный ресурс]: школа электроники и информатики. – М. : 2010.

10. http://dic.academic.ru/dic.nsf/enc_philosophy/6595