A Forward Chaining Based Game Description Language Compiler
Tristan Cazenave, Abdallah Saffidine · Base Institutionnelle de Recherche de l'université Paris-Dauphine (BIRD) (University Paris-Dauphine) · 2011
We present a first attempt at the compilation of the Game Description Language (GDL) using a bottom-up strategy. GDL is transformed into a normal form in which rules contain at most two predicates. The rules are then inverted to allow forward chaining and each predicate will turn into a function in the target language. Adding a fact to the knowledge base corresponds to triggering a function call. Permanent and persistent facts are detected and enable to speed up the deductions. The resulting program performs playouts at a competitive level. Experimental results show that a speed-up of more than 40% can be obtained without sacrificing scalability.