ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
| Hi-index | 0.00 |
The TACITUS system uses a cost-based abduction scheme for finding and choosing among possible interpretations for natural language texts. Ordinary Prolog-style, backchaining deduction is augmented with the capability of making assumptions and of factoring two goal literals that are unifiable (see Hobbs et al., 1988).