针对现有生成个性化旅游路线过程中用户个人偏好分析单一以及时间和成本预算选择单一的问题，考虑到不同用户的需求，提出一种基于一阶逻辑约束下的个性化旅游路线规划。首先，运用模型论中的结构对旅游规划中成本、时间和景点等相关偏好问题进行形式化建模；其次，利用一...