Learning games for configuration and diagnosis tasks

A goal of many Artificial Intelligence (AI) courses is to teach properties of synthesis and analysis tasks such as configuration and diagnosis. Configuration is a special case of design activity where the major goal is to identify configurations that satisfy the user requirements and are consistent with the configuration knowledge base. If the requirements are inconsistent with the knowledge base, changes (repairs) for the current requirements have to be identified. In this paper we present games that can, for example, be used within the scope of Artificial Intelligence courses to easier understand configuration and diagnosis concepts. We first present the CONFIGURATIONGAME and then continue with two further games (COLORSHOOTER and EATIT) that support the learning of modelbased diagnosis concepts.

[1]  Peter Jeavons,et al.  The complexity of constraint satisfaction games and QCSP , 2009, Inf. Comput..

[2]  Markus Stumptner,et al.  An overview of knowledgedbased configuration , 1997 .

[3]  Aviezri S. Fraenkel,et al.  Complexity, appeal and challenges of combinatorial games , 2004, Theor. Comput. Sci..

[4]  Henry Kelly,et al.  How to build serious games , 2007, CACM.

[5]  James T. Miller,et al.  An Empirical Evaluation of the System Usability Scale , 2008, Int. J. Hum. Comput. Interact..

[6]  Hans L. Bodlaender.  On the Complexity of Some Coloring Games , 1991, Int. J. Found. Comput. Sci..

[7]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[8]  Markus Stumptner,et al.  An Overview of Knowledge-Based Configuration , 1997, AI Commun..

[9]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[10]  Alexander Felfernig,et al.  Proceedings of the 16th International Configuration Workshop , 2014 .

[11]  Alexander Felfernig,et al.  An efficient diagnosis algorithm for inconsistent constraint sets , 2011, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[12]  Alexander Felfernig,et al.  Knowledge-Based Configuration: From Research to Business Cases , 2014 .

[13]  H. Simonis,et al.  Sudoku as a Constraint Problem , 2005 .

[14]  Ulrich Junker,et al.  QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.

[15]  Peter van Beek,et al.  Constraint Programming Lessons Learned from Crossword Puzzles , 2001, Canadian Conference on AI.

[16]  Berthe Y. Choueiry,et al.  An Interactive Constraint-Based Approach to Minesweeper , 2006, AAAI.