Автор неизвестен - Информация, язык, интеллект - страница 49

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77  78  79  80  81  82  83  84  85  86  87  88  89  90  91  92  93  94  95  96  97  98  99  100  101  102  103  104  105  106  107  108  109  110  111  112  113  114  115  116  117  118  119  120  121  122 

P. 218-239. 5. Шенк, Р. Познать механизмы мышления [текст] / Р. Шенк, Л. Хантер. — М.: Мир, 1987. — 287 с. 6. Винер Н. Кибернетика [текст]: 2-е изд. / Н. Винер — М.: Сов. радио, 1968. — 325 с. 7. Математический энциклопе­дический словарь [текст] / Сов. Энциклопедия; гл. ред. Ю. В. Прохоров. — М., 1988. — 847 с. 8. Мальцев, А. И.

Алгебраические системы [текст] / А. И. Мальцев. — М.: Изд-во «Наука», 1970. — 392 с. 9. Русакова, Н. Е. Методы реляционного программирования [текст] / Н. Е. Русакова // Материалы первой международной научно-практической конференции «Проблемы и перспективы развития IT-ин-дустрии»: тез. докл. 18—19 ноября 2009 г. — Х.: ХНЭУ, 2009. — С. 250 — 252. 10. Бондаренко, М.Ф. Теория интеллекта [текст] / М. Ф. Бондаренко, Ю. П. Шабанов-Кушнарен-ко. — Х.: Изд-во «СМИТ», 2007. — 576 с. 11. Дударь З. В. О прикладной алгебре конечных предикатов [текст] / З. В. Дударь, Н. С. Кравец, Ю. П. Шабанов-Кушнаренко // Проблемы бионики научн.-техн. журнал. — Х.: Изд-во ХНУРЭ, 1998. — вып.49 — С. 14-22. 12. Дударь, З. В. Отношения как объекты формульного описания [текст] / З. В. Дударь, Р. В. Мельникова, Ю. П. Шабанов-Кушна-ренко // Радиоэлектроника и информатика научн.-техн. журнал. — Х.: Изд-во ХНУРЭ, 1997. — № 1 — С. 115-119.

13.Русакова, Н. Е. Модель устной речи [текст] / Н. Е. Русакова // Бионика интеллекта. 2010. — № 1 — С. 94-97.

14.Бондаренко, М. Ф. Модели языка [Текст] / М. Ф. Бон­даренко, Ю. П. Шабанов-Кушнаренко // Бионика интел­лекта — Х.: Изд-во ХНУРЭ, 2004. — №1 — С. 27-37.

Поступила в редколлегию 31.03.2010.бионика интеллекта. 2010. № 2(73). с. 74-86ИНСТРУМЕНТАРИЙ КОМПАРАТОРНОЙ ИДЕНТИФИКАЦИИ

М.Ф. Бондаренко1, Ю.П. Шабанов-Кушнаренко2, Н.В. Шаронова3

1 2 ХНУРЭ, г. Харьков, Украина 3 ХПИ, г. Харьков, Украина

Развивается метод аксиоматического описания разума человека, — метод сравнения или метод ком-параторной идентификации. Он позволяет излагать теорию интеллекта дедуктивным способом, исходя исключительно из физически наблюдаемых фактов. Обнаруживаемые в экспериментах в соответствии с этим методом закономерности поведения испытуемого записываются в виде системы логических уравнений.Данная статья является продолжением прежних работ авторов в области теории интеллекта. В пре­дыдущих работах [1-3] дана характеристика теории интеллекта как новой научной области, разработа­ны математические и технические средства теории интеллекта, обсуждены проблемы и перспективы ее развития, описан метод теории интеллекта и дан обзор стоящих перед нею задач.

В данной статье мы приступаем к изложению конкретных достижений теории интеллекта. В ка­честве образца при разработке теории интеллек­та мы принимаем современную физику, которая, подобно теории интеллекта, имеет две стороны — формальную и содержательную. Как формальное учение физика — это опытная наука, изучающая законы природы и выражающая их в виде уравне­ний.

Необходимость рассматривать теорию интел­лекта как формальное учение обусловлена тем, что она нуждается в особом математическом языке, который недостаточно развит в имеющихся разде­лах математики. Поэтому теория интеллекта, на­ряду с содержательным изучением разума челове­ка, вынуждена также разрабатывать необходимый ей формальный аппарат. В этом теория интеллекта не уникальна. Так, потребности небесной меха­ники породили математический анализ, учение о логических способностях человека стимулировало развитие исчисления предикатов.

1. Компараторная идентификация — метод теории интеллекта

Возможность излагать теорию интеллекта де­дуктивным способом, исходя исключительно из физически наблюдаемых фактов, основывается на развитом нами методе аксиоматического описания разума человека. Это метод — сравнения или метод компараторной идентификации. Сущность метода состоит в том, что испытуемый (человек, интеллект которого исследуется) в специально поставленных опытах своими физическими реакциями форми­рует значения некоторых предикатов Р1,Р2,.,РГ.

В этих опытах выявляются свойства предикатов Р1,Р2,..,РГ, которые формально записываются в виде логических уравнений, связывающих преди­катные переменные X1,X2,...,Xr. Некоторые из этих уравнений используются в роли аксиом или исходных постулатов теории интеллекта. Из акси­ом, как из уравнений, находятся значения преди­катных переменных X1,X2,...,Xr, которыми явля­ются соответственно предикаты Р1,Р2, .,РГ.

