по законам аристотелевой логики. Современные системы машинного обучения тоже начинают использовать для своей работы похожие принципы, и к ним применяются отнюдь не традиционные наработки для знаний, понимаемых как формальные модели. Объединение методов формальной, «научной» работы со знаниями и методов «неформальной» интуитивной работы в нейронных сетях (искусственных или естественных, в мозгу человека – это тут неважно) представляет собой научный и технический фронтир, мы не будем касаться этих вопросов в нашей книге40. Но нужно понимать, что когда говорят про человеческие «интуицию» и «чуйку», то имеется в виду именно такое мышление41.
Мы в нашей книге исходим из того, что мышление «бибинарно»42 (би – это умножающая приставка от латинского bis, «дважды»), т.е. дважды двойное:
1. По шаблонам – нешаблонное
1.1. «Культурное» мышление, следующее лучшим цивилизационным образцам, шаблонам (patterns), использующее накопленное человечеством знание и одновременно
1.2. нетронутое какой-либо культурой, шаблонами «дикое» мышление, которое приходит новыми путями к выводам, потенциально каких цивилизация ещё не знала, паттерны чего ещё не различала.
В нашей книге мы делаем упор на культурную часть системного мышления, пытаемся взять в нём самое важное, отмоделировать и передать пытающимся освоить его людям. При этом мы понимаем, что в реальной жизни приходится всё время выходить за рамки имеющегося знания, давать ответы на вопросы, которые в учебниках (в том числе и нашей книге), стандартах, публичных документах и даже научных статьях ещё не рассматривались.
2. Знаковое-незнаковое (формальное-неформальное)
2.1. Формальное мышление (дискретное), опирающееся в своих приёмах на строго определённые дискретные объекты какой-то конкретной онтологии. Это мышление состоит в выражаемых знаками (symbols) классических логических рассуждениях. Но одновременно
2.2. мышление непрерывное, коннекционистское, опирающееся на объекты, определённые лишь статистически, вероятностно, без их знакового выражения и интуитивно проводимое эвристическое (т.е. необязательно формально верное, но применимое в большинстве случаев, хотя и не во всех) рассуждение. Правила такого рассуждения тоже могут быть не формализованы.
В нашей книге мы делаем упор на формальное системное мышление, дискретные знаковые представления о системах, но понимаем, что в реальной жизни приходится в существенной мере опираться на автоматизмы мышления, использующие интуитивные непрерывные представления, и это зачастую даёт огромные преимущества. Например, формальные (дискретная логика) рассуждения для разных конкретных онтологий и отдельных предметных онтик принципиально (т.е. формально-логически) несопоставимы, но их можно как-то объединять в коннекционистских (непрерывных) представлениях.
Мышление,
Подробности можно найти литературе по ссылкам тут: http://ailev.livejournal.com/1283541.html и в более популярном изложении тут: http://ailev.livejournal.com/1281819.html.
