马蒂·Järvisalo;埃米利亚·奥伊卡里宁;汤米·詹胡宁;伊尔卡·尼梅尔 基于模块的多语言约束建模框架。 （英语） Zbl 1219.68087号 Faber，Wolfgang（编辑）等人，《研讨会论文集》。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。【s.l.】，【s.n.】。1-15（2009年）。 摘要：我们开发了一个基于模块的约束建模框架，在该框架中可以组合不同的约束建模语言，并以灵活的方式利用它们的优势。在该框架中，约束模型由具有明确输入/输出接口的模块组成。当组合模块时，除了接口之外，模块是一个黑盒子，其内部对外部世界是不可见的。在模块中，可以使用选定的约束语言（如CP、ASP、SAT和MIP）。这导致了一个清晰的模块化语义，其中整个约束模型的整体语义是从单个模块的语义。该框架支持多语言建模，无需开发复杂的联合语义，并支持在同一模型中使用替代语义基础，如默认否定和经典否定。此外，还考虑了框架的计算方面，特别是研究了在求解约束模型时从已知模块结构中获益的可能性。关于整个系列，请参见[Zbl 1217.68006号]. MSC公司： 68N17号 逻辑编程 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：带约束的复杂问题建模;多语言建模;模块化语义 软件：本质;ESRA公司;XASP公司;Clingcon公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Järvisalo}等人，in：研讨会记录。2009年7月14日，美国加利福尼亚州帕萨迪纳，ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）。【s.l.】，【s.n.】。1-15（2009年；Zbl 1219.68087） 全文： 链接