4.2.2. СЛОЖНЫЕ ПОСЫЛКИ
Пусть
— некоторое высказывание, представляющее собой конъюнкцию двух более элементарных высказываний
. В предположении, что переменные, фигурирующие в высказываниях
соответственно, различны и не взаимодействуют друг с другом, можно записать, используя формулу (4.21),
Кроме того, всегда имеем
Анашничные результаты получаются при использовании формул (4.23), (4.24), если
дизъюнкция двух высказываний. Заметим, что формулы, аналогичные формулам (4.48) и (4.49), применяются эмпирически и без предварительного обоснования в экспертной системе MYCIN. В случае взаимодействующих переменных формула (4.48) несправедлива, и необходимо в явном виде учитывать это взаимодействие в проводимых вычислениях.