基于代数格的软约束程序设计框架
提出了基于代数格的软约束满足框架,并在此框架中对于经典的约束满足问题相关概念重新进行定义,尤其是我们扩展了经典的局部相容性技术,使之能够适合相应的约束求解,并用此框架表达经典约束满足问题、模糊约束满足问题和多维软约束满足问题.未来我们将要实现更高效的局部相容性技术,并与各种智能回溯技术相结合以提高求解效率,同时进一步考虑软约束满足与逻辑程序设计方法的结合,以发挥其在知识表示方面的独特优势.
软件工程 代数格 程序设计 软约束
张永刚 孙吉贵
吉林大学计算机科学与技术学院(长春)
国内会议
舟山
中文
306-309
2004-10-01（万方平台首次上网日期，不代表论文的发表时间）