Искусственный интеллект

(3 точка) [давление (точка. Высокое) л (V точка', р) давление (точка, Высокое) л давление (точка', р) л Высокое > р] (14.1) 329 14. Реализация систем (3 точка)[давление (точка, Низкое)) л (V точка', р) давление (точка, Низкое) л давление (точка1, р)\ л Низкое <р. (14.2) Из овальных вершин, соответствующих этим формулам, ведут дуги в прямоугольные вершины, которым соответствуют действия выключить (насос, насоснаястанция (точка)), (14.3) включить (насос, насосная_станция (точка)). (14.4) Это означает, что истинность формулы (14.1) в ситуации Sx влечет истинность формулы (14.3), а истинность формулы (14.2) влечет истинность формулы (14. 4) в этой же ситуации. Следовательно, имеем формулы