Про многозначную логику...

[psilogic]

Вот часто говорят: дескать, двузначная логика - это так примитивно: либо "да", либо "нет", и никаких полутонов между. А вот многозначная - это да, за ней, типа, будущее.

Издят-с!

Во-первых, логик многозначных до... полового органа. Есть даже комплексные логики, где истинность выражается комплексным числом. Типа вот этой: http://psi-logic.shadanakar.org/other/c9logic.doc - два камрада прислали мне свой вариант комплексной логики. Лично мне не понравилось, но суть то не в этом, а в том, что существуют такие логические системы.

Так что говорить о будущем с многозначными логиками - как-то не очень... куча их в прошлом :)

Во-вторых, эти многозначные логики так и остались невостребованными по большому счету. Ну есть, конечно, кое-какие применения, но не очень то много.

В-третьих, есть такая теория вероятностей, которую, в принципе, можно считать многозначной логикой с о-о-о-чень небольшой натяжкой. Вероятность 1 - как истина, 0 - как ложь и промежуточные вероятности - как промежуточные варианты истины. Например, я собираюсь бросить монетку и говорю: "монетка упадет решкой вверх" - эта фраза истинная или ложная? Наверное, ни то, ни другое, ее истинность равна 0,5.

Так вот, можно рассматривать теорию вероятностей как многозначную логику. Даже как бесконечнозначную, поскольку между вероятностями 0 и 1 заключено бесконечно много промежуточных значений. И эта (вероятностная) логика используется очень широко.

Получается, что в математике и науке давно уже применяется хорошая многозначная логика, за ней не только будущее, но и прошлое ;)

Comments

[akuzmich.livejournal.com]

В принципе ты прав, но... Есть одно небольшое но. Ты будешь удивлен, но чипы с fuzzy logic широко применяются, например в фотоаппаратах. Или стиральных машинах. А принципиальное отличие от ТВ есть. Могу даже описать в чем оно заключается. :) Если надо.

[psilogic.livejournal.com]

Надо :)

[akuzmich.livejournal.com]

Ну начнем с того, что в тервере, когда у нас вероятность наступления события A = x (x<1), то вероятность ненаступления оного события обязательно равна 1-x, что НЕ работает в нечеткой математике вообще. Тоесть для некоторых логик (в т.ч. двоичной) работает, но это частные случаи. Я на семинаре для студентов специально получал нечеткий вывод, где исключалось наступление события (0.7) и событие наступало (0.6). Ну и еще куча проблем происходит, когда от априорных вероятностей переходишь к апостериорным.