Abduction is inference to the best explanation. In the TACITUS project at SRI we have developed an approach to abductive inference, called "weighted abduction", that has resulted in a significant simplification of how the problem of interpreting texts is conceptualized. The interpretation of a text is the minimal explanation of why the text would be true. More precisely, to interpret a text, one must prove the logical form of the text from what is already mutually known, allowing for coercions, merging redundancies where possible, and making assumptions where necessary. It is shown how such "local pragmatics" problems as reference resolution, the interpretation of compound nominals, the resolution of syntactic ambiguity and metonymy, and schema recognition can be solved in this manner. Moreover, this approach of "interpretation as abduction" can be combined with the older view of "parsing as deduction" to produce an elegant and thorough integration of syntax, semantics, and pragmatics, one that spans the range of linguistic phenomena from phonology to discourse structure. Finally, we discuss means for making the abduction process efficient, possibilities for extending the approach to other pragmatics phenomena, and the semantics of the weights and costs in the abduction scheme.
Keyword(s): interpreting text; weights and costs in the abduction scheme; discourse structure; reference resolution; explanation inference to the best; inference to the best explanation; coercions; abductive inference; resolution of syntactic ambiguity; parsing as deduction; weighted abduction; schema recognition; local pragmatics; scheme weights and costs in abduction; efficiency of the abduction process; interpretation as abduction; semantics; syntax; resolution of metonymy; interpretation of compound nominals; TACITUS project; merging redundancies; phonology
© Copyright 2003, Elsevier Science, All rights reserved.