Abductive language interpretation as bottom-up deduction

A translation of abductive language interpretation problems into a deductive form is proposed and shown to be correct. No meta-level overhead is involved in the resulting formulas that can be evaluated by bottom-up deduction, e.g., by considering them as Constraint Handling Rules. The problem statement may involve background theories with integrity constraints, and minimal contexts are produced that can explain a discourse given.

[1]  Slim Abdennadher,et al.  Chr _ : a Flexible Query Language , 2022 .

[2]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1993, Artif. Intell..

[3]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[4]  Henning Christiansen.  Open Theories and Abduction for Context and Accommodation , 1999, CONTEXT.

[5]  Slim Abdennadher,et al.  An Experimental CLP Platform for Integrity Constraints and Abduction , 2000, FQAS.

[6]  Eric Brill,et al.  Transformation-Based Error-Driven Learning and Natural Language Processing: A Case Study in Part-of-Speech Tagging , 1995, CL.

[7]  Henning Christiansen.  Abduction and Induction Combined in a Metalogic Framework , 2000 .

[8]  Henning Christiansen,et al.  Logical Grammars Based on Constraint Handling Rules , 2002, ICLP.

[9]  Pietro Torasso,et al.  On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..

[10]  David H. D. Warren,et al.  Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[11]  Danny De Schreye,et al.  On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality , 1994, Theor. Comput. Sci..

[12]  Peter A. Flach,et al.  Abductive and Inductive Reasoning: Essays on their Relation and Integration , 2000 .

[13]  Mats Carlsson,et al.  SICStus Prolog User''s Manual , 1993 .

[14]  Dov M. Gabbay,et al.  Labelled abduction and relevance reasoning , 1994 .

[15]  Verónica Dahl,et al.  Assumption Grammars for Processing Natural Language , 1997, ICLP.

[16]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[17]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .

[18]  François Bry,et al.  Intensional Updates: Abduction via Deduction , 1990, ICLP.

[19]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[20]  Henning Christiansen,et al.  Automated Reasoning with a Constraint-Based Metainterpreter , 1998, J. Log. Program..

[21]  Robert Stalnaker,et al.  On the Representation of Context , 1996, J. Log. Lang. Inf..

[22]  Katsumi Inoue,et al.  Bottom-up Abduction by Model Generation , 1993, IJCAI.