Формализация истинности факта

При формализации первичного термина ложный используют следуюш ий подход. Пусть истинность факта А определяется нечетким подмножеством [c.85]

При заданной формализации первичных терминов, которые характеризуют понятие истинности фактов, можно вычислять составные термины аналогично тому, как это выполнялось в разд. 2.1. Пусть истинность факта А задана нечетким подмножеством [c.85]

Необходимо обратить внимание на следующее обстоятельство. Ири формализации термина ложный использовался принцип обобщения, при котором преобразованию подвергается универсальное множество в соответствии с выражениями (2.32) и (2.33), а функции степеней принадлежности остаются неизменными. В случае вычисления составных терминов, характеризующих понятие истинности фактов, преобразованию подвергаются степени принадлежности элементов универсального множества нечеткому подмножеству в соответствии с введенными операциями над нечеткими множествами. Это вытекает из того, что в первом случае выполняется переход от одного факта к другому, в частности от факта А к факту не Л . Во втором — выполняется переход от одного термина, характеризующего истинность факта А, к другому. Естественно, что в последнем случае должна видоизменяться функция степеней принадлежности элементов универсального множества нечеткому подмножеству или, что эквивалентно, нечеткому термину. [c.86]

Подход нечетких подмножеств и лингвистических переменных позволяет расширить возможности двузначной математической логики, где истинность фактов может принимать только два значения (1 — истина, О — ложь). В нечеткой логике предполагается, что пстинность фактов выражается нечеткими терминами, формализация которых осуществляется заданием функций принад-лежностп, пришшающих значения из интервала [О, 1] [И, 14, 33— 35]. Целесообразность такого обобщения вытекает из того, что в ряде случаев исследователь прп оценке достоверности фактов [c.84]

В нечеткой логике пстинность факта трактуется как нечеткое подмножество универсального множества f/ <= [О, 1]. В этом случае истинность некоторого факта может быть описана терминами из множества Q = (истинный, очень истинный, более или менее истинный, не истинный, ложный, очень ложный, не истинный и не ложный и т. п. . Одной из возможных формализаций первич-, ного термина истинный , задаваемого функцией принадлежности Цист и), является следуюш ее выражение [И] [c.85]

Справочник химика 21

Химия и химическая технология