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

z> действие (выключить (насос, насоснаястанция (Точка_\2)))\. (14.12) Каждая из формул (14.11), (14.12) является формулой, состоящей из дизъюнкции импликаций, левая часть которых является конъюнкцией атомов, а правая состоит из одного атома. Очевидно, что для доказательства истинности такой формулы достаточно доказать истинность хотя бы одной импликации. Для доказательства же может быть использовано обобщенное правило модус поненс. Аналогично можно получить формулы и по остальным схемам ситуаций. Выпишем их без комментариев. 14.3.3. Формулы регулирования скорости насосов Получение формул регулирования скорости насосов легко проследить по рис. 14.7. Имеем S2 л (3 насос) [скорость (Станция_6, насос, Высокая) л давление (Точкам, Уменьшается) z> действие (включить (насос, Насосная_станция_ 10))],