Sciweavers

JUCS
2007

Constraint Programming Architectures: Review and a New Proposal

13 years 3 months ago
Constraint Programming Architectures: Review and a New Proposal
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a unique, underlying engine to be reused for multiple automated reasoning tasks in intelligent agents and systems. We identify six key requirements for such platform: expressive task modeling language, rapid solving method customization and combination, adaptive solving method, user-friendly solution explanation, efficient execution, and seamless integration within larger systems and practical applications. We then propose a novel, model-driven, component and rule-based architecture for such a platform that better satisfies as a whole this set of requirements than those of currently available platforms.
Jacques Robin, Jairson Vitorino, Armin Wolf
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where JUCS
Authors Jacques Robin, Jairson Vitorino, Armin Wolf
Comments (0)