Эвристические программы могут выступатькак элементы сложных программ решения задач, например, в универсальныхкибернетических устройствах. Поскольку эти системы в целом работают поалгоритмическим программам, то имеет смысл рассматривать составление этихпрограмм как попытку найти алгоритм, пусть несовершенный, для решения задачи,для которой нет и не может быть лобычного алгоритма. В этом планеработы по составлениюэвристических программ представляют интерес для кибернетики и теории автоматов.С другой стороны, анализ и систематизация приемов, методов, которые могут бытьиспользованы приэвристическом решении задачи человеком, как и частные вопросы, которыевозникают в этой области (например, вопрос о модели решения), представляютинтерес для психологии423.
Задача, требующая эвристического решения,остается задачей, иэвристическую деятельность можно рассматривать как тип более общего видадеятельности —решения задач (problem-solving). Некоторые методы решения задач, традиционные длябихевиористического подхода, привлекают внимание кибернетиков и используются вразрабатываемых программах. Следует признать, что эти программы являютсяприближениями сравнительно низкого порядка к деятельности человека. Поэтому использованиесхематических приемов решения, отражающих лишь какую-то сторону деятельностичеловека, на начальном этапе разработки эвристических программ может иметь место.
Многие авторы, например, Шеннон, Ньюэлл,Бернстайн, Минский,отмечают, что универсальным методом решения задачи, который может быть использован и вэвристических программах, является метод поиска и опробования возможныхрешений, ходов.
В рамках эвристических программ отмеченныеметоды могут быть полезны в том случае, если будет разумно ограниченочисло проб. При такомметоде потенциально возможные ходы (пробы) представляются наподобиеветвей дерева —эвристическое решение возникает в результате выбора наиболеелправдоподобныхходов424. Программы, основанные на определении правдоподобного хода, используются вмашинах для игры в шахматы, хотя и здесь выбор такого хода скорее толькопредполагается, чем происходит реально.
Определение правдоподобия того или иногохода (пробы) осуществляется лишь узкоспециализированным устройством и,очевидно, не может исходить от универсального устройства. С этой точки зрениясаму специализацию системы можно рассматривать как шаг в направлении созданияусловий, благоприятных для осуществления выбора по правдоподобию.
Выявление элементов эвристических программприводит нас к вопросу о сложности деятельности при решении человекомтворческих задач. Эта сложность, в частности, проявляется в том, что необходимабольшая группа функций и способностей, прямо не определяемых как мыслительные,но лежащих в основетакой деятельности. При моделировании мышления человека кибернетикисталкиваются с необходимостью предварительно овладеть моделированием различныхспособностей человека и различных видов его деятельности, обслуживающихдеятельность мыслительную. Так, перед кибернетиками как самостоятельная задачавыступает необходимость специально рассматривать те способности и видычеловеческой деятельности, от которых в психологических исследованиях попроблемам мышления и творческого мышления мы, наоборот, вынужденыабстрагироваться, рассматривая их как естественные условия, как общие условия,а не как экспериментальные переменные.
Подчас анализ таких вспомогательныхспособностей перерастает в самостоятельную область исследования. Таковапроблемамоделирования деятельности по опознаванию образов (в частности, проблема лобразногомышления). В рамках работы по составлению эвристических программ проблемаопознавания образовмашиной выступает перед нами всякий раз, когда мы говорим, что любой ход (проба)устраняет какой-то класс возможных решений, что каждый метод решения применим лишь копределенному классу задач, что необходимы методы опознания задачи и отнесенияее к определенному типу эвристических задач и т. д. Очевидно, чторазработка таких специализированных программ и систем (устройств типалперцептрон) косвенно способствует и разработке эффективных эвристическихпрограмм.
Элементами эвристических программ,несомненно, могли бы и должны были бы стать формализованные приемынеосознаваемойдеятельности человека в процессе решения задачи. Эти процессы все больше привлекаютвнимание кибернетиков. А.Н. Колмогоров прямо указывал на необходимость изучать в сферекибернетики этипроцессы, как имеющие прямое отношение к творческой деятельности и главнымобразом к оценке, выбору, отсеву потенциально возможных ходов. Однако к такогорода изучению в области кибернетики пока не приступили.
Чрезвычайный интерес представляет длякибернетиков проблемаперевода неосознаваемой деятельности на новый, сознательный уровень. Однакокибернетики говорят об этом очень неясно, вскользь. Очевидно, что этаобласть прямо зависит от эффективности специальных психологических исследований;данных самонаблюденияздесь далеко не достаточно.
Очень важными элементами эвристическихпрограмм должны статьформализованные приемы и методы оперирования, классификации, оценки, отбора,отработки навыков, приемов, операций, методов, элементов решений частичныхзадач, которые накапливаются в ходе решения задачи. Это самостоятельная группаметодов, и моделирование их — самостоятельная проблема. Следует отметить, что этиметоды связаны с организацией деятельности самого субъекта, с изменением егодеятельности. Такое изменение и деятельности и самого субъекта — необходимое условие творческого решениязадачи. Но кибернетики уделяют этому вопросу недостаточноевнимание.
Разработка программ, в которыхиспользуется эвристический подход, включает в себя широкую область деятельностичеловека. В этуобласть входят работы по изучению процессов решения задач в символическойлогике и математике, вопросов, возникающих в промышленности, прилабораторных исследованиях, в шахматной игре. Большинство из этих программ,подобно приведеннымздесь, более или менее точно отражают полученные из опыта представления охарактере процесса решения задач человеком.
Из этого, однако, не следует, что во всехслучаях при построении систем, способных решать задачи, имеет смысл пытатьсякопироватьчеловеческий интеллект. С одной стороны, это нецелесообразно потому, что далеко невсе закономерности и механизмы человеческого мышления известны; с другой — из-за сложности и дороговизны копированиянекоторых форм умственной деятельности. Наконец, в отношении некоторыхмыслительных процессов в кибернетике отсутствует способ формализации ипрограммирования. Поэтому в кибернетике наметился и другой путь моделированиячеловеческого мышления.
Функциональное моделирование иэпистемологические проблемы.
Наряду с моделированием приемов работычеловека при решениимыслительных задач и операций, навыков решения существует моделированиефункциональное.
В работах этого направления реальныйпроцесс мышления человека рассматривается не со стороны конкретныхмыслительныхдействий, его осуществляющих, не со стороны приемов, операций мыслительной деятельности, асо стороны функциональной.
Кибернетиков интересуют функции мышления,связанные с своеобразными процессами получения, переработки и выдачиинформации, иособенно процессами создания информации. Человек рассматривается не только каклприемник и канал передачи информации, но и как генератор информации.
Каким требованиям должна удовлетворятьматериальная система переработки информации, которая могла быосуществлятьнекоторые функции мышления, — в такой форме обычно кибернетики ставят основной вопрос в даннойобласти. Своеобразноеи интересное решение этого вопроса дается в ряде работ Д.М. Маккея425. В однойиз своих последних работ Маккей задается целью определить основные черты (он говорит о них как обоперационных), которые отличают интеллект от простой способности вычислять426. Такихчерт Маккей выделяет четыре: 1) способность системы успешно перерабатывать иобъединять информацию в зависимости от ее значимости, 2) способность совершатьпробные действия, поиск, переходы, логически не вытекающие из наличной информации,т. е. совершать скачок через разрыв, существующий в наличных данных, 3)способность управлять поисковым, исследовательским процессом, руководствуясьлчувством близости решения, 4) способность рассматривать ограниченный, но достаточнобольшой ряд положений и заключений, совместимых с данным положением.
Здесь красной нитью проходит мысль о том,что в процессе мышления человек не только преобразует, но и создаетинформацию. Прирассмотрении выделенных черт информационной системы, предназначенной имитироватьфункцию мышления человека, в частности функцию творческого мышления (создание новогопродукта), мы видим, что Маккей ближе всего стоит к своему соотечественникуФ.С. Бартлетту427. Как и Бартлетт, Маккейвидит основную функцию нового решения в том, что данная система переходит от наличныхданных к логически не вытекающим из них выводам, перепрыгивает через пропасть,разрыв. Ширинаразрыва, который может преодолеть субъект, характеризует качество, объем еготворческих возможностей. Маккей пишет, что степень логической недетерминированностиопределяет широтулогического разрыва, покрываемого решением. Если до конца проследить этоположение, то стремление формализовать творческое мышление человека, стремление построить четкуюсистему правил работы при решении творческих задач по сути дела уводит нас оттворческого мышления. Конечно, с абсолютизированием такого положениянельзя согласиться. Но некоторые частные решения, предложенные Маккеем и вытекающие из такогоподхода к мышлению, представляют несомненный интерес.
Маккей находит, что информационнаясистема, состоящая из физических элементов, может пересечь логический разрыв вданных несколькимипутями. В его работах намечаются возможности совершить скачок и соответственновыявляются некоторые физические характеристики системы, которая можетфункционировать тем или иным способом. Маккей выявляет некоторыефизические свойства,например, непрерывность физического посредника-носителя (медиума). Этухарактеристику Маккей считает важнейшей с точки зрения обеспеченияэвристического решения. В то же время именно это свойство, отмечает Маккей,дает физическимсистемам определенные качества — пластичность и т. д.
В целом мысль Маккея сводится к тому, чтомоделирование функций мышления может быть осуществлено комплекснойинформационной системой, в которой условные вероятности процессов решенияопределяются процессом, протекающим в системе, работающей по принципуаналогового вычислителя или особой физической системы.
Действительно, характеристики некоторыхфизических систем, осуществляющих информационные процессы, в значительнойстепени присущи и мозгу человека как физической системе. На наш взгляд, здесьбольшую ясность могут внести исследования мозга как физической системы, вкоторой протекают стохастические процессы, исследования в области молекулярнойбиофизики.
Работы в области функциональногомоделирования подводят кибернетиков к гносеологическим вопросам. Связь этогонаправления сразработкой гносеологического подхода к системам, имитирующим мыслительную деятельностьчеловека, можно проследить и в работах Маккея428, и в работах, к анализукоторых мы переходим.
На первый взгляд, многие зарубежныекибернетики при создании автоматов уделяют внимание гносеологическимвопросам. Однако лишьв некоторых работах, и то весьма специфично, ставится вопрос об отражениивнешнего мира автоматами, в других же, как в уже отмеченной работе Маккарти, прокламируетсяположение о том, что, строя автоматы, мы превращаем эпистемологию в отрасльприкладной математики, отныне не мистическую. Разумеется, развитиегносеологии не предполагает такого изменения ее предмета.
В связи с вышесказанным можно выделитьработы, посвященныевопросу о возможности образования автоматами понятий для отражения внешнегомира, и работы, относящиеся к циклу исследований об отражении в неживой природевообще. Приведемнекоторые положения Маккарти.
Маккарти разработал программу,относительно которой можно сказать, что она имеет такое человеческое свойство, каклздравый смысл, если она может самостоятельно обеспечить себя достаточнобольшим количеством выводов в связи с тем, что ей сообщается извне, или с тем,что она уже знает. При этом, по мнению Маккарти, большим преимуществом даннойсистемы в отличие от других систем, имитирующих мышление человека, является то,что совершенствование ее поведения возможно путем простой постановкивопроса об этом —человек может просто сформулировать некоторые положения о символической (выраженной в принятыхтерминах) среде автомата и о том, что было бы желательно совершить.
Чрезвычайный интерес представляет один изспециальных для Маккарти вопросов, а именно, о качественном своеобразииотражаемого объекта и, соответственно, своеобразии продукта отражения такогообъекта. Маккарти этот вопрос не ставит в такой форме. Он просто отмечает, чтов настоящее время на уровне кибернетических систем в качестве категорийотражения (точнее, символов алфавита отражения) могут выступать: а)структурные элементы— так называемыенервные сети; б) специальный класс кибернетических систем — машины Тьюринга и в)вычислительные программы. Возможно, в данном случае лучше говорить не оботражении, но о выражении. При этом имеется в виду следующее.
Предположим, мы имеем какую-то системуэлементов, которуюобозначаем как алфавит А.Мы должны перевести все символы (или комбинации символов) этого алфавита в символы алфавитаБ. Предполагается, что есть(либо их требуется открыть) правила перевода. Разумеется, в этом случае лишь присоответствующих оговорках можно говорить о процессе перевода как об отраженииалфавита A в алфавитеБ. Три отмеченных вышеспособа выражения в кибернетических системах внешних событий и представляютсобой три типа алфавита Б.Очевидно, что система, обладающая алфавитом Б, может отразить только те события,явления и процессы, для которых в ее алфавите могут быть найдены подходящиесимволы или комбинации символов.
При освещении вопроса об алфавитеотражающей системы Маккарти лишь бегло затрагивает вопрос о качественномсвоеобразии внешнегообъекта, отражаемого на уровне мышления. Это центральный вопрос в даннойобласти.
Pages: | 1 | ... | 46 | 47 | 48 | 49 | 50 | ... | 52 | Книги по разным темам