Refinement-driven Transformation for Effective Automated Constraint Modelling
细化驱动的转型,实现有效的自动化约束建模
基本信息
- 批准号:EP/D030145/1
- 负责人:
- 金额:$ 9.34万
- 依托单位:
- 依托单位国家:英国
- 项目类别:Research Grant
- 财政年份:2006
- 资助国家:英国
- 起止时间:2006 至 无数据
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Constraint programming has been used with great success totackle a wide variety of combinatorial problems in industry andacademia. However, in order to apply constraint programming toa particular domain, the problem must be modelled as aconstraint program. Since constraints provide a rich language, thereare often many possible models, some of which are far more effectivethan others. Therefore, constructing an effective model is a challenging task with very few expert practitioners. This creates a modelling bottleneck, preventing widespread access to the power of constraint technology. Recent work has begun to reduce this bottleneck by casting modelling as the refinement of a model from an abstract specification and automating the refinement process. Effective modelling involves more than just refinement, however. Model transformations, such as breaking symmetries, exploiting dominances, and adding constraints implied by others in the model can greatly increase performance. This proposal addresses a major challenge in the ongoing effort to reduce the modelling bottleneck: to generate effective constraint programs automatically. This goal will be achieved through the formulation of transformation rules that exploit two facets of our own modelling expertise. First, that certain refinements typically produce constraint expressions that can be transformed into a more effective form. Second, that certain constraint expressions, or sets of such expressions, can be transformed in order to trigger a useful refinement that was previously inapplicable. We will embed the transformation rules in the existing automated modelling system, Conjure. This will close the gap between automated and human expert modellers. Hence, the amount of expertise required to exploit powerful constraint solvers will be further diminished, bringing constraint technology closer to the majority.
在工业界和学术界,约束程序设计已被成功地用于解决各种各样的组合问题。然而,为了将约束程序设计应用于特定的领域,必须将问题建模为约束程序。由于约束提供了一种丰富的语言,通常有许多可能的模型,其中一些比其他的更有效。因此,构建一个有效的模型是一项具有挑战性的任务,只有很少的专家从业者。这就造成了一个建模瓶颈,阻碍了约束技术的广泛应用。最近的工作已经开始减少这个瓶颈铸造建模的细化模型从抽象的规范和自动化的细化过程。然而,有效的建模不仅仅是细化。模型转换,例如打破对称性、利用优势以及添加模型中其他人隐含的约束,可以极大地提高性能。这一建议解决了一个主要的挑战,正在进行的努力,以减少建模瓶颈:自动生成有效的约束程序。这一目标将通过制定转换规则来实现,这些规则利用了我们自己建模专业知识的两个方面。首先,某些细化通常会产生可以转换为更有效形式的约束表达式。第二,某些约束表达式或这些表达式的集合可以被转换,以便触发以前不适用的有用的细化。我们将把转换规则嵌入到现有的自动建模系统Conjure中。这将缩小自动化和人类专家建模之间的差距。因此,利用强大的约束求解器所需的专业知识将进一步减少,使约束技术更接近大多数。
项目成果
期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Abstraction, Reformulation, and Approximation
抽象、重构和近似
- DOI:10.1007/978-3-540-73580-9_16
- 发表时间:2007
- 期刊:
- 影响因子:0
- 作者:Gent I
- 通讯作者:Gent I
Common Subexpressions in Constraint Models of Planning Problems
规划问题约束模型中的常见子表达式
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子:0
- 作者:A Rendl
- 通讯作者:A Rendl
Automatically Enhancing Constraint Model Instances During Tailoring
在剪裁过程中自动增强约束模型实例
- DOI:
- 发表时间:2009
- 期刊:
- 影响因子:0
- 作者:A Rendl
- 通讯作者:A Rendl
Tailoring Solver-independent Models to Constraint Solvers: A Case Study with Essence' and Minion
将独立于解算器的模型定制为约束解算器:Essence 和 Minion 的案例研究
- DOI:
- 发表时间:2007
- 期刊:
- 影响因子:0
- 作者:I Gent
- 通讯作者:I Gent
Effective compilation of constraint models
约束模型的有效编译
- DOI:
- 发表时间:2010
- 期刊:
- 影响因子:0
- 作者:Rendl Andrea
- 通讯作者:Rendl Andrea
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Ian Miguel其他文献
An Automated Constraint Modelling and Solving Toolchain
自动约束建模和求解工具链
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
Ozgur Akgun;Alan M. Frisch;Ian P. Gent;B. Hussain;Christopher Jefferson;Lars Kotthoff;Ian Miguel;Peter William Nightingale - 通讯作者:
Peter William Nightingale
Qualitative modelling via constraint programming
通过约束规划进行定性建模
- DOI:
10.1007/s10601-014-9158-6 - 发表时间:
2012 - 期刊:
- 影响因子:1.6
- 作者:
T. Kelsey;Lars Kotthoff;Christopher Jefferson;S. Linton;Ian Miguel;Peter William Nightingale;Ian P. Gent - 通讯作者:
Ian P. Gent
Constructing constraint solvers using Monte Carlo Tree Search
使用蒙特卡罗树搜索构建约束求解器
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
Arūnas Prokopas;Alan M. Frisch;Ian P. Gent;Christopher Jefferson;Lars Kotthoff;Ian Miguel;Peter Nightingale - 通讯作者:
Peter Nightingale
Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches
约束满足问题的解决技术:高级方法
- DOI:
- 发表时间:
2001 - 期刊:
- 影响因子:12
- 作者:
Ian Miguel;Q. Shen - 通讯作者:
Q. Shen
Automatic Streamlining for Constrained Optimisation
约束优化的自动精简
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Patrick Spracklen;Nguyen Dang;Ozgur Akgun;Ian Miguel - 通讯作者:
Ian Miguel
Ian Miguel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ian Miguel', 18)}}的其他基金
Working Together: Constraint Programming and Cloud Computing
协同工作:约束编程和云计算
- 批准号:
EP/K015745/1 - 财政年份:2013
- 资助金额:
$ 9.34万 - 项目类别:
Research Grant
相似国自然基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国青年学者研究基金项目
基于Cache的远程计时攻击研究
- 批准号:60772082
- 批准年份:2007
- 资助金额:28.0 万元
- 项目类别:面上项目
相似海外基金
CAREER: Towards a Fundamental Understanding of Interface Strain-Driven Pseudomorphic Phase Transformation in Multilayered Nanocomposites
职业生涯:对多层纳米复合材料中界面应变驱动的赝晶相变有一个基本的了解
- 批准号:
2340965 - 财政年份:2024
- 资助金额:
$ 9.34万 - 项目类别:
Standard Grant
Shrub-driven transformation of the alpine soil carbon cycle
灌木驱动的高山土壤碳循环转变
- 批准号:
NE/Z000297/1 - 财政年份:2024
- 资助金额:
$ 9.34万 - 项目类别:
Research Grant
Elucidation of novel high grade transformation mechanism in oral cancer via DNA damage driven "Cancer cannibalism"
通过DNA损伤驱动的“癌症同类相食”阐明口腔癌的新型高级转化机制
- 批准号:
22K19630 - 财政年份:2022
- 资助金额:
$ 9.34万 - 项目类别:
Grant-in-Aid for Challenging Research (Exploratory)
Redox Cycling Driven Transformation of Manganese Oxide Minerals
氧化还原循环驱动的氧化锰矿物转化
- 批准号:
2108688 - 财政年份:2021
- 资助金额:
$ 9.34万 - 项目类别:
Standard Grant
Hypoxia promotes treatment-resistance and lineage transformation of EGFR-driven non-small cell lung cancer
缺氧促进 EGFR 驱动的非小细胞肺癌的治疗抵抗和谱系转化
- 批准号:
439975 - 财政年份:2020
- 资助金额:
$ 9.34万 - 项目类别:
Studentship Programs
Repurposing Metformin to Target TET2 Mutation Driven Clonal Hematopoiesis and Malignant Transformation
重新利用二甲双胍来靶向 TET2 突变驱动的克隆造血和恶性转化
- 批准号:
434508 - 财政年份:2020
- 资助金额:
$ 9.34万 - 项目类别:
Operating Grants
Defining Mechanisms of Transformation Driven By the Zinc Finger Transcription Factor PLAGL2 in the Intestinal Epithelium
定义肠上皮中锌指转录因子 PLAGL2 驱动的转化机制
- 批准号:
10368956 - 财政年份:2019
- 资助金额:
$ 9.34万 - 项目类别:
Defining Mechanisms of Transformation Driven By the Zinc Finger Transcription Factor PLAGL2 in the Intestinal Epithelium
定义肠上皮中锌指转录因子 PLAGL2 驱动的转化机制
- 批准号:
10591499 - 财政年份:2019
- 资助金额:
$ 9.34万 - 项目类别:
Artificial Photosynthesis: Sunlight-Driven Chemical Transformation of Carbon Dioxide into Energy-Rich Fuels Using Earth-Abundant Photocatalysts
人工光合作用:利用地球上丰富的光催化剂,在阳光驱动下将二氧化碳化学转化为富含能量的燃料
- 批准号:
505555-2016 - 财政年份:2018
- 资助金额:
$ 9.34万 - 项目类别:
Banting Postdoctoral Fellowships Tri-council
The role of NONO in TAZ-driven glioma malignant transformation
NONO在TAZ驱动的胶质瘤恶性转化中的作用
- 批准号:
10231202 - 财政年份:2018
- 资助金额:
$ 9.34万 - 项目类别: