AAAI Publications, Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation
Chitta Baral, Juraj Dzifcak

Last modified: 2012-05-17


We present a system capable of automatically solving combinatorial logic puzzles given in (simplified) English. It uses an ontology to represent the puzzles in ASP which is applicable to a large set of logic puzzles. To translate the English descriptions of the puzzles into this ontology, we use a lambda-calculus based approach using Probabilistic Combinatorial Categorial Grammars (PCCG) where the meanings of words are associated with parameters to be able to distinguish between multiple meanings of the same word.


Answer Set Programming; Lambda Calculus; Logic Puzzles

Full Text: PDF