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 ...
Reports by Author
