A Basic Logic for Textual Inference

Contents

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.