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

7 Scopus citations

Abstract

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 λ-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.

Original languageEnglish (US)
Title of host publication13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages573-577
Number of pages5
ISBN (Print)9781577355601
StatePublished - Jan 1 2012
Event13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 - Rome, Italy
Duration: Jun 10 2012Jun 14 2012

Publication series

NameProceedings of the International Workshop on Temporal Representation and Reasoning

Other

Other13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012
CountryItaly
CityRome
Period6/10/126/14/12

ASJC Scopus subject areas

  • Software

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. (2012). Solving puzzles described in english by automated translation to answer set programming and learning how to do that translation. In 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 (pp. 573-577). (Proceedings of the International Workshop on Temporal Representation and Reasoning). Institute of Electrical and Electronics Engineers Inc..