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

X - название лингвистической переменной; Т { Х ) - множество лингвистических значений переменной Х\ и - универсальное множество; G - синтаксические правила, поровдающие значения перемен­ ной, т.е. правила определения лингвистических значений; М - семантичес1сие правила, которые ставят в соответствие казкдо- му значению переменной ее смысл, т.е. характеристическую функцию. Отметим, что при определении U и Т { Х ) множество понимается в обычном классическом смысле, а не имеются в виду нечеткие мно­ жества. Причем всюду, когда имеем дело с нечеткими множествами, пишется «нечеткое множество». Если слово «нечеткое» не записано, то это означает, что нечеткости нет. Кроме того, отметим, что мно­ жество и может быть как конечным, так и бесконечным, а множество Т ( Х ) считается конечным. Структуру лингвистической переменной можно представить в виде, показанном на рис. 5.4. Трактовка истинности как лингвистической переменной приво­ дит к нечеткой лингвистической логике, которая существенно отлича­ ется от двух- и многозначной логики. Эта нечеткая логика является основой того, что можно было бы назвать приближенными рассужде­ ниями. X ВОЗРАСТ -лингвистическая переменная молодой^ очень старый молодой и О 10 20 30 70 111 Рис. 5.4 206