PDF-лекции (1156613), страница 4

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 4)

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

Критика со стороныантропологии.Работы 20-х годов ("По ту сторону принципа удовольствия", "Я и Оно").Новая схема структуры личности:Id – носитель инстинктов, бессознательного и иррационального (подчиняется принципуудовольствия),Ego – носитель Сознания, служит требованиям Id (подчиняется принципу реальности),Super-Ego – носитель моральных запретов и норм, социален по своей природе.Динамика Личности – нарушение требований Super-Ego в угоду Id → моральныеконфликты, неврозы.Сравнение Ego со всадником; "бедное Ego".Учение о защитных механизмах личности: вытеснение, образование противоположнойреакции, проекция, вымещение, рационализация, сублимация.Развитие учения: Ревизованный психоанализ, Неофрейдизм, Психология ЭГО.Оценка концепции: вскрыта динамика Личности, но в основе личности "осознанныепобуждения – мотивы сознательной деятельности" (С.Л.Рубинштейн)День 4.

Программное обеспечение работ по ИИЭкспериментальный и эволюционный характер разработок систем ИИ, требования кпрограммному обеспечениюСистема Искусственного интеллекта (Интеллектуальная Система = ИС) – программно-аппаратныйкомплекс, способный к решению таких задач, решая которые человек использует своиинтеллектуальные способности.Создание ИС – процесс сложный, он предполагает моделирование интеллектуальной деятельностичеловека (а мы знаем, что она чрезвычайно сложна и слабо изучена)→приходится много экспериментировать, создавать все новые и новые варианты, версии11(иногда очень сильно отличающиеся друг от друга)→нужны языки высокого/сверхвысокого уровня для быстрого прототипированияОсобенности задач ИИ (с точки зрения программирования):1.

сложные и динамически меняющиеся структуры данных;2. большие по объему хранилища данных (базы знаний) и средства эффективной работы с ними;3. символьные (в основном) данные;4. модели, отражающие состояние проблемной среды;5. переборные алгоритмы;6. алгоритмы поиска по образцу;7. гибкие структуры управления.Языки, реально используемые в работах по ИИ:лиспоподобные языки высокого уровняязыки логического программированияязыки объектно-ориентированного программированияязыки на основе фреймовуниверсальные языки программированияязыки, ориентированные на доступ(используют специальные процедуры - демоны,которые активируются при получении СООБЩЕНИЙ)экспертные системы-оболочки- различные диалекты/версии Лиспа- Пролог- SMALL-TALK- KRL- C/C++, Java, Паскаль- LOOPS- EMYCINДругие средства программной поддержкиРедакторы баз знаний:штатные текстовые редакторыавтоматические журналысредства синтаксического контролясредства контроля содержанияСредства отладки: трассировка, остановы, автоматизация тестированияЯзык ЛИСПВ языке Лисп все действия описываются в виде функций.

