Logic Grammars for Diagnosis and Repair
and Veronica Dahl
We propose an abductive model based on Constraint Handling Rule
Grammars (CHRGs) for detecting and correcting errors in problem
domains that can be described in terms of strings of words
accepted by a logic grammar. We provide a proof of concept
for the specific problem of detecting and repairing natural language errors,
in particular, those concerning feature agreement.
Our methodology relies on grammar and string transformation in
accordance with a user-defined dictionary of possible repairs.
This transformation also serves as top-down guidance for our
essentially bottom-up parser. With respect to
previous approaches to error detection and repair,
including those that also use constraints and/or
abduction, our methodology is surprisingly simple
while far-reaching and efficient.
International Journal on Artificial Intelligence Tools,
Vol. 2, no. 3 (2003), pp. 227-248.