Надо сказать, что один из методов решения полисиллогизмов был предложен математиком и логиком Ч. Доджсоном (литературный псевдоним — JI. Кэрролл), обильно «насорившим» соритами в своих книгах «Алиса в стране чудес», «История с узелками» и других.
Так, например, рассмотрим следующий полисиллогизм Кэррола:
1) «Все малые дети неразумны».
2) «Все, кто укрощает крокодилов, заслуживают уважения».
3) «Все неразумные люди не заслуживают уважения».
Необходимо определить, что следует из этих посылок.
Пытаясь решить подобную задачу в рамках аристотелевой силлогистики, нам пришлось бы последовательно подбирать подходящие пары суждений, получать из них следствия до тех пор, пока не будут исчерпаны все возможности. Это при росте числа утверждений оказалось бы чрезвычайно сложной задачей, результат решения которой не всегда приводит к однозначному выводу.
Л. Кэррол разработал оригинальную методику решения полисиллогизмов. Начальный этап решения таких задач может быть представлен в виде следующей последовательности операций (эти этапы присутствуют как у Л. Кэррола, так и в методике Б.А. Кулика):
— определение основных терминов, из которых состоит система посылок;
— введение для терминов системы обозначения;
— выбор подходящего универсума (множества, охватывающего все упоминаемые объекты).
В приведенном примере основными терминами данной задачи являются: «малые дети» (С), «разумные люди» (S), «те, кто укрощает крокодилов» (Т) и «те, кто заслуживает уважения» (R). Очевидно, что эти основные термины представляют какие-то множества в универсуме «люди». Их отрицаниями соответственно будут следующие термины: «не малые дети» (~С), «неразумные люди» (~S), «те, кто не укрощает крокодилов» (~T) и «те, кто не заслуживает уважения» (~R). Универсумом же для данной системы будет являться множество всех людей (U).
По существу, мы сформировали систему элементов формального описания предметной области, отраженной в полисиллогизме. Завершим пример, используя подход Б.А. Кулика (для прочтения символической записи достаточно припомнить школьные годы)…
Итак, С С T CI R S CI R (знак С символизирует отношение включения множеств). — Именно так будет выглядеть запись базовых суждений сорита. По школьным годам помнится, что операция инверсии знаков у обеих частей неравенства приводит к интересным результатам (превращению знака «больше» в знак «меньше» и т. д.). В нашем случае такая аналогия вполне уместна: операция отрицания поставленная перед каждым из терминов приведет к инверсии отношения включения, то есть получим:
S с= С; R^T; R<^S. То есть, «Все разумные люди не являются малыми детьми» и т. п. Далее получим:
C^S,S^R =>С <^R Т (z R,R çz S =>Т œS S^R,
RœT ^SœT
СсГ;
ГсС.
RœS,SœC ^KçC
Итого, получаем: «Все малые дети не укрощают крокодилов» и «Все, кто укрощает крокодилов, не являются малыми детьми». Расшифровать прочие утверждения читатели могут самостоятельно.
Логические модели широко используются для описания систем знаний в различных предметных областях, при этом уровень формализации описания в таких моделях существенно выше чем в логико-лингвистических. Достаточно заметить, что одному высказыванию (когнитивному элементу) логико-лингвистической модели, как правило, соответствует несколько высказываний логической модели.
Зачастую, наряду с классическим логическим формализмом, в таких моделях используется формальные средства теории множеств и теории графов, служащие для расширения возможностей по описанию и представлению отношений в логических моделях. Здесь прослеживается их сходство с логико — лингвистическими моделями. Так же, как и логико-лингвистические модели, логические модели позволяют осуществлять качественный анализ, однако, будучи дополнены формальными средствами и методами других разделов математики (что делается достаточно легко, поскольку логика является метаязыком как для естественного языка, так и для искусственных языков), логические модели позволяют осуществлять и строгий численный анализ.
Наиболее широкое распространение логические модели получили в области построения систем искусственного интеллекта, где они используются в качестве основы для производства логического вывода из системы посылок, зафиксированных в базе знаний, в ответ на внешний запрос.
Ограничения, связанные со спецификой предметной области (нечеткость и неполнота экспертных знаний) привели к тому, что в последние годы в отрасли построения систем искусственного интеллекта приобрели особую популярность квазиаксиоматические логические системы (подход, развиваемый отечественным ученым Д.А. Поспеловым). Такие логические системы заведомо неполны и для них не выполняется полный комплекс требований, характерных для классических (аксиоматических) систем. Более того — для большинства логических высказываний, образующих такую систему, задается область определения, в пределах которой эти высказывания сохраняют свою значимость, а все множество высказываний, на основе которых осуществляется анализ, делится на общезначимые высказывания (справедливые для всей модели) и высказывания, имеющие значимость лишь в рамках локальной системы аксиом.
Те же причины (неполнота и нечеткость экспертных знаний) сделали популярными такие направления логики, как многозначные логики (первые работы в этой области принадлежат польским ученым Я. Лукасевичу и А. Тарскому 1920-30-е годы), вероятностные логики и нечеткие логики (Fuzzy Logic — автор теории Л. Заде — 1960-е годы). Этот класс логик активно используется при синтезе логических моделей для систем искусственного интеллекта, предназначенных для ситуационного анализа.
Поскольку большинство знаний и понятий, используемых человеком, нечетко, Л. Заде предложил для представления таких знаний математическую теорию нечетких множеств, позволяющую оперировать такими «интересными» множествами, как множество спелых яблок или множество исправных автомобилей. На таких вот интересных множествах были определены операции нечеткой логики.
Системы, использующие модели на базе нечеткой логики разрабатываются специально для решения плохо определенных задач и задач с использованием неполной и недостоверной информации. Внедрение аппарата нечетких логик в технологии создания экспертных систем привело к созданию нечетких экспертных систем (Fuzzy Expert Systems).
Нечеткие логики стали особенно популярны в последние годы, когда Министерство Обороны США всерьез приступило к финансированию исследований в этой области. Сейчас в мире наблюдается всплеск интереса к аналитическим программным продуктам, созданных с применением методов нечетких логик и нечетких логических моделей. Правда, логическими эти модели назвать уже трудно — в них широко используются многозначные вероятностные отношения меры и принадлежности взамен традиционного математического аппарата бинарной логики. Нечеткая логика позволяет решать широкий класс задач, не поддающихся строгой формализации — методы нечеткой логики используются в системах управления сложными техническими комплексами, функционирующими в непредсказуемых условиях (летательными аппаратами, системами наведения высокоточного оружия и т. д.).
Многие зарубежные аналитические технологии, в силу действия экспортных ограничений, на российские рынки не поставляются, а инструментальные средства для самостоятельной разработки приложений являются ноу-хау фирм производителей — экономически выгоднее поставлять готовые приложения, чем создавать себе армию конкурентов (тем более в странах с «дешевыми» мозгами).
По существу логические модели представляют собой последний этап формализации, на котором в качестве элементов высказывания еще могут выступать понятия, сформулированные на языке человеческого общения. Но как мы видели в логические методы уже активно вмешиваются элементы формальных систем, речь о которых пойдет далее.
2.6 Статистические, теоретико-вероятностные модели
Статистические и теоретико-вероятностные методы составляют методологическую основу одноименного вида моделирования. На этом уровне формализации модели речь о вскрытии закона, обеспечивающего устранение неопределенности при принятии решения, пока еще не идет, но существует некоторый массив наблюдений за данной системой или ее аналогом, позволяющих сделать некие выводы относительно прошлого/текущего/будущего состояния системы, основываясь на гипотезе об инвариантности ее поведения.