С точки зрения синтаксиса, обращенияк функциям, как и обрабатываемые ими данные, представляют собой так называемые S-выражения. Впростейшем случае S-выражением является атом (идентификатор или число), в более сложном –список, который представляет собой заключенную в круглые скобки последовательность элементовсписка. Отметим, что обращение к функции всегда является списком. Лисповские списки имеютрекурсивную структуру, поскольку элементом списка может быть произвольное S-выражение – какатом, так и список. Примеры списков:(( ) (a b 1 (c)) class)(car (quote (( ) ( ))))(AT ROBOT (a 6))(1 2 # 4 5 6 7 8 3).Пустой список () имеет в Лиспе и другое обозначение – nil, причем он одновременноотносится и к атомам, и к спискам.Некоторые S-выражения имеют значения, которые можно вычислять.

Такие выраженияназываются формами. Простейшими формами являются числа, идентификаторы T и nil, а такжепеременные с уже определенными значениями; значением такой формы служит соответственно самочисло, сам идентификатор T и nil или текущее значение переменной.Формой является также обращение к функции, т.е. список вида(f a1 a2 . . .

an)(n≥0)где f - имя функции, а ai - ее аргументы, которые для обычной функции должны быть формами. В Лиспеесть и специальные функции, у которых может быть произвольное число аргументов и аргументыкоторых либо не вычисляются, либо вычисляются особым образом.12Программа на Лиспе представляет собой последовательность форм, и ее выполнение заключаетсяв последовательном вычислении этих форм. Как правило, в начале программы определяютсяновые функции, а затем следуют обращения к ним.Языка Лисп предоставляет большой набор встроенных (стандартных) функций, на основекоторых составляется пользовательская программа.

Ниже кратко описаны некоторые из встроенныхфункций – те, что были использованы в предыдущих разделах пособия. Все эти функции входят внаиболее известные версии Лиспа - Common Lisp и MuLisp.Отметим, что комментарием в Лиспе считается любой текст между двумя точками с запятой (;)Определение новых функцийДля этого служит встроенная функция defun, к которой можно обратиться так:(defun f (lambda (v1 v2 .

. . vn) e))(n≥0).Сокращенный вариант обращения – (defun f (v1 v2 . . . vn) e).Значением этой функциональной формы является имя определяемой функции, т.е. f. Побочнымже эффектом вычисления этой формы будет определение новой лисповской функции с именем f,аргументами (формальными параметрами) vi и телом e - формой, зависящей от vi.Отметим, что таким образом определяется обычная лисп-функция, т.е. функция сфиксированным количеством аргументов, которые всегда вычисляются при обращении к ней.При последующем обращении в программе к новой функции (f a1 a2 . . .

an)сначала вычисляются аргументы (фактические параметры) ai, затем вводятся локальные переменные vi,которым присваиваются значения соответствующих аргументов ai, а далее вычисляется форма-тело eпри этих значениях переменных vi, после чего эти переменные уничтожаются. Вычисленное значениеформы становится значением функции f .Основные операции над списками(car l)Значением аргумента l должен быть непустой список, тогда значением функции является первыйэлемент (верхнего уровня) этого списка. Например: (car '(AT ROBOT (a 6)) ) → AT.Примечание: символ ' имеет особое значение, он показывает, что следующее за ним S-выражение берется в том виде, в каком онозаписано (значение его – как формы – не вычисляется) – см. ниже.(cdr l)Значением аргумента l должен быть непустой список, и значением функции является «хвост» этогосписка, т.е. список, полученный отбрасыванием первого элемента.

Например, (cdr '(AT ROBOT (a6)) ) → (ROBOT (a 6)).Кроме этих двух функций, называемых селекторами элементов списка, часто используютсяфункции, эквивалентные определенной их суперпозиции. Имена всех таких функций начинаются набукву c, а заканчиваются на букву r, между ними же может стоять произвольная комбинация из не болеечем пяти букв a и d, причем буква a означает наличие в суперпозиции функции car, а буква d –функции cdr . Сама же последовательность букв соответствует порядку следования функций car и cdr вэквивалентной суперпозиции.Например, (caddr l)  (car (cdr (cdr l))) .Предполагается, что список-аргумент l всех этих функций, так же как и ниже описываемой функции nth,содержит необходимое число элементов (в противном случае вычисление программы прерываетсясообщением об ошибке).(nth n l)Значением аргумента n должно быть положительное целое число (обозначим его N), а значениемаргумента l – список.

Значением функции является N-й от начала элемент этого списка. Например,(nth 2 '(AT ROBOT (a 6)) ) → ROBOT.13(last l)Функция выбирает последний (от начала) элемент списка, являющегося значением ее аргумента.Например, (last '(AT ROBOT (a 6)) ) → (a 6).(cons e l)В отличие от предыдущих функций эта функция является конструктором, т.е. строит новый список,который и выдает в качестве своего результата. Первым элементом этого списка будет значениеаргумента e, а хвостом списка – значение аргумента l. Например, (cons '(A B C) '(D E F) ) →((A B C) D E F).(append l1 l2)Эта функция осуществляет конкатенацию двух списков, являющихся значением ее аргументов.Например, (append '(A B C) '(D E F) ) → (A B C D E F).(list e1 e2 .

. . en)(n≥1)Эта функция имеет произвольное количество аргументов, из значений которых она строит список(количество элементов на верхнем уровне результирующего списка равно количеству аргументов).Например, если переменная X имеет своим значением список (p (q r)), а переменная Y – список(t), тозначение формы (cons X Y) равно ((p (q r)) t),значение формы (append X Y) равно (p (q r) t),значение формы (list X Y)равно ((p (q r)) (t)).Арифметические функции(length l)Значением аргумента l должен быть список, функция вычисляет количество элементов (верхнегоуровня) этого списка.

К примеру, значение (length X) равно 2, если переменная X имеет значение (p(q r)).Значениями аргументов нижеследующих функций должны быть числа, над которыми производятсяарифметические операции.(add1 n)Функция прибавляет число 1 к числу-аргументу и выдает результат в качестве своего значения.(sub1 n)Эта функция вычитает 1 из значения своего аргумента и выдает результат в качестве своего значения.(+ n1 n2)Значением функции является сумма значений ее аргументов.(- n1 n2)Значением этой функции является разность значений ее аргументов.(mod n1 n2)Функция выполняет деление нацело значение первого аргумента на значение второго, и результатвыдает в качестве своего значения.(rem n1 n2)Результат вычисления этой функции – остаток от деления первого числа на второе.ПредикатыПредикатом обычно называется форма, значение которой рассматривается как логическоезначение «истина» или «ложь».

Особенностью языка Лисп является то, что «ложью» считается пустойсписок, записываемый как () или nil, а «истиной» – любое другое выражение (часто атом T).(null e)Эта функция проверяет, является ли значение ее аргумента пустым списком: если да, то значениефункции равно T, иначе – ().(eq e1 e2)Функция сравнивает значения своих аргументов, которые должны быть атомами-идентификаторами.

Вслучае их совпадения (идентичности) значение функции равно T, иначе – ().14(eql e1 e2)В отличие от предыдущей функции, данная функция сравнивает значения своих аргументов, которымимогут быть не только атомы-идентификаторы, но и атомы-числа. Если они равны, то значение функцииравно T, иначе – ( ). Отметим, что во многих версиях Лиспа для сравнения любых атомов используетсяфункция eq.(neq e1 e2)Аналог предыдущей функции, но значения аргументов сравниваются на «не равно».(equal e1 e2)Функция производит сравнение двух произвольных S-выражений – значений своих аргументов.

Характеристики

Список файлов лекций