Abductive language interpretation as bottom-up deduction
Department of Computer Science
Roskilde University, P.O.Box 260, DK-4000 Roskilde, Denmark
of abductive language interpretation problems into a
deductive form is proposed and shown to be
No meta-level overhead is involved in the resulting formulas
that can be evaluated by bottom-up deduction, e.g., by considering
as Constraint Handling Rules.
The problem statement may involve background theories with integrity constraints,
and minimal contexts are produced that can explain a discourse
language interpretation, context comprehension.
Proc. NLULP 2002,
Natural Language Understanding and Logic Programming,
Copenhagen, Denmark, July 28th, 2002.
Datalogiske Skrifter 92, pp.\ 33-48, Roskilde University, 2002.