АВТОР - Д.Ф. Алиев
Доктор философии в области бизнес-права (PhD), доктор делового администрирования в области финансов (DBA), кандидат экономических наук, первый проректор Федерального государственного бюджетного образовательного учреждения высшего образования «Российский государственный социальный университет».
О МЕТОДОЛОГИИ МЫШЛЕНИЯ. СИСТЕМЫ СЧИСЛЕНИЯ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, ИСКУССТВЕННОЕ СОЗНАНИЕ
Аристотель в своих «Аналитиках» изложил теорию логики, приведя её законы и силлогизмы. Эта логика, как и все его физические представления, в том числе постулат «природа не терпит пустоты», оставались основой научного мышления вплоть до XX века несмотря на наличие противников в лице Галилея, Торричелли, Паскаля и др.
Считается, что и сегодня мы живём в аристотелевой логике.
В 1903-м году британец Бертран Рассел открыл парадокс, показывающий, что теория множеств в существовавшем виде приводит к противоречию. Это известный парадокс брадобрея: «он бреет всякого, кто сам не бреется; и не бреет того, кто бреется сам; кто бреет брадобрея?» Парадокс Рассела привёл к тяжёлому кризису математики, её расколу и резкому ускорению развития в трёх направлениях: интуиционизм, логицизм и формализм.
Интуиционисты во главе с голландцем Яном Брауэром критиковали классическую математику за её опору на парадоксальную теорию множеств; их новая математика рассматривала мир мысленных процессов как последовательность элементарных шагов. А ещё они исключили понятие бесконечности из науки. Как говорил Сигизмунд Врублевский, «если тебе трудно сразу понять всю бесконечность, постарайся понять ее хотя бы наполовину».
Логицисты во главе с немецким математиком, логиком и философом Готлобом Фреге, и самим Бертраном Расселом обнаружили, что парадоксы типа расселовского связаны не столько с их математическим содержанием, сколько со свойствами языка. Итогом стало утверждение о сводимости математики к логике и знаменитый труд в трёх томах «Principia Mathematica».
Формалистов собрал вокруг себя немецкий ученый Давид Гильберт. В этот круг входили такие видные ученые, как Герман Вейль, Эмануил Ласкер, Пауль Бернайс, Вильгельм Аккерман. К ним относился и Джон фон Нейман – автор фундаментальных трудов по математике, квантовой физике, информатике, автор архитектуры большинства современных компьютеров.
Д. Гильберт провозгласил своей целью возвращение математике её строгости и начал разрабатывать математический аппарат формализма. В 1934-м и 1939-м годах вышли два знаменитых тома «Оснований математики» Гильберта и Бернайса, в которых были представлены аксиоматическая теория доказательств и основы современной математической логики. Но предшествовала им более ранняя публикация 1928 года «Основ теоретической логики», подготовленная в соавторстве с Вильгельмом Аккерманом, в которой Гильберт и подверг уничтожающей критике логику Аристотеля.
Смысл противоречия заключается в том, что отвергнутое положение «Все А суть В» у Аристотеля трёхзначно, а у Гильберта – двухзначно. В этот момент математика оторвалась от реальности, а логика двух немецких ученых заменила всеобщую формулу «да»/«нет»/«не знаю» на чёрно-белую «да»/«нет». Однако наша жизнь тринарна, а бивалентная логика ведет к логическому фатализму.
Лучше всех эту историю прокомментировал известный математик позднего СССР, автор задачки «о мятом рубле» Владимир Игоревич Арнольд: «Гильберту принадлежит формальная точка зрения на математику как на дедуктивный вывод логических следствий из заданных аксиом. Эта точка зрения, безусловно, справедлива, но лишь в той мере, в какой поэзия сводится к последовательностям букв определенных алфавитов».
Вернёмся к проблемам искусственного интеллекта. Полагаем, что на современном уровне возможно создать даже суперинтеллект. Но понять эмоции человека по сообщениям в соц. сетях или создать вирусное приложение, покоряющее мир остроумными шутками, системы ИИ не смогут до тех пор, пока они бинарны. Для решения сверхзадачи искусственного сознания нужна тринарная (троичная, тернарная) (рис.5) информатика, основанная на логике Аристотеля.
Рис. 5. Пример базовой записи в системах счисления[1]
Первый и единственный серийный компьютер на живой трёхзначной логике назывался «Сетунь» и был создан Николаем Петровичем Брусенцовым и его коллективом.
Трудно предположить, каким был бы мир сегодня, если бы 60 лет назад политика партийно-промышленного руководства Госкомитета по радиоэлектронике была иной и команда Брусенцова получила бы поддержку. По мнению нидерландского ученого Эдсгера Дейкстру, автора концепции структурного программирования, «решение советского правительства о переходе советской промышленности к копированию модельного ряда IBM/360 стало величайшей победой Запада в Холодной войне».
Таким образом, тринарная информатика не получила такого развития, как бинарная, но несмотря на это некоторые исследования в этой области по-прежнему ведутся. В МГУ продолжает работать лаборатория троичной информатики Брусенцова. В США со времён появления американского аналога «Сетуни» PDP-8 создаются эмуляторы, исследуются элементы с промежуточными состояниями, на несложных задачах тестируется тринарная логика. Некоторые университеты Индии, Франции и Израиля также проводят исследования в области вычислительной техники на основе тринарной логики.
Изучаются сильные и слабые стороны тринарной логики, причем можно обоснованно утверждать, что большинство сильных сторон фундаментальны, в то время как недостатки связаны с проблемой технической реализации троичного состояния первичных элементов.
Для ЭВМ на основе тринарной логики есть варианты реализации долговременной памяти, при этом оперативная память и первичные элементы процессора требуют исследований. Однако исследования в рамках данной тематики не проводятся, несмотря на многие преимущества тринарности, такие как большая близость к основанию нормального логарифма или возможность записывать цвет одним тритом. На сегодняшний день для разработчиков вполне комфортна среда бинарной вычислительной техники, однако именно в ней представляется принципиально невозможным создание искусственного разума, в отличие от искусственного интеллекта.
В настоящее время весьма сомнительна также возможность получить поддержку исследований в области вычислительной техники, реализующей тринарную логику, но тем не менее, если в точке бифуркации наш выбор между искусственным интеллектом и искусственным сознанием будет в пользу ИС, необходимо пересмотреть перспективы разработки и тестирования вычислительной техники на основе тринарной логики в применении к созданию ИИ и ИС.
СПИСОК ЛИТЕРАТУРЫ
- The Malicious Use of Artificial Intelligence: Forecasting, Prevention and Mitigation. URL: https://arxiv.org/ ftp/arxiv/papers/1802/1802.07228.pdf (дата обращения: 12.09.2022).
- OpenAI Presents GPT-3, a 175 Billion Parameters Language Model. URL: https://developer.nvidia.com/ blog/openai-presents-gpt-3-a-175-billion-parameters-language-model/ (дата обращения: 12.09.2022).
- Artificial Intelligence. The next digital frontier? URL: https://www.mckinsey.com/~/media/mckinsey/ industries/advanced%20electronics/our%20insights/how%20artificial%20intelligence%20can%20 deliver%20real%20value%20to%20companies/mgi-artificial-intelligence-discussion-paper.ashx (дата обращения: 12.09.2022).
- Зловещий секрет в самом сердце искусственного интеллекта. URL: https://habr.com/ru/post/370445/ (дата обращения: 12.09.2022).
- ИИ-онколога IBM Watson уличили во врачебных ошибках. URL: https://hightech.plus/2018/07/27/iionkologa-ibm-watson-ulichili-vo-vrac…- (дата обращения: 12.09.2022).
- Stephen Hawking: 'Transcendence looks at the implications of artificial intelligence - but are we taking AI seriously enough?'. URL: https://www.independent.co.uk/news/science/stephen-hawkingtranscendence… (дата обращения: 12.09.2022).
- Dietterich T., Horvitz E. "Rise of Concerns about AI: Reflections and Directions". Communications of the ACM 58 (10): 38–40. doi:10.1145/2770869. URL: http://erichorvitz.com/CACM_Oct_2015-VP.pdf (дата обращения: 12.09.2022).
- Шутки, придуманные нейросетью, показали, как у ИИ обстоит дело с чувством юмора. URL: https:// naukatv.ru/news/nejrosetyam_predlozhili_pridumat_pervoaprelskie_rozygryshi (дата обращения: 12.09.2022).
- Robots 'could take 4m UK private sector jobs within 10 years'. URL: https://www.theguardian.com/ technology/2017/sep/19/robots-could-take-4m-private-sector-jobs-within-10-years (дата обращения: 12.09.2022).
[1] Источник: https://dev.to/buntine/the-balanced-ternary-machines-of-soviet-russia