|
Читайте также: |
Действие этой машины Тьюринга можно представить себе следующим образом. Машина начинает работу в своем исходном состоянии и читает символ, записанный в крайней левой клетке ее входной ленты. В ее наборе формальных правил (переходной функции) содержится инструкция, говорящая, что если машина находится в состоянии si и читает символ ai, то затем она пишет символ aj , движется влево, вправо или остается на том же месте и переходит (или нет) в другое состояние sj . Таким образом машина продвигается вдоль ленты, следуя установленному набору правил. Если в конце вычисления машина останавливается в состоянии приема, то входная лента называется вычислимой и принятой этой машиной. Если машина останавливается в конце вычисления в состоянии отказа, это значит, что входная лента отвергнута этой заданной машиной. Прием или отказ машины могут быть отображены (как это сделал Хомский) на лингвистические вопросы, например, на вопрос, составляет ли определенная последовательность слов правильно построенное предложение рассматриваемого языка, или нет.39
Этим способом можно представить даже удивительный результат Геделя о неразрешимости. В этом контексте он известен как проблема задержки: для произвольно заданной, вполне определенной МТ (машиной Тьюринга), вообще говоря, невозможно решить по заданной входной ленте, остановит ли машина свое вычисление с этой лентой через конечное число шагов.
Хотя эти результаты поразительно важны и плодотворны в более широком контексте философии науки и математики в целом, мы не будем заниматься ими в этой книге. Читатель с соответствующей подготовкой может познакомиться с этими вопросами глубже по любому изложению Теории Автоматов.
Я (ДГ) полагаю, что значительная часть моего собственного формального мышления о поведении и его кодировании сложилась под глубоким влиянием формализмов, определенных в Теории Автоматов. Независимо от того, можно ли заимствовать другие существенные идеи из этой области, эта случайность моего личного интеллектуального развития оказалась важным стимулом всего моего мышления о декомпозиции поведения при изучении превосходства и о кодировании его элементов. Я полагаю даже, что систематическая подготовка в этой области может в значительной степени прояснить происходящие теперь дискуссии с неправильными рассуждениями, смешивающими логические типы и уровни – какие можно встретить в журналах, претендующих на представление работы в области НЛП.
Логика
Может быть, наша позиция вызовет споры, но нам представляется очевидным, что исторические корни логики исходят из внутренней логики естественного языка. Это значит, что создание формальных систем и, в частности, логики (формальных систем, логики предложений, логики предикатов и модальной логики) представляет собой утонченное и очищенное обобщение паттернирования, содержащегося в системах естественного языка. Если принять эту точку зрения, то становится ясным, что, вдобавок ко всем уже наличным применениям логики, она представляет также возможное орудие исследований, ведущих к явному моделированию некоторых отображений, предшествующих преобразованиям f2 естественного языка – что должно составить существенную часть эпистемологии будущего.
Мы формально доказываем (см. Часть Ш, Глава 1, Логические уровни и логические типы), что структуры, лежащие в основе языка, в обеих главных категориях, обычно различаемых лингвистами (существительные и глаголы), образуют множество иерархий, определяемых логическим включением (логическими уровнями). Это упорядочение по логическому включению типично для лингвистических преобразований, и явно не характерно для многих паттернов на уровне ПД – что составляет важное различие при выборе способов вмешательства в приложениях паттернов НЛП к изменению поведения. Для нашей нынешней цели отметим следующие дальше отображения, связывающие паттернирование в НЛП, паттернирование в естественном языке и формальные логические системы.
В самом элементарном разделе формальной логики, в исчислении предложений, начатом еще греками, делается попытка формально определить правила правильного рассуждения. Все это предприятие решающим образом зависит от набора логических связок – таких операторов как И, ИЛИ, ЕСЛИ → ТО, НЕ и т.д. Определение этих операторов задается таблицами истинности. Например, таблица истинности для оператора И задается следующим образом:
Таблица истинности, определяющая оператор И
Si Sj Si и Sj
T T T
T F F
F T F
F F F
(где T = истинно и F = ложно)
Таблица читается следующим образом: два левых столбца содержат множество из всех четырех возможных перестановок символов T (истинно) и F (ложно) для отдельных предложений Si и Sj. В третьем столбце перечисляются истинностные значения конъюнкции (соединения оператором И двух предложений Si и Sj). В итоге истинностная таблица говорит, что если в нашей логической системе заданы два произвольных, правильно построенных повествовательных предложения, то конъюнкция этих двух предложений (соединенных оператором И) истинна в том и только в том случае, когда оба предложения Si и Sj сами верны, и ложна во всех других случаях.
Истинностная таблица, определяющая оператор ИЛИ
Si Sj Si или Sj
T T T
T F T
F T T
F F F
Эта таблица читается таким же образом и говорит, что если в нашей логической системе задано два произвольных, правильно построенных повествовательных предложения, то дизъюнкция этих двух предложений истинна в том и только в том случае, если одно из этих отдельных предложений или оба истинны, и ложно в противном случае (то есть в случае, когда Si и Sj оба ложны).
Эти определения с помощью истинностных таблиц хорошо согласуются с практикой естественного языка. Если я скажу вам два следующих предложения:
Я устал
Вы носите зеленое платье
и если оба эти предложения оказываются при проверке правильными (то есть истинными на языке формальной логической системы), то их конъюнкция, то есть предложение
Я устал и вы носите зеленое платье
считается правильным (истинным). В самом деле, если вы спросите себя, при каких условиях вы сочтете последнее предложение правильным, то вы легко придете к выводу, что сочтете его правильным в точности в том случае, если правильны оба отдельных предложения. Это превосходно согласуется с формальным определением логического оператора И.
Теперь задайте себе параллельный вопрос, при каких условия вы сочтете дизъюнкцию
Дата добавления: 2015-12-01; просмотров: 30 | Нарушение авторских прав