Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation

Chitta Baral, Juraj Dzifcak

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationAdvances in Cognitive Systems - Papers from the AAAI Fall Symposium, Technical Report
Pages18-25
Number of pages8
StatePublished - Dec 1 2011
Event2011 AAAI Fall Symposium - Arlington, VA, United States
Duration: Nov 4 2011Nov 6 2011

Publication series

NameAAAI Fall Symposium - Technical Report
VolumeFS-11-01

Other

Other2011 AAAI Fall Symposium
CountryUnited States
CityArlington, VA
Period11/4/1111/6/11

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation'. Together they form a unique fingerprint.

  • Cite this

    Baral, C., & Dzifcak, J. (2011). Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation. In Advances in Cognitive Systems - Papers from the AAAI Fall Symposium, Technical Report (pp. 18-25). (AAAI Fall Symposium - Technical Report; Vol. FS-11-01).