自动化计划和调度，有时简称为AI计划 en.wikipedia.org/wiki/Automated_planning_and_scheduling
github
https://github.com/aig-upf/tarski