Introducing LoCo, a Logic for Configuration Problems

In this paper we present the core of LoCo, a logic-based high-level representation language for expressing configuration problems. LoCo shall allow to model these problems in an intuitive and declarative way, the dynamic aspects of configuration notwithstanding. Our logic enforces that configurations contain only finitely many components and reasoning can be reduced to the task of model construction.

[1]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[2]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[3]  Brian Falkenhainer,et al.  Dynamic Constraint Satisfaction Problems , 1990, AAAI.

[4]  W. Nutt,et al.  Constructive problem solving : a model construction approach towards configuration , 1995 .

[5]  Eugene C. Freuder,et al.  Configuration as Composite Constraint Satisfaction , 1996 .

[6]  Daniel Sabin,et al.  Product Configuration Frameworks - A Survey , 1998, IEEE Intell. Syst..

[7]  Phokion G. Kolaitis,et al.  Conjunctive-query containment and constraint satisfaction , 1998, PODS.

[8]  Markus Stumptner,et al.  Generative constraint-based configuration of large technical systems , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[9]  Deborah L. McGuinness,et al.  Conceptual modelling for configuration: A description logic-based approach , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[10]  Markus Stumptner,et al.  Consistency-Based Configuration , 1999 .

[11]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[12]  Ulrich Junker,et al.  Chapter 24 - Configuration , 2006 .

[13]  Toni Mancini,et al.  Conditional Constraint Satisfaction: Logical Foundations and Complexity , 2007, IJCAI.

[14]  Gernot Salzer,et al.  Computing product configurations via UML and integer linear programming , 2010 .