Читаем Аналитика полностью

— определение основных терминов, из которых состоит система посылок;

— введение для терминов системы обозначения;

— выбор подходящего универсума (множества, охватывающего все упоминаемые объекты).

В приведенном примере основными терминами данной задачи являются: «малые дети» (С), «разумные люди» (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

Итого, получаем: «Все малые дети не укрощают крокодилов» и «Все, кто укрощает крокодилов, не являются малыми детьми». Расшифровать прочие утверждения читатели могут самостоятельно.

Логические модели широко используются для описания систем знаний в различных предметных областях, при этом уровень формализации описания в таких моделях существенно выше чем в логико-лингвистических. Достаточно заметить, что одному высказыванию (когнитивному элементу) логико-лингвистической модели, как правило, соответствует несколько высказываний логической модели.

Зачастую, наряду с классическим логическим формализмом, в таких моделях используется формальные средства теории множеств и теории графов, служащие для расширения возможностей по описанию и представлению отношений в логических моделях. Здесь прослеживается их сходство с логико — лингвистическими моделями. Так же, как и логико-лингвистические модели, логические модели позволяют осуществлять качественный анализ, однако, будучи дополнены формальными средствами и методами других разделов математики (что делается достаточно легко, поскольку логика является метаязыком как для естественного языка, так и для искусственных языков), логические модели позволяют осуществлять и строгий численный анализ.