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.

• Type: Journal
• Year: 2007
• Where: JUCS
• Authors: Jacques Robin, Jairson Vitorino, Armin Wolf
• Keywords: Automated Reasoning, JUCS 2007, Practical Applications, Reasoning Tasks