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

Таким образом, мы получили формулы (14.5)— (14.8) языка логики предикатов первого порядка, аксиоматизирующие поведение оператора сети распределения и подачи воды при регулировании давления в контрольных точках. Две первые формулы включают кванторы. Вследствие конечного и сравнительно небольшого числа контрольных точек эти формулы легко преобразуются в эквивалентные, не содержащие кванторов формулы. Сначала избавимся от квантора существования. В результате получим формулы 330 14.3. Формализация [St л (давление (Точка01, Высокое)) л (V тонка', р) (давление (Точка_01, Высокое) л давление (точка', р) л Высокое >р) э действие выключить (насос, насосная_станция (Точка_0\)))] v