ABSTRACT
The work presented in this article builds on the account of cognitive parsing given by the SOUL system (Konieczny & Strube, 1995), an object-oriented implementation of Parameterized Head Attachment (Konieczny et al., 1991) based on Head-Driven Phrase-Structure Grammar (Pollard & Sag, 1994). We describe how the initial semantic representation proposed by the parser is translated into a logical form suitable for inference, thus making it possible to integrate world knowledge with cognitive parsing. As a semantic and knowledge representation system we use the most expressive implemented logic for natural language understanding, Episodic Logic (Hwang & Schubert, 1993), and its computational implementation, Epilog (Schaeffer et al., 1991).
