Preference Reasoning in Constraint-based Systems

基于约束的系统中的偏好推理

• 批准号: RGPIN-2016-05673
• 负责人: Mouhoub, Malek
• 金额: $ 1.6万
• 依托单位: University of Regina
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=678847
• 关键词: Preference; Reasoning; Constraint; based; Systems

Constraints and preferences co-exist in a wide variety of real world problems, including scheduling, planning, vehicle routing, resource allocation and Geographic Information Systems (GIS) applications. Constraints refer to problem requirements that must be met, while preferences can be either qualitative or quantitative and reflect desires and choices that need to be satisfied as much as possible. In some applications such as urban planning and robot motion planning, these constraints and preferences can be temporal, spatial or both. In this latter case, we will have to deal with entities occupying a given position in time and space. Spatio-temporal data can be symbolic or numeric and may correspond to multiple levels of detail.***The main goal of the proposed research program is to extend the features of the current constraint solving systems by developing new techniques leading to a technology that faithfully represents real world industrial applications. In this regard, we plan to develop a unique framework and its related algorithms for managing the above types of constraints and preferences in an evolving environment.***Given a real world application under constraints and preferences, the main task of this framework is to return, in an efficient way, the best outcomes satisfying all the constraints and optimizing all the preferences. The current solving systems work based on idealized assumptions of environment stability. Our proposed framework will be able to maintain, in an incremental way, this set of optimal solutions anytime a constraint or a preference is added or removed. This feature will overcome the limitations of the current solving systems when tackling applications operating under highly dynamic and unpredictable environmental conditions. Through this dynamic feature, as well as the constraint and preference learning algorithms we propose, our framework will have the ability to interact with the user and allows him or her to model a given problem under constraints and preferences. This will address the challenge that users have to face when modelling these problems using the current solvers. Indeed, the current systems require logic, traditional programming skills, as well as a significant background in constraint programming for the end-user to model even simple problems.***Our framework will have the ability to handle constraints and preferences with uncertainty due to lack of knowledge, missing information or variability caused by events which are under nature's control. This will be achieved by extending the probability and the possibility theories to general as well as spatio-temporal constraints and preferences.***Finally, by achieving the proposed research program we will successfully address diverse complex industrial problems, including reactive scheduling, urban planning, timetabling, robotics, transportation, configuration and E-commerce. **

约束和偏好共存于各种各样的真实的世界的问题，包括调度，规划，车辆路径，资源分配和地理信息系统（GIS）的应用。约束是指必须满足的问题要求，而偏好可以是定性的或定量的，反映了需要尽可能满足的愿望和选择。在一些应用中，如城市规划和机器人运动规划，这些约束和偏好可以是时间的，空间的或两者兼而有之。在后一种情况下，我们将不得不处理在时间和空间中占据给定位置的实体。时空数据可以是符号或数字的，并且可以对应于多个详细级别。拟议的研究计划的主要目标是通过开发新技术，忠实地代表真实的世界工业应用的技术，扩展当前的约束求解系统的功能。在这方面，我们计划开发一个独特的框架及其相关算法，用于在不断发展的环境中管理上述类型的约束和偏好。给定一个在约束和偏好下的真实的应用程序，该框架的主要任务是以有效的方式返回满足所有约束和优化所有偏好的最佳结果。目前的求解系统基于环境稳定性的理想化假设。我们提出的框架将能够保持，在一个增量的方式，这套最佳的解决方案，任何时候的约束或偏好被添加或删除。该功能将克服当前求解系统在处理高度动态和不可预测的环境条件下运行的应用程序时的局限性。通过这种动态特性，以及我们提出的约束和偏好学习算法，我们的框架将能够与用户交互，并允许他或她在约束和偏好下对给定问题进行建模。这将解决用户在使用当前求解器对这些问题进行建模时所面临的挑战。事实上，当前的系统需要逻辑、传统的编程技能，以及最终用户在约束编程方面的重要背景，以模拟甚至简单的问题。我们的框架将有能力处理约束和偏好的不确定性，由于缺乏知识，缺失的信息或由自然控制下的事件引起的变化。这将通过将概率和可能性理论扩展到一般以及时空约束和偏好来实现。最后，通过实现拟议的研究计划，我们将成功地解决各种复杂的工业问题，包括反应调度，城市规划，制造，机器人，运输，配置和电子商务。**