首页> 外文会议>IEEE International Conference on Tools with Artificial Intelligence >An Algorithm for Finding Robust and Stable Solutions for Constraint Satisfaction Problems with Discrete and Ordered Domains
【24h】

An Algorithm for Finding Robust and Stable Solutions for Constraint Satisfaction Problems with Discrete and Ordered Domains

机译:离散和有序域约束满足问题的鲁棒稳定解算法

获取原文

摘要

Many real life problems come from uncertain and dynamic environments, which means that the original problem may change over time. Thus, the solution found for the original problem may become invalid. Dealing with such problems has become an important issue in the field of constraint programming. In some cases, there exists knowledge about the uncertain and dynamic environment. In other cases, this information is unknown or hard to obtain. In this paper, we extend the concept of robustness for Constraint Satisfaction Problems (CSPs) with discrete and ordered domains where the only assumptions made about changes are those inherent in the structure of these problems. We present a search algorithm that searches for both robust and stable solutions for such CSPs. Meeting both criteria simultaneously is a well-known desirable objective for constraint solving in uncertain and dynamic environments.
机译:许多现实生活中的问题来自不确定和动态的环境,这意味着原始问题可能会随着时间而改变。因此,为原始问题找到的解决方案可能变得无效。处理这样的问题已经成为约束编程领域中的重要问题。在某些情况下,存在有关不确定和动态环境的知识。在其他情况下,此信息是未知的或难以获得。在本文中,我们扩展了具有离散域和有序域的约束满足问题(CSP)的鲁棒性概念,其中对变化所做的唯一假设是这些问题的结构中固有的那些假设。我们提出了一种搜索算法,用于搜索此类CSP的健壮和稳定的解决方案。同时满足两个标准是在不确定和动态环境中解决约束的众所周知的理想目标。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号