Textual Inference Logic: Take Two

This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a theoretical description of the output of an evolving implemented system, the system Bridge, which we are developing at parc, as part of the aquaint program. The note concentrates on the results of an experiment which changed the underlying ontology of the representation language from cyc to a version of WordNet/VerbNet.

• Type: Conference
• Year: 2007
• Where: CONTEXT
• Authors: Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy H. King, Lauri Karttunen, Rowan Nairn, Annie Zaenen
• Keywords: CONTEXT 2007, Information Management, Logical System, Natural Language Sentences, Representation Language