[HN Gopher] Planner programming blows my mind
       ___________________________________________________________________
        
       Planner programming blows my mind
        
       Author : todsacerdoti
       Score  : 20 points
       Date   : 2024-02-20 17:45 UTC (5 hours ago)
        
 (HTM) web link (www.hillelwayne.com)
 (TXT) w3m dump (www.hillelwayne.com)
        
       | rad_gruchalski wrote:
       | Looks Prolog-ish. Interesting, thanks for sharing.
        
       | sterlind wrote:
       | I've actually used Picat's planning mode at work!
       | 
       | I prototyped a system to orchestrate maintenance on fleets of
       | devices. The idea was that, rather than telling the system _how_
       | to do it (e.g. workflows to roll out an update), you 'd tell the
       | system what you wanted (e.g. up to date machines), what actions
       | were available (e.g. pull a machine from rotation, apply an
       | update), and what constraints to obey (e.g. X of Y machines must
       | be online, don't work in more than two regions simultaneously.)
       | 
       | I modeled a few scenarios like that in Picat and had it generate
       | optimal plans. It worked swimmingly for pet problems, but
       | predictably fell over scaling to cattle sizes. Planning is
       | EXPTIME after all (e.g. Towers of Hanoi).
       | 
       | Picat does have an escape hatch - you can define heuristics - so
       | I built a random forest of state predicates and trained a naive
       | Bayes classifier to predict fruitful paths. But even with that,
       | and symmetry breaking constraints, and even some hierarchical
       | planning, I couldn't make it work without too much handholding.
       | 
       | It's still AI winter for the classic GOFAI problem domains,
       | apparently. :/
        
       ___________________________________________________________________
       (page generated 2024-02-20 23:01 UTC)