Джерело комп’ютерних аналогій - Студопедія
В основі комп'ютерних аналогій ментального, що широко використовуються в когнітивістських моделях, лежить поняттямашини Тьюринга. У роботі 1950 року «Чи вміє машина мислити?» Алан Матісон Тьюрінг поставив завдання формулювання умов, за яких машина може бути описана як мисляча. А оскільки поняття «мислення» дуже темне, він вважає, що, прояснивши, що означає мислити машини, ми зможемо зрозуміти, що означає мислити взагалі. Т'юринг виходить із причини, що й поведінка машини не відрізняється від поведінки людини, це – достатній критерій вважати таку машину мислячої. Він запропонував абстрактну модель машини, яка успішно імітує всю сукупність людської поведінки, яка згодом отримала назву машини Тьюринга. В основі цієї ідеї лежать результати, отримані в 30-х роках 20-го століття і що лягли в основу так званої теорії автоматів та узагальнені в теорії алгоритмів. Т'юринг виходить з уявлення про розумну поведінку як діяльність, спрямовану на вирішення завдань. Завдання належить вирішуваної, якщо може бути виявлений алгоритм— набір обчислювальних процедур, що специфікуються, — її вирішення. Поняття алгоритму було інтуїтивно ясним, але існувало загальної формули алгоритму взагалі. Т'юринг сформулював таку тезу: для будь-якого алгоритму можна змоделювати машину, що відповідає певним характеристикам, яка буде реалізацією цього алгоритму [627]. Тоді для будь-якої задачі (у широкому, а не у вузькому, математичному, сенсі), яка вирішується людьми, може знайтися така обчислювальна машина, яка вирішуватиме це завдання так само добре. Машина Т'юрінга - абстрактна універсальна обчислювальна машина. Якщо така машина може імітувати поведінку будь-якої іншої машини, то вона в такомуУ разі, може бути універсальним імітатором людської поведінки. І, на думку Тьюринга, немає жодних логічних перешкод до припущення такої моделі.
Машина Т'юрінга відрізняється певними властивостями. В основі її лежить поняттяавтомата : самостійно діючого керуючого пристрою. Для їх опису використовуються три алфавіти: алфавіт входу, алфавіт виходу та алфавіт внутрішніх станів автомата. Серед таких автоматів розрізняють автомати з кінцевою або нескінченною пам'яттю, розрізняються вони, зрозуміло, і кількістю входів і виходів, а також можуть бути імовірнісними, якщо якась із функцій чітко не задана, а передбачається автоматично, що випадково здійснюється в кожний момент часу. Істотна характеристика машини Тьюринга -дискретність : у кожний момент дискретного часу вона знаходиться в певному (одному і тільки одному стані), так що можна точно вказати, що у машини «на вході» (інакше кажучи, що "сприймається" машиною), що "на виході" (машинна "дія") і в якому стані вона знаходиться в даний момент часу. Таким чином, кожендискретний стан можна повністю описати в термінах входу-виходу та функції (інакше: алгоритму), яка(-ий) їх пов'язує, тобто. використовуючи лише літери відповідних трьох алфавітів плюс спеціальні терміни, подібні до логічних константів. Можливі й існують машини з не дискретними станами: у разі ніякому моменту дискретного часу не можна зіставити одне і лише одне машинний стан – дані продовжують надходити на вхід постійно і постійно змінюється стан. У будь-який момент часу можуть бути «раховані» результати певних вимірювань або дій, що здійснюються за допомогою такої машини, але всередині інтервалу міжпочатком розв'язання задачі цією машиною та отриманням результату розрізнення дискретних станів неможливе (або практично можливе лише у вигляді будь-якої апроксимації). Результати, одержувані за допомогою таких машин, мають більшу похибку внаслідок того, що зчитування результатів - теж процес, що вимагає часу, а за цей час показання змінюються. Машинам з дискретними станами відповідають серед реальних машин, наприклад, цифрові комп'ютери, з дискретними станами – аналогові. У цьому плані роль універсального «мислячого» імітатора, побудованого за моделлю Тьюринга, краще підходять цифрові обчислювальні машини. Важко сказати, наскільки доречно проводити аналогію між людським організмом і машиною Тьюринга у структурному відношенні: для цього потрібно довести, що ментальні стани подібні до внутрішніх станів таких машин, а саме – дискретні. Труднощі у проведенні такої аналогії, проте, з погляду Тьюринга – не перешкода комп'ютерного моделювання свідомості: адже його критерій заснований на поняттіімітації – якщо машина Тьюринга (з дискретними станами) здатна імітувати поведінку будь-якої машини з не дискретними станами (а Т'юрингу, це – так), тобто. вирішувати всю сукупність завдань, розв'язуваних такими машинами, немає різниці в тому, наскільки обґрунтовано вважати внутрішні стани людини дискретними. Висновок про здатність машини Тьюринга мислити як людина (тобто вирішувати весь комплекс релевантних завдань) не залежатиме від успіхів чи невдач такого обґрунтування. Тоді, незалежно від цього, як вирішується метафізичне питання (що таке ментальне), мислення може описуватися термінах машинної моделі Тьюринга.
Не всі, але багато версій машинного функціоналізму спираються на поняття машин Т'юрінга, яківизначаються за двома функціями: від вхідних даних та станів до вихідних даних та від вхідних даних та станів до станів. У цій моделі будь-який пристрій, який відповідає поняттю машини Тьюринга, можна описати за допомогою так званоїмашинної таблиці. Приклад такої таблиці для примітивного автомата – вимикач:
| Стан S1 | Стан S2 | |
| Вхід: натискання | Увімк. та перехід у S2 | Вимк. та перехід у S1 |
| Вхід: немає натискання | Вимк. і залишається в S1 | Увімк. і залишається в S2 |
Будь-яка система, що має набір входів і виходів, а також станів, що відповідають машинній таблиці,описується машинною таблицею і єреалізацією абстрактного кінцевого автомата. Проста версія машинного функціоналізму наполягає у тому, кожна система, має ментальні стану, описується, по крайнього заходу, однією машиною Тьюринга певного виду; вона також стверджує, кожен тип ментальних станів системи тотожний одному з табличних машинних станів, визначених машинною таблицею.
Чи не знайшли те, що шукали? Скористайтеся пошуком: