A Basic Logic for Textual Inference
Daniel G. Bobrow, Cleo Condoravdi, Richard Crouch, Ronald M. Kaplan, Lauri Karttunen, Tracy Holloway King, Valeria de Paiva, Annie Zaenen · 2005
This note describes a logical system based on concepts and contexts, the system TIL for textual inference logic. The system TIL is the beginnings of a logic that is a kind of “contexted” description logic, designed to support local linguistic inferences. This logic pays attention to the intensionality of linguistic constructs and to the need for tractability of inference in knowledge representation formalisms.