The necessity of this kind of merging of arguments has been recognized before : Charniak and McDermott ( 1985 ) call it abductive unification/matching , Hobbs ( 1978 , 1979 ) refers to such operations using the terms knitting or petty conversational implicature .
introduction to artificial intelligence
E Charniak D McDermott
This equality i = i ' can not be proven , but it may be reasonably assumed -- we know that in this case the infection i ' caused the illness , which , in turn , caused the death . The necessity of this kind of merging of arguments has been recognized before : Charniak and McDermott ( 1985 ) call it abductive unification/matching , Hobbs ( 1978 , 1979 ) refers to such operations using the terms knitting or petty conversational implicature . Neither Hobbs nor Charniak and McDermott tried then to make this notion precise , but the paper by Hobbs et al. ( 1988 ) moves in that direction .
The necessity of this kind of merging of arguments has been recognized before : @@CITATION call it abductive unification/matching , Hobbs ( 1978 , 1979 ) refers to such operations using the terms knitting or petty conversational implicature .