7. Планирование с помощью пропозициональной логики и планирование действий в реальном мире