Kairos是一个根据每个任务的语义来选择异构规划引擎的框架，覆盖从STRIPS到PDDL+的广泛范围。