by Hobbs, Jerry R. and Martin, Paul
Technical Note 429
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave., Menlo Park, CA 94025
The outline of a unified theory of local pragmatics phenomena is presented, including an approach to the problems of reference resolution, metonymy, and interpreting nominal compounds. The TACITUS computer system embodying this theory is also described. The theory and system are based on the use of a theorem prover to draw the appropriate inferences from a large knowledge base of commonsense and technical knowledge. Issues of control are discussed. Two important kinds of implicatures are defined, and it is shown how they can be used to determine what in a text is given and what is new.
|Hobbs, Jerry R||Alumnus|