Внутренняя структура найденных предикатов характеризует те или иные детали механизма ин­теллекта человека.

Метод сравнения впервые использовал Ньютон [4] при физическом изучении цветового зрения че­ловека. Действуя в роли испытуемого, он наблюдал на полях сравнения произвольные световые излу­чения x1, x2 и регистрировал равенство или нера­венство их цвета. Формируемый таким способом предикат Р(x1, x2) впервые связал логическими уравнениями-аксиомами Грассман. Основываясь на постулатах (законах) Грассмана, Шредингер впервые построил дедуктивную теорию цветового зрения человека.

При изучении человеческого интеллекта ме­тодом сравнения исследователь воздействует на органы чувств испытуемого физическими сигна­лами (стимулами) x1,x2,...,xn, порождающими в его сознании определенные субъективные пере­живания (состояния) y1,y2,...,yn. Предполагает­ся, что состояния y1,y2,...,yn однозначно зави­сят от соответствующих им стимулов x1,x2,...,xn. Это означает, что существуют функции

y1 = fl(xl), y2 = f2(x2),.••, yn = fn (xn ) .

В опытах на испытуемом стимулы x1,x2,...,xn берут­ся из четко очерченных исследователем множеств A1,A2,...,An, так что всегда x1 є A1,x2 є A2,...,xn є An.

Множества A(iє|1,2,...,п}) исследователь вы­бирает произвольно, по своему усмотрению, исхо­дя из тех научных задач, которые он перед собою ставит. Предполагается, что каждый из стимулов x, є A порождает вполне определенное состояние Уі . Множество всех значений функции y = f (x,),заданной на множестве A , обозначаем символом Bi. Таким образом, каждая из функций f пред­ставляет собою сюръекцию, отображающую мно­жество A на множество Bt. Функции f характе­ризуют способность испытуемого реагировать на внешние предметы соответствующими им субъек­тивными состояниями.

Исследователь дает испытуемому задание, кото -рое тот должен выполнить в ходе опыта. В задании указывается некоторое отношение L , связываю­щее состояния y1 єВ1,y2 єВ2,...,yn єВп . В каждом опыте исследователь формирует в сознании ис­пытуемого определенные состояния y1,y2,..,yn, предъявляя ему соответствующие им стимулы x1,x2,...,xn. Если для этих состояний отношение L выполняется, то испытуемый должен отреагиро­вав ответом £ = 1, если не выполняется, то ответом £ = 0. Исполняя задание, исітьпуемьгй реализует предикат £ = L(y1,y2,...,yn), соответствующий от­ношению L . Предикат L характеризует действие механизма сознания испытуемого, сравнивающе­го состояния y1,y2,...,yn в соответствии с получен­ным заданием. Именно эта операция сравнения дает имя методу компараторной идентификации (от английского слова compare - сравнивать).

Предикат Р( х, x2,^, xn) = L(f1(x), f2(x2),..., fn (xn)) характеризует физически наблюдаемое поведение испытуемого, выполняющего задание исследовате­ля и реагирующего на стимулы x1,x2,...,xn ответом £ = P(x1, x2,..., xn). Задача теории интеллекта состо­ит в том, чтобы из свойств предиката Р , обнару­живаемых в опытах на испытуемом, извлечь внут­реннюю структуру сигналов x1, x2,..., xn; y1, y2,..., yn; вид функций f1,f2,..,fn и вид предиката L . Эта за­дача допускает обобщение на случай r предикатов Р1,Р2, ..,Рп. В общем случае испытуемый получает r заданий, которые выполняет поочередно для различных наборов входных сигналов.

Обнаруживаемые в экспериментах закономер­ности поведения испытуемого записываются в виде системы логических уравнений (условий):

ад, X2,..., Xr) = 1,

ад, X2,..., Xr) = 1, (1)

 

Р (X1, X2,..., Xr) = 1,

связывающих между собою предикатные перемен-н^іе X1,X2,...,Xr. Символами P1,P2, .,Pl обозначен^і предикаты от предикатов X1,X2,^,Xr. Предикат Xj (x1, x2,..., xn )(j є|1,2,^,г }) задан на декартовом произведении A1 j х A2} x...x Ajj. Имеется в виду, что решение X1 = Р1,X2 = Р2,^,Xr = Рг удовлетворяет системе уравнений (1).

Значения аргументов x1,x2,^,xn предикатов P1,P2, ..,Pr в экспериментах выступают поначалу как абстрактные элементы, внутренняя структу­ра которых неизвестна. Эта структура извлекается дедуктивными приемами из условий (1). Из них же извлекается внутренняя структура предикатов Р1,Р2, ..,РГ, которая слагается из внутренней струк­туры сигналов у1 j,У2jynj, функций f1 jf jfj и предиката Lj для каждого из предикатов

Pj (x1,      ^, xn ) = Lj (f j (x1), f2 j (x2),..., fj (xn )) = = Lj (y1 j, y2 j,-, ynj ).

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77  78  79  80  81  82  83  84  85  86  87  88  89  90  91  92  93  94  95  96  97  98  99  100  101  102  103  104  105  106  107  108  109  110  111  112  113  114  115  116  117  118  119  120  121  122 


Похожие статьи

Автор неизвестен - 13 самых важных уроков библии

Автор неизвестен - Беседы на книгу бытие

Автор неизвестен - Беседы на шестоднев

Автор неизвестен - Богословие

Автор неизвестен - Божественность христа