Automatic generation of English-language steps in puzzle solving

Hemantha Ponnuru, Raphael Finkel, Victor Marek, Mirosław Truszczyński

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex constraint program. We study programs that solve tabular-constraint problems encoded in Constraint Lingo and then translated into propositional logic with cardinality constraints. We instrument the logic solver so that it generates log files. We inspect those logs and express reasoning steps in English by using grammatical information placed in the Constraint Lingo program.

Original languageEnglish
Title of host publicationProceedings of the International Conference on Artificial Intelligence, IC-AI'04
EditorsH.R. Arabnia
Pages437-442
Number of pages6
StatePublished - 2004
EventProceedings of the International Conference on Artificial Intelligence, IC-AI'04 - Las Vegas, NV, United States
Duration: Jun 21 2004Jun 24 2004

Publication series

NameProceedings of the International Conference on Artificial Intelligence, IC-AI'04
Volume1

Conference

ConferenceProceedings of the International Conference on Artificial Intelligence, IC-AI'04
Country/TerritoryUnited States
CityLas Vegas, NV
Period6/21/046/24/04

Keywords

  • Constraint satisfaction
  • Logic programming
  • Logic puzzles
  • Tabular constraint satisfaction

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Automatic generation of English-language steps in puzzle solving'. Together they form a unique fingerprint.

Cite this