From Logical Forms to Knowledge Frames: An Experiment on Scientific Text

Although logical forms adequately represent the local information contained in sentences, they are not a malleable, robust representation for reasoning and must be converted into such a representation. This research attempts to determine whether it is possible to accomplish such a conversion in a straightforward way into a knowledge base which can be reasoned about. A method is described and implemented for converting the logical forms into a network of knowledge frames. A modular approach is taken, using the standalone parser of the Alvey Tools to produce the logical forms. An ontology of concepts is built to contextualize the interpretation of the logical forms and to provide a well-formed model of world knowledge. The ontology plus the structure of the logical forms provide most of the information for the conversion. Constraint satisfaction and phrasal information are used to guarantee the well-formedness of the knowledge frames with respect to the ontology. Thus the converter could..