Automatic generation of English-language steps in puzzle solving

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

Automatic generation of English-language steps in puzzle solving

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Proceedings of the International Conference on Artificial Intelligence, IC-AI'04
Editors	H.R. Arabnia
Pages	437-442
Number of pages	6
State	Published - 2004
Event	Proceedings of the International Conference on Artificial Intelligence, IC-AI'04 - Las Vegas, NV, United States Duration: Jun 21 2004 → Jun 24 2004

Publication series

Name	Proceedings of the International Conference on Artificial Intelligence, IC-AI'04
Volume	1

Conference

Conference	Proceedings of the International Conference on Artificial Intelligence, IC-AI'04
Country/Territory	United States
City	Las Vegas, NV
Period	6/21/04 → 6/24/04

Keywords

Constraint satisfaction
Logic programming
Logic puzzles
Tabular constraint satisfaction

ASJC Scopus subject areas

Artificial Intelligence

Cite this

@inproceedings{685f501124e54d20a352777aa0f75d86,

title = "Automatic generation of English-language steps in puzzle solving",

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.",

keywords = "Constraint satisfaction, Logic programming, Logic puzzles, Tabular constraint satisfaction",

author = "Hemantha Ponnuru and Raphael Finkel and Victor Marek and Miros{\l}aw Truszczy{\'n}ski",

year = "2004",

language = "English",

isbn = "1932415335",

series = "Proceedings of the International Conference on Artificial Intelligence, IC-AI'04",

pages = "437--442",

editor = "H.R. Arabnia",

booktitle = "Proceedings of the International Conference on Artificial Intelligence, IC-AI'04",

note = "Proceedings of the International Conference on Artificial Intelligence, IC-AI'04 ; Conference date: 21-06-2004 Through 24-06-2004",

}

Ponnuru, H, Finkel, R, Marek, V & Truszczyński, M 2004, Automatic generation of English-language steps in puzzle solving. in HR Arabnia (ed.), Proceedings of the International Conference on Artificial Intelligence, IC-AI'04. Proceedings of the International Conference on Artificial Intelligence, IC-AI'04, vol. 1, pp. 437-442, Proceedings of the International Conference on Artificial Intelligence, IC-AI'04, Las Vegas, NV, United States, 6/21/04.

Automatic generation of English-language steps in puzzle solving. / Ponnuru, Hemantha; Finkel, Raphael; Marek, Victor et al.
Proceedings of the International Conference on Artificial Intelligence, IC-AI'04. ed. / H.R. Arabnia. 2004. p. 437-442 (Proceedings of the International Conference on Artificial Intelligence, IC-AI'04; Vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Automatic generation of English-language steps in puzzle solving

AU - Ponnuru, Hemantha

AU - Finkel, Raphael

AU - Marek, Victor

AU - Truszczyński, Mirosław

PY - 2004

Y1 - 2004

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

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

KW - Constraint satisfaction

KW - Logic programming

KW - Logic puzzles

KW - Tabular constraint satisfaction

UR - http://www.scopus.com/inward/record.url?scp=12744278734&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=12744278734&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:12744278734

SN - 1932415335

SN - 9781932415339

T3 - Proceedings of the International Conference on Artificial Intelligence, IC-AI'04

SP - 437

EP - 442

BT - Proceedings of the International Conference on Artificial Intelligence, IC-AI'04

A2 - Arabnia, H.R.

T2 - Proceedings of the International Conference on Artificial Intelligence, IC-AI'04

Y2 - 21 June 2004 through 24 June 2004

ER -

Automatic generation of English-language steps in puzzle solving

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this