Иллюстрированный самоучитель по введению в экспертные системы

Отслеживание зависимостей. Релаксация в сети.

Строго говоря, термин "релаксация" относится к сети, а не к теории. Но сеть есть не что иное, как только представление определенной теории, например сеть а) является представлением теории:

f= mа
т=3
а = 2,

В которой формула f= mа играет роль принудительного ограничения.

Сеть б) представляет теорию:

f = mа
т=3
а = 2
f=6,

Которая находится в состоянии релаксации по отношению к ограничению f= та, а сеть в) представляет противоречивую теорию:

f = mа
т=-3
а = 2
f =7.

По ходу изложения, не оговаривая отдельно, мы будем "перескакивать" от сетей к теориям, а для простоты использовать термин "представление", если нежелательно подчеркивать различие между этими двумя способами-реализации фактов и ограничений.

Иллюстрированный самоучитель по введению в экспертные системы › Система отслеживания истинности предположений › Отслеживание зависимостей. Релаксация в сети.
Рис. 19.1, a) Сети зависимостей с принудительными ограничениями. Окружностями представлены узлы сети, а прямоугольниками – связи

Иллюстрированный самоучитель по введению в экспертные системы › Система отслеживания истинности предположений › Отслеживание зависимостей. Релаксация в сети.
Рис. 19.1, б)

Иллюстрированный самоучитель по введению в экспертные системы › Система отслеживания истинности предположений › Отслеживание зависимостей. Релаксация в сети.
Рис. 19.1, в)

Если Вы заметили ошибку, выделите, пожалуйста, необходимый текст и нажмите CTRL + Enter, чтобы сообщить об этом редактору.