Some of the biggest names in travel are turning to “practical AI” to simplify trip booking and planning.