ORCAS: Towards a CHR-Based Model-Driven Framework of Reusable Reasoning Components.
Jacques P. Robin, Jairson Vitorino · 2006
Abstract. We present the long term vision and current stage of the ORCAS project which goal is to develop an easily extensible framework of reusable fine-grained automated reasoning components. It innovates in software engineering by putting forward the first integration of model-driven, component-based, aspect-oriented and formal development techniques. It innovates in automated reasoning by proposing to build the most varied AI applications and inference engines ( e.g., for deduction, abduction, inheritance, belief revision, constraint solving, optimization and induction) by assembling components, each one encapsulating a CHR v knowledge base and reusing a CHR v inference engine as a universally shared server component. 1