TY - GEN
T1 - Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation
AU - Baral, Chitta
AU - Dzifcak, Juraj
PY - 2011/12/1
Y1 - 2011/12/1
N2 - We present a system capable of automatically solving combinatorial logic puzzles given in (simplified) English. It involves translating the English descriptions of the puzzles into answer set programming(ASP) and using ASP solvers to provide solutions of the puzzles. To translate the descriptions, we use a λ-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. Meaning of many words and the parameters are learned. The puzzles are represented in ASP using an ontology which is applicable to a large set of logic puzzles.
AB - We present a system capable of automatically solving combinatorial logic puzzles given in (simplified) English. It involves translating the English descriptions of the puzzles into answer set programming(ASP) and using ASP solvers to provide solutions of the puzzles. To translate the descriptions, we use a λ-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. Meaning of many words and the parameters are learned. The puzzles are represented in ASP using an ontology which is applicable to a large set of logic puzzles.
UR - http://www.scopus.com/inward/record.url?scp=84856498161&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84856498161&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84856498161
SN - 9781577355458
T3 - AAAI Fall Symposium - Technical Report
SP - 18
EP - 25
BT - Advances in Cognitive Systems - Papers from the AAAI Fall Symposium, Technical Report
T2 - 2011 AAAI Fall Symposium
Y2 - 4 November 2011 through 6 November 2011
ER -