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 -