ПОИСК Статьи Рисунки Таблицы Об общем понятии правила довольно. Различные функции Л+, А , (А - тВ) , {А и (Л Ву являются частными случаями этого понятия. Теперь мы должны сказать, что понимается под множеством правил К. Естественно, мы хотим выразить это понятие как отображение эпистемических состояний в эпистемические состояния. Начнем с определения; правило р удовлетворяется в состоянии Е, если применение этого правила к Е не увеличивает информацию; р(Е) = Е. Множество К правил удовлетворяется в Е, если все его элементы удовлетворяются. Мы хотим, чтобы множество правил производило минимальное искажение Е так, что все его элементы будут удовлетворяться совместно. Даже если Р одноэлементно, простое применение его элемента может не обеспечить, чтобы Р было удовлетворено. И если Р — конечное множество правил, каждое 113 которых удовлетворяется после применения его к Е, простая композиция правил из Р может не обеспечивать удовлетворимости Р. Все это можно вывести из тех рассуждений, которые были приведены при определении (Л -> б) + . Имеется, однако, общая конструкция, которая оказывается пригодной и в этом случае.