Математическая логика и теория алгоритмов

в некоторых случаях считают, что U есть конечное множество, например, !7={0; 0,1; 0,2; 0,3; 0,9; 1}, которое записывают в виде; [/=0+0,1+0,2+0,3+...+0,9+1. При таком задании U функцию принадлежности значения истинный можно определить, например, так: мстшньгй=0,5/0,7+0,7/0,8+0,9/0,9+1/1, где, например, пара 0,5/0,7 означает, что совместимость значения истинности 0,7 со значением истинный равна 0,5. На множестве лингвистических переменных вводятся логические операции - связки 1 ,&,v. Ясно, что эти операции будут уже не столь тривиальны. Здесь нужно будет различать, например, соединение союзом «и» лингвистических значений (положим, истин­ ный и неистинный) от союза «и» в высказывании «ИСТИННЫЙ и не ИСТИННЫЙ» Построенная таким образом нечеткая логика используется в так называемых приближенных рассуждениях. Приближенные рассужде­ ния лежат в основе способности человека понимать естественный язык, разбирать почерк, играть в шахматы, принимать решения в сложной и не полностью определенной среде. Данная логика интен­ сивно исследуется и находятся ее приложения: используется в экс­ пертных системах, в системах, читающих рукописный текст и т.п. Если сключить невозможное, тото,чтоостанется, сколь быневероятным ононибыло, должно быть истиной. А . К. Дойль § 6. Модальные логики Назначение различных систем модальной логики состоит в том, чтобы включить в логику так называемые модальности - преж­ де всего необходимости и возможности: того, что «доло/сно6ытъу>, и того, что <шожетбыть». 208