Building a Generic Feedback System for Rule-Based Problems

We present a generic framework that provides hints on how to achieve a goal to users of software supporting rule-based problem solving from different domains. Our approach consists of two parts. First, we present a DSL that relates and unifies different rule-based problems. Second, we use generic search algorithms to solve various kinds of problems. This solution can then be used to calculate a hint for the user. We present three rule-based problem frameworks to illustrate our approach: the Ideas framework, PuzzleScript and iTasks. By taking real world examples from these three example frameworks and instantiating feedback systems for them, we validate our approach.

[1]  Johan Jeuring,et al.  Specifying Rewrite Strategies for Interactive Exercises , 2010, Math. Comput. Sci..

[2]  Marinus J. Plasmeijer,et al.  Static and dynamic visualisations of monadic programs , 2015, IFL '15.

[3]  Kurt VanLehn,et al.  The Behavior of Tutoring Systems , 2006, Int. J. Artif. Intell. Educ..

[4]  Alexander Reinefeld,et al.  Complete Solution of the Eight-Puzzle and the Benefit of Node Ordering in IDA , 1993, IJCAI.

[5]  S. Russel and P. Norvig,et al.  “Artificial Intelligence – A Modern Approach”, Second Edition, Pearson Education, 2003. , 2015 .

[6]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[7]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[8]  N. I. Galagan,et al.  Problem description language SITPLAN-2 , 1990 .

[9]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[10]  Johan Jeuring,et al.  Communicate! - A Serious Game for Communication Skills - , 2015, EC-TEL.

[11]  D. Fox Harrell,et al.  An approach to general videogame evaluation and automatic generation using a description language , 2014, 2014 IEEE Conference on Computational Intelligence and Games.

[12]  Johan Jeuring,et al.  Feedback services for stepwise exercises , 2014, Sci. Comput. Program..

[13]  Larry Ambrose,et al.  The power of feedback. , 2002, Healthcare executive.

[14]  Tom Murray,et al.  An Overview of Intelligent Tutoring System Authoring Tools: Updated Analysis of the State of the Art , 2003 .

[15]  Kurt VanLehn,et al.  The Andes Physics Tutoring System: Lessons Learned , 2005, Int. J. Artif. Intell. Educ..

[16]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[17]  Jonathan Schaeffer,et al.  Sokoban: A Challenging Single-Agent Search Problem , 1997, IJCAI 1997.

[18]  Bas Lijnse,et al.  Task-oriented programming in a pure functional language , 2012, PPDP.

[19]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[20]  Eelco Visser,et al.  Building program optimizers with rewriting strategies , 1998, ICFP '98.

[21]  Johan Jeuring,et al.  An interactive functional programming tutor , 2012, ITiCSE '12.